Department of Informatics A fully general operational semantics for UML sequence diagrams with potential and mandatory choice

Abstract

UML sequence diagrams is a specification language that has proved itself to be of great value in system development. When put to applications such as simulation, testing and other kinds of automated analysis there is a need for formal semantics. Such methods of automated analysis are by nature operational, and this motivates formalizing an operational… (More)

Topics

2 Figures and Tables

Slides referencing similar topics