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 …

With the growing use of UML diagrams for software design description and the importance of
nonfunctional requirements evaluation at software development process, transforming these …

Discrete-event stochastic models are a widely used approach for studying the behavior of
systems that have not been implemented or that it would be too costly to examine directly …

Software often controls the behavior of mechanical and electrical systems, as well as
interactions among their components in cyberphysical systems (CPS). The risks in CPS …

With the growing use of UML diagrams for software description and the importance of non-
functional requirements evaluation at software design level, transforming these diagrams to …

With the growing use of UML diagrams for software architecture description and the
importance of non-functional requirements evaluation at software architecture level, filling …

The goal of this book is to present a modeling framework for the Virtual Organization that is
focused on process composition. This framework uses Predicate Calculus Knowledge …

A new method for deriving system models based on business process models is presented
in this paper. The congruence between the central notion ofautomated activity'in improved …

Abstract Model-driven engineering refers to a range of approaches that uses models
throughout systems and software development life cycle. Towards sustaining such a …

In cyber physical systems (CPSs), hazards can lead to injuries, deaths, destructions or loss
of vital equipment or environmental damages. In these systems, software controls the …