Supporting the reconciliation of models of object behaviour
This paper presents Reconciliation+, a method which identifies overlaps between models of software systems behaviour expressed as UML object...
Least-change bidirectional model transformation with QVT-R and ATL
QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part...
Specification of invariability in OCL: Specifying invariable system parts and views
The Object Constraint Language (OCL) is a high-level, object-oriented language for contractual system specifications. Despite its expressivity, OCL does...
OMEGA: correct development of real time and embedded systems
None
Read the full paper here: http://www.sosym.org/
Converting metamodels to graph grammars: doing without advanced graph grammar features
In this paper, we present a method to convert a metamodel in the form of a UML class diagram...
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...
