Business Services Modeling

Business application development often starts with business process modeling to discover and document the key business requirements necessary to meet business objectives. Tasks in these processes can be implemented using a variety of techniques. However, there are many cases where simple functional decomposition leading to workflow based applications are not …

Automated Translation of UML Class Diagrams into a Formal Specification

This article describes a systematic translation of UML Class Diagrams into a formal specification to uncover most of the UML inconsistencies published to date. Examples of inconsistent UML class diagrams presented in previous research studies were used to validate the approach. The formal model obtained from UML class diagrams helped …

UML 2 Sequence Diagrams to State Machines by Graph Transformation

This article explores how you can specify graph transformation-based rules for a classical problem of transforming from UML sequence diagrams to state machines. The specification of the transformation rules is based on the concrete syntax of sequence diagrams and state machines. It introduces tailored transformation support for sequence diagrams and …