Semantics of control-flow in UML 2.0 activities

被引：34
|
作者：
Störrle, H [1 ]
机构：
[1] Univ Munich, D-80538 Munich, Germany
来源：
2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS | 2004年
关键词：
UML; 2.0; Activity Diagrams; denotational and compositional semantics; modeling of web-services; workflows; and service-oriented architectures;
D O I：
10.1109/VLHCC.2004.46
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The recent major revision of the UML [23] 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. In this paper, a denotational and compositional semantics for Activities is defined as a mapping from Activities into Procedural Petri nets [21]. 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.
引用
收藏
页码：235 / 242
页数：8
相关论文
共 50 条
  • [1] Control-flow semantics of use cases in UML
    van den Berg, KG
    Simons, AJH
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) : 651 - 659
  • [2] Semantics and Verification of Data Flow in UML 2.0 Activities
    Stoerrle, Harald
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (04) : 35 - 52
  • [3] THE SEMANTICS OF SCHEME CONTROL-FLOW ANALYSIS
    SHIVERS, O
    SIGPLAN NOTICES, 1991, 26 (09): : 190 - 198
  • [4] RETRACTED: From UML 2.0 Activity Diagram to YAWL: The Control-flow Aspect (Retracted Article)
    Han, Zhaogang
    Zhang, Li
    2011 INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENTAL SCIENCE-ICEES 2011, 2011, 11 : 1751 - 1758
  • [5] Formal semantics of UML 2.0
    School of Computer Science and Technology, Soochow University, Suzhou 215006, China
    不详
    不详
    Nanjing Youdian Daxue Xuebao (Ziran Kexue Ban), 2007, 3 (39-43):
  • [6] Semantics of interactions in UML 2.0
    Störrle, H
    200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 129 - 136
  • [7] Toward a Formal Semantics for Control-Flow Process Models
    Bi, Henry H.
    Nolt, John
    JOURNAL OF DATABASE MANAGEMENT, 2012, 23 (02) : 72 - 97
  • [8] Semantic Investigation of a Control-Flow Subset of BPMN 2.0
    Todoran, Eneia Nicolae
    Mitrea, Paulina
    2015 IEEE 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2015, : 483 - 490
  • [9] Semantics of UML 2.0 Interactions with Variabilities
    Cengarle, Maria Victoria
    Graubmann, Peter
    Wagner, Stefan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 141 - 155
  • [10] An Approach to Semantics for UML Activities
    Gall, Dariusz
    Walkowiak, Anita
    INFORMATION SYSTEMS ARCHITECTURE AND TECHNOLOGY, PT II, 2018, 656 : 252 - 262
12345