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 条
  • [41] A Novel Approach for Test Case Generation from UML Activity Diagram
    Jena, Ajay Kumar
    Swain, Santosh Kumar
    Mohapatra, Durga Prasad
    PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON ISSUES AND CHALLENGES IN INTELLIGENT COMPUTING TECHNIQUES (ICICT), 2014, : 621 - 629
  • [42] BPMN VS. UML ACTIVITY DIAGRAM FOR BUSINESS PROCESS MODELING
    Geambasu, Cristina Venera
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ACCOUNTING AND MANAGEMENT INFORMATION SYSTEMS (AMIS 2012), 2012, : 934 - 945
  • [43] Definition of Consistency Rules between UML Use Case and Activity Diagram
    Ibrahim, Noraini
    Ibrahim, Rosziati
    Saringat, Mohd Zainuri
    Mansor, Dzahar
    Herawan, Tutut
    UBIQUITOUS COMPUTING AND MULTIMEDIA APPLICATIONS, PT II, 2011, 151 : 498 - +
  • [44] Test Case Generation For Concurrent Systems Using UML Activity Diagram
    Mahali, Prateeva
    Arabinda, Saswat
    Acharya, Arup Abhinna
    Mohapatra, Durga Prasad
    PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON), 2016, : 428 - 435
  • [45] Transformation of UML Class Diagram to Internal Java']Java Domain-Specific Language
    Buzdin, Dmitry
    Nikiforova, Oksana
    APPLIED COMPUTER SYSTEMS, 2012, 13 (01) : 61 - 67
  • [46] Refactoring UML class diagram
    Pereira, C
    Favre, L
    Martinez, L
    Innovations Through Information Technology, Vols 1 and 2, 2004, : 506 - 510
  • [47] UML Diagram for Design Patterns
    Mustapha, Muhazam
    Daud, Nik Ghazali Nik
    SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 3, 2011, 181 : 215 - 230
  • [48] Viewpoints Diagram: Towards an innovative diagram in the UML Language
    Ettalbi, Ahmed
    Nassar, Mahmoud
    Sbihi, Boubker
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2012, 12 (08): : 49 - 54
  • [49] Diagram Definition: A Case Study with the UML Class Diagram
    Elaasar, Maged
    Labiche, Yvan
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 364 - +
  • [50] Formal Transformation of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static and Dynamic Perspectives of System
    Singh, Monika
    Sharma, A. K.
    Saxena, Ruhi
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABLE DEVELOPMENT ICT4SD 2015, VOL 2, 2016, 409 : 25 - 38
12345