Transformation of UML Activity Diagram to YAWL

被引：3
|
作者：
Han, Zhaogang [1 ]
Zhang, Li [1 ]
Ling, Jimin [1 ]
机构：
[1] Univ BUAA, Dept Comp Sci & Engn, Beijing, Peoples R China
来源：
ENTERPRISE INTEROPERABILITY IV: MAKING THE INTERNET OF THE FUTURE FOR THE FUTURE OF ENTERPRISE | 2010年
关键词：
Business Process Modeling; Workflow; UML; Activity Diagram; YAWL; BPEL;
D O I：
10.1007/978-1-84996-257-5_27
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Model transformations are frequently applied in business process modeling to bridge between languages on a different level of abstraction and formality. In this paper, we define a transformation from UML 2.0 Activity diagram (UML-AD for short) to YAWL, a formal workflow language that is able to capture all of the 20 workflow patterns reported in [1]. We illustrate the transformation challenges and present a suitable transformation algorithm. The benefit of the transformation is threefold. First, it clarifies the semantics of UML-AD via a mapping to YAWL. Second, the deployment of UML-AD business process models as workflows is simplified. Third, UML-AD models can be analyzed with YAWL verification tools.
引用
收藏
页码：289 / 299
页数：11
相关论文
共 50 条
  • [21] Predicting the Functional Change Status in UML Activity Diagram From the Use Case Diagram
    Haoues, Mariem
    Salami, Asma
    Ben-Abdallah, Hanene
    2016 IEEE/ACS 13TH INTERNATIONAL CONFERENCE OF COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2016,
  • [22] An Extended UML Activity Diagram for Composing Grid Services workflows
    Hlaoui, Yousra Bendaly
    BenAyed, Leila Jemni
    CRISIS: 2008 THIRD INTERNATIONAL CONFERENCE ON RISKS AND SECURITY OF INTERNET AND SYSTEMS, PROCEEDINGS, 2008, : 207 - 212
  • [23] Requirement analysis model of formalized UML 2.0 activity diagram
    Piao, W. C.
    Wang, C. H.
    Chu, William C.
    Chen, Ying-Da
    IMECS 2006: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, 2006, : 875 - 880
  • [24] Translation UML Activity Diagram into Colored Petri Net with Inscription
    Maneerat, Nattira
    Vatanawood, Wiwat
    2016 13TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2016, : 262 - 267
  • [25] Test Case Generation from UML Subactivity and Activity Diagram
    Fan, Xin
    Shu, Jian
    Liu, LinLan
    Liang, QiJun
    PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, VOL II, 2009, : 244 - 248
  • [26] Formal Semantics of Executable Node and Activity Group of UML 2.5 Activity Diagram
    Jamal, Maryam
    Zafar, Nazir Ahmad
    2017 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGIES (COMTECH), 2017, : 174 - 179
  • [27] The Model Transformation for Getting a UML Class Diagram from a Topological Functioning Model
    Solomencevs, Arturs
    APPLIED COMPUTER SYSTEMS, 2015, 17 (01) : 88 - 96
  • [28] UML Sequence Diagram: Transformation from the Two-Hemisphere Model and Layout
    Nikiforova, Oksana
    Kozacenko, Ludmila
    Ahilcenoka, Dace
    APPLIED COMPUTER SYSTEMS, 2013, 14 (01) : 31 - 41
  • [29] A Memorization Approach for Test Case Generation in Concurrent UML Activity Diagram
    Kamonsantiroj, Suwatchai
    Pipanmaekaporn, Luepol
    Lorpunmanee, Siriluck
    2019 2ND INTERNATIONAL CONFERENCE ON GEOINFORMATICS AND DATA ANALYSIS (ICGDA 2019), 2019, : 20 - 25
  • [30] Formalizing Structural Semantics of UML 2.5 Activity Diagram in Z Notation
    Jamal, Maryam
    Zafar, Nazir Ahmad
    2016 INTERNATIONAL CONFERENCE ON OPEN SOURCE SYSTEMS AND TECHNOLOGIES (ICOSST), 2016, : 66 - 71
12345