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

  • Yamine Aït-AmeurEmail author
  • 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)


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.


Posteriori Approaches Ontology Modeling Language Medical Protocols Formal System Development Express Domain Concepts 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  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). 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). 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). 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). 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). 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). 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). 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). 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
    Email author
  • 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