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 条
  • [31] An Approach to Automated Conceptual Database Design Based on the UML Activity Diagram
    Brdjanin, Drazen
    Maric, Slavko
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (01) : 249 - 283
  • [32] Addition of Static Aspects to the Intuitive Mapping of UML Activity Diagram to CPN
    Czopik, Jan
    Kosinar, Michael Alexander
    Stolfa, Jakub
    Stolfa, Svatopluk
    [J]. AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT, AECIA 2014, 2015, 334 : 77 - 86
  • [33] Using π-calculus to formalize UML activity diagram for business process modeling
    Yang, D
    Zhang, SS
    [J]. ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 47 - 54
  • [34] Automated test case generation based on UML activity diagram model
    [J]. Zhang, M., 2001, Beijing University of Aeronautics and Astronautics (BUAA) (27):
  • [35] Extending the modeling efficiency of the UML activity diagram for the design of distributed systems
    Fengler, O
    Fengler, W
    Duridanova, V
    [J]. INNOVATIVE INTERNET COMPUTING SYSTEMS, 2002, 2346 : 51 - 62
  • [36] Deriving Combinatorial Test Design Model from UML Activity Diagram
    Satish, Preeti
    Sheeba, K.
    Rangarajan, Krishnan
    [J]. IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 331 - 337
  • [37] Extenics-based Test Case Generation for UML Activity Diagram
    Li, Liping
    Li, Xingsen
    He, Tao
    Xiong, Jie
    [J]. FIRST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT, 2013, 17 : 1186 - 1193
  • [38] Test Scenario Prioritization Using UML Use Case and Activity Diagram
    Bhuyan, Prachet
    Ray, Abhishek
    Das, Manali
    [J]. COMPUTATIONAL INTELLIGENCE IN DATA MINING, CIDM 2016, 2017, 556 : 499 - 512
  • [39] ACO based Embedded System Testing using UML Activity Diagram
    Panthi, Vikas
    Mohapatra, Durga Prasad
    [J]. PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON), 2016, : 237 - 242
  • [40] BPMN VS. UML ACTIVITY DIAGRAM FOR BUSINESS PROCESS MODELING
    Geambasu, Cristina Venera
    [J]. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ACCOUNTING AND MANAGEMENT INFORMATION SYSTEMS (AMIS 2012), 2012, : 934 - 945
12345