SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
In this paper, we introduce a SQL-PL code generator for OCL expressions that, in contrast to other proposals, is...
Formal verification and validation of embedded systems: the UML-based MADES approach
Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they...
A visual language for modeling and executing traceability queries
Current software and systems engineering tools provide only basic trace features, and as a result users are often compelled...
Thirteen years of SysML: a systematic mapping study
The OMG standard Systems Modeling Language (SysML) has been on the market for about thirteen years. This standard is...
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...
