Automated formal verification of visual modeling languages by model checking
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture...
Formalization of UML state machines using temporal logic
The main purpose of this paper is to approach the use of formal methods in computing. In more specific...
Modeling learning technology systems as business systems
The design of Learning Technology Systems, and the Software Systems that support them, is largely conducted on an intuitive,...
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...
An integrated metamodel-based approach to software model refactoring
Software refactoring is the process of changing a software system in a manner that does not alter its external...
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...
