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...
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...
“No shit” or “Oh, shit!”: responses to observations on the use of UML in...
This paper follows a paper, "UML in Practice" presented at ICSE 2013. It summarizes and reflects on the discussion...
Rule-based update transformations and their application to model refactorings
A rule-based update transformation is a model transformation where a single model is transformed in place. A model refactoring...
Model-based requirements specification of real-time systems with UML, SysML and MARTE
Activities of specification, analysis and design of real-time systems (RTS) are highly dependent on an effective understanding of the...
