A relational approach to defining and implementing transformations between metamodels
The Model-Driven Architecture initiative of the OMG promotes the idea of transformations in the context of mapping from platform...
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and...
STAIRS is a formal approach to system development with UML 2.1 sequence diagrams that supports an incremental and modular...
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
In the context of an industrial project, we evaluated the implementation of the software of a casino slot machine....
On the realizability of collaborative services
This paper considers compositional specifications of services using UML 2 collaborations, activity and interaction diagrams, and addresses the realizability...
STAIRS towards formal design with sequence diagrams
The paper presents STAIRS , an approach to the compositional development of UML interactions supporting the specification of mandatory...
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...
