Improving the quality of use case models using antipatterns
Use case (UC) modeling is a popular requirements modeling technique. While these models are simple to create and read;...
A UML-based quantitative framework for early prediction of resource usage and load in distributed...
This paper presents a quantitative framework for early prediction of resource usage and load in distributed real-time systems (DRTS)....
Remarks on Egon Borger: “Approaches to model business processes: a critical analysis of BPMN,...
Egon Börger (SOSYM, 11, pp. 305-318, 2012 ) challenges the concepts of BPMN, workflow patterns and YAWL as useful...
A graph grammar-based formal validation of object-process diagrams
Two basic requirements from a system's conceptual model are correctness and comprehensibility. Most modeling methodologies satisfy only one of...
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...
