The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

In industry, many business processes are modeled and stored in Enterprise Information
Systems (EIS). Tools supporting the verification and validation of business processes can …

Nuclear power plants are in the process of replacing and upgrading aging and obsolete
instrumentation and control (I&C) systems. Most of these replacements involve transitions …

Technological progress in recent years in the Cyber-Physical Systems (CPSs) area has
given designers unprecedented possibilities and computational power, but as a …

When designing safety critical applications in UML, the system models are frequently
projected into various mathematical domains (such as Petri nets, transition systems, process …

Workflow nets (WF-nets) as a class of Petri nets are widely used to model and analyze
workflow systems. Soundness is an important property of WF-nets, which guarantees that …

This paper studies the semantics of a central part of the Unified Modeling Language UML. It
discusses UML class, object and state diagrams and presents a new integrated semantics …

UML state machines are quite popular and useful to specify dynamic components of
software systems. They have a formal static semantics but their execution semantics is …

Hybrid supervisory systems integrate and exchange information between discrete-and
continuous-data-based controllers and subsystems. Application areas include process …

Using a case study on the specification of an elevator controller, this paper presents an
approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model …