The development of contemporary systems is an extremely complex process. One approach
to modeling system behavior uses activity diagrams from Unified Modeling Language …

For a system of distributed processes, correctness can be ensured by (statically) checking
whether their composition satisfies properties of interest. However, Web services are …

Unified modeling language (UML) sequence diagrams combined with the UML profile for
modeling and analysis of real-time and embedded (MARTE) systems are used to represent …

For the goal of model-based system software development, this paper exploits the formalism
of colored Petri nets (CPNs) to design complex systems based on scenarios. The …

For the goal of model-based system design and development, this paper exploits the
formalism of colored Petri nets (CPNs) to model the on-board subsystem of a satellite-based …

In this paper we define a formal strongly consistent transformation from UML2 sequence
diagrams to coloured Petri nets (CPNs). We define the language of sequence diagrams (set …

Model transformation is a keystone in carrying out model-driven development. Currently,
many studies have focused on model transformation, those researches study the automatic …

UML has become a de-facto standard for design and development of object-oriented
systems. On the other hand, UML includes various diagrams and notations which are …

Among the factors that contribute to the inherent complexity of the software development
process is the gap between the design and the formal analysis domains. Software design is …

Petri nets and statecharts can model concurrent systems in a succinct way. While
translations from statecharts to Petri nets exist, a well-defined translation from Petri nets to …