Nivel: a metamodelling language with a formal semantics
Much work has been done to clarify the notion of metamodelling and new ideas, such as strict metamodelling, distinction...
AuRUS: explaining the validation of UML/OCL conceptual schemas
The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and...
Dinosaur meets Archaeopteryx? or: Is there an alternative for Rational’s Unified Process?
Since 1999, Rational's Unified Process (RUP) is being offered as a guideline for software projects using the Unified Modeling...
SAMM: an architecture modeling methodology for ship command and control systems
Ship command and control systems (SCCSs) are composed of large-scale, complex, real-time and software-intensive systems that complete tasks collaboratively....
PSL: A semantic domain for flow models
Flow models underlie popular programming languages and many graphical behavior specification tools. However, their semantics is typically ambiguous, causing...
Generating relational database transactions from eb 3 attribute definitions
eb 3 is a trace-based formal language created for the specification of information systems. In eb 3, each entity...
Designing secure business processes with SecBPMN
Modern information systems are increasingly large and consist of an interplay of technical components and social actors (humans and...
A dependability profile within MARTE
The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering...
On the comprehension of workflows modeled with a precise style: results from a family...
In this paper, we present the results from a family of experiments conducted to assess whether the level of...
Automated support for deriving test requirements from UML statecharts
Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart. These...
