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 条
  • [21] UML 2.0 ACTIVITY DIAGRAMS/CSP INTEGRATED APPROACH FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS
    Elmansouri, Raida
    Meghzili, Said
    Chaoui, Allaoua
    [J]. COMPUTER SCIENCE-AGH, 2021, 22 (02): : 209 - 235
  • [22] Towards a Technological Specification of Controllers with UML - Integration of Activity-Diagrams and Statecharts in CoDeSys V3
    Witsch, Daniel
    Schuenemann, Ulf
    [J]. ATP EDITION, 2009, (06): : 50 - 56
  • [23] TAG: UML Activity Diagram Deeply Supervised Generation from Business Textural Specification
    Zhu, Rui
    Li, Wenxin
    Jin, Canchang
    [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING, SANER, 2023, : 956 - 961
  • [24] The EventB2PN Tool: From Event-B Specification to Petri Nets through Model Transformation
    Garoui, Mohamed
    Mazigh, Belhassen
    Koukam, Abderrafiaa
    [J]. 2015 16TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2015, : 657 - 663
  • [25] A Novel Approach to Generate Test Cases from UML Activity Diagrams
    Kundu, Debasish
    Samanta, Debasis
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2009, 8 (03): : 65 - 83
  • [26] Generating UML Sequence Diagrams from Use Case Maps: A Model Transformation Approach
    Yasser A. Khan
    Sajjad Mahmood
    [J]. Arabian Journal for Science and Engineering, 2016, 41 : 965 - 986
  • [27] Generating UML Sequence Diagrams from Use Case Maps: A Model Transformation Approach
    Khan, Yasser A.
    Mahmood, Sajjad
    [J]. ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2016, 41 (03) : 965 - 986
  • [28] A Knowledge-Based Approach for Generating UML Sequence Diagrams from Operation Contracts
    Laosen, Nasith
    Nantajeewarawat, Ekawit
    [J]. RECENT ADVANCES AND FUTURE PROSPECTS IN KNOWLEDGE, INFORMATION AND CREATIVITY SUPPORT SYSTEMS, 2018, 685 : 141 - 155
  • [29] Generating Automatic Unit Tests of JavaScript Code from UML Class and Activity Diagrams
    Malanowska, Agnieszka
    Malkiewicz-Blotniak, Adrianna
    [J]. International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings, 2021, 2021-April : 189 - 196
  • [30] Hardware Behavioural Modelling, Verification and Synthesis with UML 2.x Activity Diagrams
    Grobelny, Michal
    Grobelna, Iwona
    Adamski, Marian
    [J]. 11TH IFAC/IEEE INTERNATIONAL CONFERENCE ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2012), 2012, : 134 - 139
12345