Xtend Transformation from PDDL to Event-B

被引:0
作者
Fourati, Farah [1 ]
Bhiri, Mohamed Tahar [1 ]
Robbana, Riadh [2 ]
机构
[1] Fac Sci Sfax, Sfax, Tunisia
[2] Natl Inst Appl Sci & Technol, Tunis, Tunisia
来源
COMPUTATIONAL COLLECTIVE INTELLIGENCE, ICCCI 2022 | 2022年 / 13501卷
关键词
Event-B; Transformation; MDE plugin; Static verification;
D O I
10.1007/978-3-031-16014-1_50
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
PDDL is a de facto standard language for formally describing planning problems. It is equipped with dynamic tools for executing PDDL descriptions. But, it is not equipped with static tools allowing to reason a priori on the correction of the PDDL descriptions. To remedy this shortcoming, we have designed, produced and tested a tool called PDDL2EventB in order to automate the approach and the systematic translation rules from PDDL to Event-B. This allows a formal static verification of PDDL descriptions and exploit the static tools associated with Event-B. To achieve this, we successfully used the Xtext MDE tool creating an integrated development environment specific to the PDDL language, and the Xtend tool to implement our transformation and produce the Event-B models according to a top-down approach.
引用
收藏
页码:638 / 644
页数:7
相关论文
共 8 条
  • [1] Abrial Jean-Raymond, 2010, MODELING EVENT B SYS, V1st
  • [2] Efftinge Sven., 2006, WORKSHOP MODELING S, V32, P118
  • [3] Haase A., 2007, MDD TOOL IMPLEMENTER
  • [4] Howey R, 2004, PROC INT C TOOLS ART, P294
  • [5] ICAPS, 2022, INT C AUT PLANN SCHE
  • [6] Long D., 2009, P WORKSHOP V V PLANN
  • [7] McDermott D., 1998, TR98003 YAL CTR COMP
  • [8] Voisin L, 2014, LECT NOTES COMPUT SC, V8477, P1, DOI 10.1007/978-3-662-43652-3_1