Systematic Translation Rules from ASTD to Event-B

被引：0
|
作者：
Milhau, Jeremy [1 ,2 ]
Frappier, Marc [1 ]
Gervais, Frederic [2 ]
Laleau, Regine [2 ]
机构：
[1] Univ Sherbrooke, Dept Informat, GRIL, 2500 Blvd Univ, Sherbrooke, PQ J1K 2R1, Canada
[2] Univ Paris Est, Dept Informat, IUT Senart Fontainebleau, LACL, 300 Fontainebleau, F-77300 Fontainebleau, France
来源：
INTEGRATED FORMAL METHODS | 2010年 / 6396卷
基金：
加拿大自然科学与工程研究理事会;
关键词：
Process algebra; Translation rules; Systematic translation; ASTD; Event-B; STATECHARTS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This article presents a set of translation rules to generate Event-B machines from process-algebra based specification languages such as ASTD. Illustrated by a case study, it details the rules and the process of the translation. The ultimate goal of this systematic translation is to take advantage of Rodin, the Event-B platform to perform proofs, animation and model-checking over the translated specification.
引用
收藏
页码：245 / +
页数：3
相关论文
共 50 条
  • [1] A method for the translation from UML into Event-B
    Sun Weixuan
    Zhang Hong
    Fu Yangzhen
    Feng Chao
    PROCEEDINGS OF 2016 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2016), 2016, : 349 - 352
  • [2] Developing Translation Rules of Java']Java-JML Source Code to Event-B
    Hadiputra, Faisal Ibrahim
    Asnar, Yudistira D. W.
    Hendradjaya, Bayu
    2014 INTERNATIONAL CONFERENCE ON DATA AND SOFTWARE ENGINEERING (ICODSE), 2014,
  • [3] Systematic Transformation Method from UML to Event-B
    Geng, Xue
    Zou, Sheng-rong
    Yao, Ju-yi
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 770 - 771
  • [4] Event-B Formalization of Event-B Contexts
    Bodeveix, Jean-Paul
    Filali, Mamoun
    RIGOROUS STATE-BASED METHODS, ABZ 2021, 2021, 12709 : 66 - 80
  • [5] From Event-B to Lambdapi
    Grieu, Anne
    RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 387 - 391
  • [6] A method based on Meta-Model for the translation from UML into Event-B
    Sun Weixuan
    Zhang Hong
    Feng Chao
    Fu Yangzhen
    2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2016), 2016, : 271 - 277
  • [7] Xtend Transformation from PDDL to Event-B
    Fourati, Farah
    Bhiri, Mohamed Tahar
    Robbana, Riadh
    COMPUTATIONAL COLLECTIVE INTELLIGENCE, ICCCI 2022, 2022, 13501 : 638 - 644
  • [8] Systematic Construction of Critical Embedded Systems Using Event-B
    Andre, Pascal
    Attiogbe, Christian
    Lanoix, Arnaud
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 200 - 216
  • [9] Core Hybrid Event-B I: Single Hybrid Event-B machines
    Banach, Richard
    Butler, Michael
    Qin, Shengchao
    Verma, Nitika
    Zhu, Huibiao
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 105 : 92 - 123
  • [10] Towards Transformation from UML to Event-B
    Hu Siyuan
    Zhang Hong
    2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, : 188 - 189
12345