Title :
Semantics of Control-Flow in UML 2.0 Activities
Author_Institution :
Ludwig-Maximilians-Univ. Munchen
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;
Conference_Titel :
Visual Languages and Human Centric Computing, 2004 IEEE Symposium on
Conference_Location :
Rome
Print_ISBN :
0-7803-8696-5
DOI :
10.1109/VLHCC.2004.46
