Abstract
The PDDL language is used to formally describe planning problems. It has tools called planners to solve planning problems described in PDDL. Equally, it has plan validation tools to validate the solution plans. Our automatic approach to transform a planning problem written in PDDL to Event-B method allows the use of the correct-by-construction paradigm associated to Event-B formal method. We propose a modeling PDDL for Software Architecture Evolution. Then, we translate our PDDL description in Event-B using our plugin PDDL2EventB. Finally, we reason on the Event-B model generated by the use of ProB including: animation, model checking and deadlock-free.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Barnes, J.M., Pandey, A., Garlan, D.: Automated planning for software architecture evolution. In: 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), pp. 213–223. IEEE (2013)
McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: Pddl-the planning domain definition language (1998)
www.icaps-conference.org (2016)
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)
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Plagge, D., Leuschel, M.: Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more. Int. J. Softw. Tools Technol. Transf. 12(1), 9–21 (2010)
Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
Méhus, J.-E., Batista, T., Buisson, J.: ACME vs PDDL: support for dynamic reconfiguration of software architectures. arXiv preprint arXiv:1206.0122 (2012)
Voisin, L., Abrial, J.R.: The rodin platform has turned ten. In: Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. LNCS, vol. 8477, pp. 1–8. Springer, Heidelberg (2014). doi: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
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Fourati, F., Bhiri, M.T., Robbana, R. (2017). Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. In: Madureira, A., Abraham, A., Gamboa, D., Novais, P. (eds) Intelligent Systems Design and Applications. ISDA 2016. Advances in Intelligent Systems and Computing, vol 557. Springer, Cham. https://doi.org/10.1007/978-3-319-53480-0_81
Download citation
DOI: https://doi.org/10.1007/978-3-319-53480-0_81
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-53479-4
Online ISBN: 978-3-319-53480-0
eBook Packages: EngineeringEngineering (R0)