A reconfiguration pattern for distributed embedded systems
A reconfiguration pattern for UML-based projects of embedded (real-time) systems is defined. It enables to set up hardware/software configurations,...
Variability in UML language and semantics
None
Read the full paper here: http://www.sosym.org/
Using UML/MARTE to support performance tuning and stress testing in real-time systems
Real-time embedded systems (RTESs) operating in safety-critical domains have to satisfy strict performance requirements in terms of task deadlines,...
On the automated translational execution of the action language for foundational UML
To manage the rapidly growing complexity of software development, abstraction and automation have been recognised as powerful means. Among...
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...
