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...
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
Behavioral dependency analysis (BDA) and the visualization of dependency information have been identified as a high priority in industrial...
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
Model-based robustness testing requires precise and complete behavioral, robustness modeling. For example, state machines can be used to model...
The KeY tool: Integrating object oriented design and formal verification
KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for...
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML...
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need...
