RoboChart: modelling and verification of the functional behaviour of robotic applications
Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide variety of applications, many with...
ESUML-EAF: a framework to develop an energy-efficient design model for embedded software
There is a growing interest in developing embedded systems that consume low energy in such application areas as mobile...
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...
