Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …

In this paper, dynamic meta modeling is proposed as a new approach to the operational
semantics of behavioral UML diagrams. The dynamic meta model extends the well-known …

Abstract The Unified Modeling Language (UML) is a widely accepted standard for modeling
software systems. The UML supports object-oriented approaches to software development …

We show how UML (the industry standard in object-oriented modelling) can be used to
express security requirements during system development. Using the extension …

Abstract Model transformations are increasingly recognised as being of significant
importance to many areas of software development and integration. Recent attention on …

UML Statecharts are well-known visual means to capture the dynamic behavior of reactive
systems in the object-oriented design methodology. Since the UML standard only contains …

The purpose of this book is to make the reader famliar with software engineering for
distributed systems. Software engineering is a valuable discipline in the develop ment of …

The Unified Modeling Language (UML) has gained wide acceptance in very short time
because of its variety of well-known and intuitive graphical notations. However, this comes at …

We define the dynamic semantics of UML State Machines which integrate statecharts with
the UML object model. The use of ASMs allows us (a) to rigorously model the event driven …

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 …