An executable formal semantics for UML-RT
We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is...
An integrated semantics for reasoning about SysML design models using refinement
SysML is a variant of UML for systems design. Several formalisations of SysML (and UML) are available. Our work...
Leveraging annotation-based modeling with Jump
The capability of UML profiles to serve as annotation mechanism has been recognized in both research and industry. Today’s...
Mashup of metalanguages and its implementation in the Kermeta language workbench
With the growing use of domain-specific languages (DSL) in industry, DSL design and implementation goes far beyond an activity...
A compositional semantics of UML-RSDS
This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action...
On the interpretation of binary associations in the Unified Modelling Language
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement...
UML – the Good, the Bad or the Ugly? Perspectives from a panel of...
None
Read the full paper here: http://www.sosym.org/
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario....
A UML-Based Approach to System Testing
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML...
Systematic stereotype usage
As one of the UML's main extension mechanisms, stereotypes play a crucial role in the UML's ability to serve...
