Using UML activity diagrams and event B for distributed and parallel applications

被引：0
|
作者：
Ben Younes, Ahlem
Ben Ayed, Leila Jemni
机构：
来源：
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS | 2007年
关键词：
specification; formal verification; validation; UML; event B; distributed systems; parallel applications;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a specification and verification technique for distributed and parallel applications using formal and semi-formal methods. The proposed technique uses UML and Event B. The design is initially expressed graphically with UML, then translated into Event B and verified using the B powerful support tools. In this paper, we focus on the translation of activity diagrams into Event B, in order to verify workflow properties of distributed and parallel applications with the B prover. We present translation rules of activity diagrams into Event A and relation between hierarchical decomposition of activities in UML activity diagrams and the refinement in Event B.
引用
收藏
页码：163 / 170
页数：8
相关论文
共 50 条
  • [11] UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for The Workflows Specification and Verification
    Ben Younes, Ahlem
    Ben Ayed, Leila Jemni
    [J]. 2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 330 - 333
  • [12] UML based modeling of performance oriented parallel and distributed applications
    Pllana, S
    Fahringer, T
    [J]. PROCEEDINGS OF THE 2002 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2002, : 497 - 505
  • [13] Synthesis of test scenarios using UML activity diagrams
    Ashalatha Nayak
    Debasis Samanta
    [J]. Software & Systems Modeling, 2011, 10 : 63 - 89
  • [14] Synthesis of test scenarios using UML activity diagrams
    Nayak, Ashalatha
    Samanta, Debasis
    [J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (01): : 63 - 89
  • [15] Supporting UML activity diagrams using organizational models
    Bhuiyan, Moshiur
    Islam, M. M. Zahidul
    Koliadis, George
    Krishna, Aneesh
    Ghose, Aditya
    [J]. CHALLENGES IN INFORMATION TECHNOLOGY MANAGEMENT, 2008, : 182 - 188
  • [16] Decomposition of UML activity diagrams
    Chen, Huifeng
    Jiang, Jian-min
    Hong, Zhong
    Lin, Ling
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2018, 48 (01): : 105 - 122
  • [17] Scrutinizing UML Activity Diagrams
    Al-Fedaghi, Sabah
    [J]. INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 59 - 67
  • [18] Net verifier of discrete event system models expressed by UML activity diagrams
    Kowalski, Tomasz
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 3405 - 3410
  • [19] A method for the design and development of distributed applications using UML
    Born, M
    Holz, E
    Kath, O
    [J]. 37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 253 - 264
  • [20] Formalizing and Verifying UML Activity Diagrams
    Abbas, Messaoud
    Beggas, Mounir
    Boucherit, Ammar
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING, 2019, 1085 : 49 - 63
12345