Work

A Formal Semantics for UML Statecharts

Year: 2003

Type: report

Abstract: The UML language is a large set of notations and rules to describe different aspects of a system. It provides a set of diagrams to view the system from different angles: use case diagrams, class diagrams, statecharts diagrams, and deployment diagrams are some of them. In this report we are interested in the statecharts diagrams that describe dynamic behaviours. We give a formal semantics for a large subset of these statecharts, in particular we focus on the action language semantics. Our subset and semantics are very close to the one supported by the tool Rhapsody.

Source: Uppsala University Publications (Uppsala University)

Authors: Alexandre David, Johann Deneux, Julien d’Orso

Institution: Uppsala University

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W603036162

Cites:

Cited by: 7

Related to: 10