On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B

  • Yamine Aït-Ameur
  • Idir Ait-Sadoune
  • P. Casteran
  • Paul Gibson
  • K. Hacid
  • S. Kherroubi
  • Dominique Méry
  • L. Mohand-Oussaid
  • Neeraj K. Singh
  • Laurent Voisin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10817)

Abstract

Although several authors like Zave and Jackson [11, 17], Bjørner [5], Van Lamsweerde [13] have drawn the attention of system designers on the necessity to handle domain knowledge, while designing systems, it is still a major concern nowadays.

References

  1. 1.
    Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)CrossRefGoogle Scholar
  2. 2.
    Ait-Ameur, Y., Gibson, J.P., Méry, D.: On implicit and explicit semantics: integration issues in proof-based development of systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 604–618. Springer, Heidelberg (2014).  https://doi.org/10.1007/978-3-662-45231-8_50CrossRefGoogle Scholar
  3. 3.
    Aït Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100–127 (2016)CrossRefGoogle Scholar
  4. 4.
    Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L., et al.: OWL Web Ontology Language Reference. W3C Recommendation (2004)Google Scholar
  5. 5.
    Bjørner, D.: Manifest domains: analysis and description. Form. Asp. Comput. 29(2), 175–225 (2017)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Gibson, J.P., Kherroubi, S., Méry, D.: Applying a dependency mechanism for voting protocol models using event-B. In: Bouajjani, A., Silva, A. (eds.) FORTE 2017. LNCS, vol. 10321, pp. 124–138. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-60225-7_9CrossRefGoogle Scholar
  7. 7.
    Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)CrossRefGoogle Scholar
  8. 8.
    Hacid, K., Ait-Ameur, Y.: Strengthening MDE and formal design models by references to domain ontologies. A model annotation based approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 340–357. Springer, Cham (2016).  https://doi.org/10.1007/978-3-319-47166-2_24CrossRefGoogle Scholar
  9. 9.
    Hacid, K., Ait-Ameur, Y.: Annotation of engineering models by references to domain ontologies. In: Bellatreche, L., Pastor, Ó., Almendros Jiménez, J.M., Aït-Ameur, Y. (eds.) MEDI 2016. LNCS, vol. 9893, pp. 234–244. Springer, Cham (2016).  https://doi.org/10.1007/978-3-319-45547-1_19CrossRefGoogle Scholar
  10. 10.
    ISO: Industrial automation systems and integration - parts library - part 42: Description methodology: Methodology for structuring parts families. ISO ISO13584-42, International Organization for Standardization, Geneva, Switzerland (1998)Google Scholar
  11. 11.
    Jackson, M., Zave, P.: Domain descriptions. In: Proceedings of IEEE International Symposium on Requirements Engineering, RE 1993, San Diego, California, USA, 4–6 January 1993, pp. 56–64 (1993)Google Scholar
  12. 12.
    Jean, S., Pierra, G., Ait-Ameur, Y.: Domain ontologies: a database-oriented analysis. In: Filipe, J., Cordeiro, J., Pedrosa, V. (eds.) Web Information Systems and Technologies. LNBIP, vol. 1, pp. 238–254. Springer, Heidelberg (2007).  https://doi.org/10.1007/978-3-540-74063-6_19CrossRefGoogle Scholar
  13. 13.
    van Lamsweerde, A.: Requirements engineering in the year 00: a research perspective. In: Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000, Limerick Ireland, 4–11 June 2000, pp. 5–19. ACM (2000)Google Scholar
  14. 14.
    Méry, D., Sawant, R., Tarasyuk, A.: Integrating domain-based features into event-B: a nose gear velocity case study. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 89–102. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-23781-7_8CrossRefGoogle Scholar
  15. 15.
    Méry, D., Singh, N.K.: Medical protocol diagnosis using formal methods. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol. 7151, pp. 1–20. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-32355-3_1CrossRefGoogle Scholar
  16. 16.
    Mohand-Oussaid, L., Ait-Sadoune, I.: Formal modelling of domain constraints in event-B. In: Ouhammou, Y., Ivanovic, M., Abelló, A., Bellatreche, L. (eds.) MEDI 2017. LNCS, vol. 10563, pp. 153–166. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-66854-3_12CrossRefGoogle Scholar
  17. 17.
    Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1–30 (1997)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Yamine Aït-Ameur
    • 1
  • Idir Ait-Sadoune
    • 2
  • P. Casteran
    • 3
  • Paul Gibson
    • 4
  • K. Hacid
    • 1
  • S. Kherroubi
    • 5
  • Dominique Méry
    • 5
  • L. Mohand-Oussaid
    • 2
  • Neeraj K. Singh
    • 1
  • Laurent Voisin
    • 6
  1. 1.INP-ENSEEIHT/IRITUniversité de ToulouseToulouseFrance
  2. 2.CentraleSupelec/LRI/Paris Saclay UniversityParisFrance
  3. 3.LABRIUniversité de BordeauxBordeauxFrance
  4. 4.Télécom Sud ParisÉvryFrance
  5. 5.LORIA, Telecom NancyUniversité de LorraineNancyFrance
  6. 6.SysterelAix-En-ProvenceFrance

Personalised recommendations