Uncertainty-Wise Cyber-Physical System test modeling
It is important that a Cyber-Physical System (CPS) with uncertainty in its behavior caused by its unpredictable operating environment,...
Reducing accidental complexity in domain models
A fundamental principle in engineering, including software engineering, is to minimize the amount of accidental complexity which is introduced...
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...
A benchmark for OCL engine accuracy, determinateness, and efficiency
Since several years, the Object Constraint Language (OCL) is a central component in modeling and transformation languages like the...
Generating process model collections
Business process management plays an important role in the management of organizations. More and more organizations describe their operations...
