Automatic Generation of DistAlgo Programs from Event-B Models

被引：1
|
作者：
Grall, Alexis [1 ,2 ]
机构：
[1] LORIA UMR 7503, Vandoeuvre Les Nancy, France
[2] Univ Lorraine, Vandoeuvre Les Nancy, France
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2020 | 2020年 / 12071卷
关键词：
D O I：
10.1007/978-3-030-48077-6_34
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：414 / 417
页数：4
相关论文
共 50 条
  • [1] Creating Sequential Programs from Event-B Models
    Bostrom, Pontus
    INTEGRATED FORMAL METHODS, 2010, 6396 : 74 - 88
  • [2] Automatic Planning: From Event-B to PDDL
    Ammar, Sabrine
    Bhiri, Mohamed Tahar
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 247 - 254
  • [3] Derivation of concurrent programs by stepwise scheduling of Event-B models
    Bostrom, Pontus
    Degerlund, Fredrik
    Sere, Kaisa
    Walden, Marina
    FORMAL ASPECTS OF COMPUTING, 2014, 26 (02) : 281 - 303
  • [4] From Event-B Specifications to Programs for Distributed Algorithms
    Tounsi, Mohamed
    Mosbah, Mohamed
    Mery, Dominique
    2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 104 - 109
  • [5] Code generation for Event-B
    Rivera, Victor
    Catano, Nestor
    Wahls, Tim
    Rueda, Camilo
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 31 - 52
  • [6] Modelling Hybrid Programs with Event-B
    Afendi, Meryem
    Laleau, Regine
    Mammar, Amel
    RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 139 - 154
  • [7] Code Generation for Event-B
    Furst, Andreas
    Hoang, Thai Son
    Basin, David
    Desai, Krishnaji
    Sato, Naoto
    Miyazaki, Kunihiko
    INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 323 - 338
  • [8] Code generation for Event-B
    Víctor Rivera
    Néstor Cataño
    Tim Wahls
    Camilo Rueda
    International Journal on Software Tools for Technology Transfer, 2017, 19 : 31 - 52
  • [9] Event-B Decomposition for Parallel Programs
    Hoang, Thai Son
    Abrial, Jean-Raymond
    ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, 2010, 5977 : 319 - 333
  • [10] The Composition of Event-B Models
    Poppleton, Michael
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 209 - 222
12345