Reusable model transformations
Model transformations written for an input metamodel may often apply to other metamodels that share similar concepts. For example,...
Contract-based modeling and verification of timed safety requirements within SysML
In order to cope with the growing complexity of critical real-time embedded systems, systems engineering has adopted a component-based...
Correct-by-construction synthesis of model transformations using transformation patterns
Model transformations are an essential part of model-based development approaches, such as Model-driven Architecture (MDA) and Model-driven Development (MDD)....
Expert’ voice: The BabyUML discipline of programming: (where a Program =data + Communication +Algorithms)
I want increased confidence in my programs. I want my own and other people's programs to be more readable....
Transformation challenges: from software models to performance models
A software model can be analysed for non-functional requirements by extending it with suitable annotations and transforming it into...
Automatic derivation of BPEL4WS from IDEF0 process models
Integration definition for function modelling (IDEF0) is one of the most popular notations for modelling business processes. It employs...
A systematic approach to generate B preconditions: application to the database domain
Maintaining integrity constraints in information systems is a real issue. In our previous work, we have defined a formal...
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
Model-driven techniques can be used to automatically produce formal models from different views of a system realised by using...
A model-driven method for describing and predicting the reliability of composite services
Service-oriented computing is the prominent paradigm for viewing business processes as composed of functions provided by modular and standardized...
A formal approach to model refactoring and model refinement
Model-driven engineering is an emerging software engineering approach that relies on model transformation. Typical kinds of model transformations are...
