The Formal Semantics of an UML Activity Diagram

被引：1
|
作者：
梁义芝
王延章
刘云飞
机构：
[1] Dalian University of Technology
[2] Education Technology Center
[3] Combat Software Research Center
[4] P.R. China
[5] Institute of Information and Decision Technology
[6] Dalian 116024
[7] Dalian 116018
[8] Dalian Naval Academy
来源：
Advances in Manufacturing | 2004年 / 03期
关键词：
UML activity diagrams; formal semantics; system analysis;
D O I：
暂无
中图分类号：
TP311.1 [程序设计];
学科分类号：
081202 ; 0835 ;
摘要：
Due to lack of strictly defined formal semantics, an UML activity diagram is unsuitable for the tasks of formal analysis, verification and assertion on the system it describes. In this paper, Petri net is used to define the formal semantics of an UML activity diagram containing object flow states, laying a foundation for the precise description and analysis of a workflow system.
引用
收藏
页码：322 / 327
页数：6
相关论文
共 50 条
  • [1] A formal semantics of UML sequence diagram
    Li, XS
    Liu, ZM
    He, JF
    [J]. 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 168 - 177
  • [2] Formal Semantics of Executable Node and Activity Group of UML 2.5 Activity Diagram
    Jamal, Maryam
    Zafar, Nazir Ahmad
    [J]. 2017 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGIES (COMTECH), 2017, : 174 - 179
  • [3] Formal semantics and reasoning about UML class diagram
    Szlenk, Marcin
    [J]. DEPCOS-RELCOMEX 2006, 2006, : 51 - 58
  • [4] ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS
    Lam, Vitus W.
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (04) : 541 - 567
  • [5] Formal semantics of UML state diagram and automatic verification Based on Kripke structure
    Zhao, Yefei
    Yang Zong-yuan
    Xie, Jinkui
    [J]. 2009 IEEE 22ND CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1 AND 2, 2009, : 90 - 94
  • [6] Formal semantics of UML 2.0
    School of Computer Science and Technology, Soochow University, Suzhou 215006, China
    不详
    不详
    [J]. Nanjing Youdian Daxue Xuebao (Ziran Kexue Ban), 2007, 3 (39-43):
  • [7] A Formal Descriptive Semantics of UML
    Shan, Lijun
    Zhu, Hong
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 375 - +
  • [8] A formal semantics for UML interactions
    Knapp, A
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 116 - 130
  • [9] Enhancing Formal Semantics of Activity Diagram with Object Nodes
    Jamal, Maryam
    Zafar, Nazir Ahmad
    [J]. 2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN ELECTRICAL ENGINEERING AND COMPUTATIONAL TECHNOLOGIES (ICIEECT), 2017,
  • [10] 2nd UML 2 semantics symposium:: Formal semantics for UML
    Broy, Manfred
    Crane, Michelle L.
    Dingel, Juergen
    Hartman, Alan
    Rumpe, Bernhard
    Selic, Bran
    [J]. MODELS IN SOFTWARE ENGINEERING, 2007, 4364 : 318 - +
12345