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...
A profile and tool for modelling safety information with design information in SysML
Communication both between development teams and between individual developers is a common source of safety-related faults in safety-critical system...
Does aspect-oriented modeling help improve the readability of UML state machines?
Aspect-oriented modeling (AOM) is a relatively recent and very active field of research, whose application has, however, been limited...
Promoting traits into model-driven development
Traits, as sets of behaviors, can provide a good mechanism for reusability. However, they are limited in important ways...
Temporal property patterns for model-based testing from UML/OCL
This article describes a new property- and model-based testing approach using UML/OCL models, driven by temporal property patterns and...
