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
    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
    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
    ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 47 - 54
  • [34] Deriving Combinatorial Test Design Model from UML Activity Diagram
    Satish, Preeti
    Sheeba, K.
    Rangarajan, Krishnan
    IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 331 - 337
  • [35] Automated test case generation based on UML activity diagram model
    Zhang, M., 2001, Beijing University of Aeronautics and Astronautics (BUAA) (27):
  • [36] Test Case Generation for Access Control Based on UML Activity Diagram
    Fan, Ao
    Liao, Li
    Wang, Lulu
    Li, Bixin
    2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, : 95 - 104
  • [37] Extending the modeling efficiency of the UML activity diagram for the design of distributed systems
    Fengler, O
    Fengler, W
    Duridanova, V
    INNOVATIVE INTERNET COMPUTING SYSTEMS, 2002, 2346 : 51 - 62
  • [38] Extenics-based Test Case Generation for UML Activity Diagram
    Li, Liping
    Li, Xingsen
    He, Tao
    Xiong, Jie
    FIRST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT, 2013, 17 : 1186 - 1193
  • [39] Test Scenario Prioritization Using UML Use Case and Activity Diagram
    Bhuyan, Prachet
    Ray, Abhishek
    Das, Manali
    COMPUTATIONAL INTELLIGENCE IN DATA MINING, CIDM 2016, 2017, 556 : 499 - 512
  • [40] ACO based Embedded System Testing using UML Activity Diagram
    Panthi, Vikas
    Mohapatra, Durga Prasad
    PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON), 2016, : 237 - 242
12345