Semantics of Control-Flow in UML 2.0 Activities

Author

Störrle, Harald

Author_Institution

Ludwig-Maximilians-Univ. Munchen

fYear

2004

fDate

30-30 Sept. 2004

Firstpage

235

Lastpage

242

Abstract

The recent major revision of the UML has introduced significant changes and additions. In particular, the metamodel portion underlying Activity Diagrams has been completely reengineered, with Activity being the central concept, the successor of ActivityGraph in UML 1.5. A denotational and compositional semantics for Activities is defined as a mapping from Activities into procedural Petri nets. The semantics excludes data type annotations and all features based on them, but includes all kinds of control flow, including non well-formed concurrency and, particularly, procedure calling

Keywords

Petri nets; Unified Modeling Language; programming language semantics; systems re-engineering; Activity Diagrams; ActivityGraph; UML 1.5; UML 2; compositional semantics; control-flow semantics; denotational semantics; metamodel; procedural Petri nets; procedure calling; Concrete; Concurrent computing; Humans; Petri nets; Service oriented architecture; Software engineering; Standards development; Standards publication; Unified modeling language; Workflow management software; Activity Diagrams; UML 2.0; and service-oriented architectures; denotational and compositional semantics; modeling of web-services; work-flows;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages and Human Centric Computing, 2004 IEEE Symposium on

Conference_Location

Rome

Print_ISBN

0-7803-8696-5

Type

conf

DOI

10.1109/VLHCC.2004.46

Filename

1372327