Skip to main content
SpringerLink
Log in
Book cover

International Conference on Intelligent Systems Design and Applications

ISDA 2016: Intelligent Systems Design and Applications pp 821–830Cite as

Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL

  • Conference paper
  • First Online:

  • 1656 Accesses

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 557))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: Pddl-the planning domain definition language (1998)

    Google Scholar 

  3. www.icaps-conference.org (2016)

  4. 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)

    Google Scholar 

  5. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)

    Book  MATH  Google Scholar 

  6. 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)

    Article  Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. Méhus, J.-E., Batista, T., Buisson, J.: ACME vs PDDL: support for dynamic reconfiguration of software architectures. arXiv preprint arXiv:1206.0122 (2012)

  9. 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

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Engineering School of Sfax, Sfax, Tunisia

    Farah Fourati

  2. Faculty of Sciences of Sfax, Sfax, Tunisia

    Mohamed Tahar Bhiri

  3. National Institute of Applied Science and Technology, Tunis, Tunisia

    Riadh Robbana

Authors
  1. Farah Fourati
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohamed Tahar Bhiri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Riadh Robbana
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Farah Fourati .

Editor information

Editors and Affiliations

  1. Departamento de Engenharia Informática, Instituto Superior de Engenharia do Port, Porto, Portugal

    Ana Maria Madureira

  2. Scientific Network for Innovation and Research Excellence, Machine Intelligence Research Labs, Auburn, Washington, USA

    Ajith Abraham

  3. Polytechnic Institute of Porto, Felgueiras, Portugal

    Dorabela Gamboa

  4. Campus of Gualtar, University of Minho, Braga, Portugal

    Paulo Novais

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation