Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Efftinge, S., Völter, M.: oAW xText: a framework for textual DSLs. In: Workshop on Modeling Symposium at Eclipse Summit, vol. 32, p. 118 (2006)
Haase, A., Völter, M., Efftinge, S., Kolb, B.: Introduction to openarchitectureware 4.1. 2. In: MDD Tool Implementers Forum (2007)
Howey, R., Long, D., Fox, M.: Val: Automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: 16th IEEE International Conference on Tools with Artificial Intelligence. ICTAI 2004, pp. 294–301. IEEE (2004)
ICAPS: International Conference on Automated Planning and Scheduling (2022, Online)
Long, D., Fox, M., Howey, R.: Planning domains and plans: validation, verification and analysis. In: Proceedings of Workshop on V &V of Planning and Scheduling Systems (2009)
McDermott, D., et al.: PDDL-the planning domain definition language (1998)
Voisin, L., Abrial, J.R.: The Rodin platform has turned ten. In: Ait Ameur, Y., Schewe, K.D. (eds.) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2014. LNCS, vol. 8477, pp. 1–8. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43652-3_1
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Fourati, F., Bhiri, M.T., Robbana, R. (2022). Xtend Transformation from PDDL to Event-B. In: Nguyen, N.T., Manolopoulos, Y., Chbeir, R., Kozierkiewicz, A., Trawiński, B. (eds) Computational Collective Intelligence. ICCCI 2022. Lecture Notes in Computer Science(), vol 13501. Springer, Cham. https://doi.org/10.1007/978-3-031-16014-1_50
Download citation
DOI: https://doi.org/10.1007/978-3-031-16014-1_50
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-16013-4
Online ISBN: 978-3-031-16014-1
eBook Packages: Computer ScienceComputer Science (R0)