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 条
  • [31] Demand Control-Flow Analysis
    Germane, Kimball
    McCarthy, Jay
    Adams, Michael D.
    Might, Matthew
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 226 - 246
  • [32] Partial Control-Flow Linearization
    Moll, Simon
    Hack, Sebastian
    ACM SIGPLAN NOTICES, 2018, 53 (04) : 560 - 573
  • [33] Opaque Control-Flow Integrity
    Mohan, Vishwath
    Larsen, Per
    Brunthaler, Stefan
    Hamlen, Kevin W.
    Franz, Michael
    22ND ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2015), 2015,
  • [34] Compositional semantics for UML 2.0 sequence diagrams using Petri nets
    Eichner, C
    Fleischhack, H
    Meyer, R
    Schrimpf, U
    Stehno, C
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 133 - 148
  • [35] A survey of control-flow obfuscations
    Majumdar, Anirban
    Thomborson, Clark
    Drape, Stephen
    INFORMATION SYSTEMS SECURITY, PROCEEDINGS, 2006, 4332 : 353 - +
  • [36] Modular Control-Flow Integrity
    Niu, Ben
    Tan, Gang
    ACM SIGPLAN NOTICES, 2014, 49 (06) : 577 - 587
  • [37] Using the Structure-Behavior Coalescence Method to Formalize the Action Flow Semantics of UML 2.0 Activity Diagrams
    Haga S.W.
    Ma W.-M.
    Chao W.S.
    Journal of Computing Science and Engineering, 2023, 17 (02) : 60 - 70
  • [38] Out Of Control: Overcoming Control-Flow Integrity
    Goktas, Enes
    Athanasopoulos, Elias
    Bos, Herbert
    Portokalidis, Georgios
    2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, : 575 - 589
  • [39] LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation
    Gonzalez-Gomez, Jeferson
    Nassar, Hassan
    Bauer, Lars
    Henkel, Joerg
    2024 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST, HOST, 2024, : 222 - 226
  • [40] Survey on Control-flow Integrity Techniques
    Zhang Z.
    Xue J.-F.
    Zhang J.-C.
    Chen T.
    Tan Y.-A.
    Li Y.-Z.
    Zhang Q.-X.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (01): : 489 - 508
12345