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...
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...
