Search Results - "Van Der Straeten, Ragnhild"
-
1
A formal approach to model refactoring and model refinement
Published in Software and systems modeling (01-06-2007)“…Model-driven engineering is an emerging software engineering approach that relies on model transformation. Typical kinds of model transformations are model…”
Get full text
Journal Article -
2
Resolving model inconsistencies using automated regression planning
Published in Software and systems modeling (01-02-2015)“…One of the main challenges in model-driven software engineering is to automate the resolution of design model inconsistencies. We propose to use the artificial…”
Get full text
Journal Article -
3
Module superimposition: a composition technique for rule-based model transformation languages
Published in Software and systems modeling (01-06-2010)“…As the application of model transformation becomes increasingly commonplace, the focus is shifting from model transformation languages to the model…”
Get full text
Journal Article -
4
Semantics for consistent activation in context-oriented systems
Published in Information and software technology (01-02-2015)“…Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations…”
Get full text
Journal Article -
5
Improving workflow modularity using a concern-specific layer on top of Unify
Published in Science of computer programming (01-07-2014)“…Workflows are a popular means of automating processes in many domains, ranging from high-level business process modeling to lower-level web service…”
Get full text
Journal Article -
6
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets
Published in 2013 International Symposium on Theoretical Aspects of Software Engineering (01-07-2013)“…The development of self-adaptive systems requires the definition of the parts of the system that will be adapted, when such adaptations will take place, and…”
Get full text
Conference Proceeding -
7
Semantic links and co-evolution in object-oriented software development
Published in Automated Software Engineering: Proceedings of the 17th IEEE international conference on Automated software engineering; 23-27 Sept. 2002 (2002)“…Summary form only given. This research focuses on the problem of the semantic linking and co-evolution of the different design diagrams and models of an…”
Get full text
Conference Proceeding -
8
Verification of Business Process Quality Constraints Based on Visual Process Patterns
Published in First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) (01-06-2007)“…Business processes usually have to consider certain constraints like domain specific and quality requirements. The automated formal verification of these…”
Get full text
Conference Proceeding -
9
Concern-Specific Languages in a Visual Web Service Creation Environment
Published in Electronic notes in theoretical computer science (16-04-2007)“…This paper presents a high-level, visual Service Creation Environment (SCE) for web services. The SCE introduces two main concepts: services and composition…”
Get full text
Journal Article -
10
Guiding Service Composition in a Visual Service Creation Environment
Published in 2006 European Conference on Web Services (ECOWS'06) (01-12-2006)“…Current Web service composition languages like WS-BPEL require in-depth knowledge of these languages by the service composition designers. In this paper we…”
Get full text
Conference Proceeding -
11
A Pattern-driven Development Process for Quality Standard-conforming Business Process Models
Published in Visual Languages and Human-Centric Computing (VL/HCC'06) (2006)“…Quality management is a hot issue in most organisations and must be considered in the business processes of the organisation. Existing approaches on business…”
Get full text
Conference Proceeding