UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for The Workflows Specification and Verification

被引：0
|
作者：
Ben Younes, Ahlem
Ben Ayed, Leila Jemni
机构：
来源：
2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2 | 2009年
关键词：
Specification; Formal verification; Validation; UML; Event B; workflow application;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we present a new approach to generating Event B specification from UML Activity Diagrams (AD). The goal of this work is to define a formal semantics of activity diagrams that is suitable for workflow modelling. The semantics should allow verification Of Junctional requirements using the B powerful support tools like B4free. In important characteristic of workflows is that the workflow systems are reactive systems. In this paper, we present a formal syntax and semantic for UML AD endowed with interactive aspects (send/receive event concepts), and we illustrate the proposed technique by an example of workflow application.
引用
收藏
页码：330 / 333
页数：4
相关论文
共 41 条
  • [1] SPECIFICATION AND VERIFICATION OF WORKFLOW APPLICATIONS USING A COMBINATION OF UML ACTIVITY DIAGRAMS AND EVENT B
    Ben Younes, Ahlem
    Ben Ayed, Leila Jemni
    [J]. ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 312 - 316
  • [2] AN UML ACTIVITIES DIAGRAMS TRANSLATION INTO EVENT B SUPPORTING THE SPECIFICATION AND THE VERIFICATION OF WORKFLOW APPLICATION MODELS From UML Activities Diagrams to Event B
    Ben Ayed, Leila Jemni
    Hamdi, Najet
    Hlaoui, Yousra Bendaly
    [J]. ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 329 - 332
  • [3] From UML Activity Diagrams to Specification Requirements
    Drusinsky, Doron
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 69 - 73
  • [4] From a B specification to UML StateChart diagrams
    Hammad, A
    Tatibouët, B
    Voisinet, JC
    Wu, WP
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 511 - 522
  • [5] From Graphical Model in UML Activity Diagrams to Formal Specification in Event B for Workflow Applications Modeling
    Ben Younes, Ahlem
    Ben Ayed, Leila Jemni
    [J]. PROCEEDINGS OF INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY (ISCSCT 2009), 2009, : 496 - 499
  • [6] UML Activity Diagrams in Requirements Specification of Logic Controllers
    Grobelna, Iwona
    Grobelny, Michal
    [J]. INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
  • [7] Formal Specification and Automated Verification of UML2.0 Sequence Diagrams
    Peng, Tu
    Ding, Gangyi
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC 2012), 2012, : 370 - 375
  • [8] Specification and Execution of System Optimization Processes with UML Activity Diagrams
    Wichmann, Alexander
    Jaeger, Sven
    Jungebloud, Tino
    Maschotta, Ralph
    Zimmermann, Armin
    [J]. 2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 458 - 464
  • [9] AD2US: An automated approach to generating usage scenarios from UML activity diagrams
    Chandler, R
    Lam, CP
    Li, HZ
    [J]. 12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 9 - 16
  • [10] Automatic generation of object-Z specification from UML diagrams
    Miao Huaikou
    Chen Yihai
    [J]. ICCSE'2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 857 - 862
12345