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...
Synthesis of test scenarios using UML activity diagrams
Often system developers follow Unified Modeling Language (UML) activity diagrams to depict all possible flows of controls commonly known...
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
Interaction modeling is a relevant activity during software development processes. Created relying on Petri Nets theory and aiming to...
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile
Several safety-related standards exist for developing and certifying safety-critical systems. System safety assessments are common practice and system certification...
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL...
