UML Tutorial: From Use Case to Communication Diagrams

This Unified Modeling Language (UML) tutorial shows how to start with a use case and how to elaborate it into activity, class, sequence, and communication diagrams. This tutorial is a must for beginners who want to understand the relationships between different UML diagrams! It introduces the life cycle and evolution …

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 …