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...
A model-driven runtime environment for Web applications
A large part of software development these days deals with building so-called Web applications. Many of these applications are...
A toolkit for model manipulation
We present a toolkit to develop scripts to process software models. It can be used to create applications to...
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known...
How do humans inspect BPMN models: an exploratory study
Even though considerable progress regarding the technical perspective on modeling and supporting business processes has been achieved, it appears...
Investigating expressiveness and understandability of hierarchy in declarative business process models
Hierarchy has widely been recognized as a viable approach to deal with the complexity of conceptual models. For instance,...
How effective is UML modeling ?
Modeling has become a common practice in modern software engineering. Since the mid 1990s the Unified Modeling Language (UML)...
