Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,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.

This work was supported by grant from the French national research agency - ANR ANR-13-INSE-0001 (The IMPEX Project http://impex.gforge.inria.fr (or http://impex.loria.fr)).

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Notes

  1. 1.

    http://impex.gforge.inria.fr (or http://impex.loria.fr).

  2. 2.

    OntoEventB update site: http://wdi.supelec.fr/OntoEventB-update-site/.

References

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

    Book  Google Scholar 

  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_50

    Chapter  Google Scholar 

  3. Aït Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100–127 (2016)

    Article  Google Scholar 

  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. Bjørner, D.: Manifest domains: analysis and description. Form. Asp. Comput. 29(2), 175–225 (2017)

    Article  MathSciNet  Google Scholar 

  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_9

    Chapter  Google Scholar 

  7. Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)

    Article  Google Scholar 

  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_24

    Chapter  Google Scholar 

  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_19

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  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_1

    Chapter  Google Scholar 

  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_12

    Chapter  Google Scholar 

  17. Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1–30 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INP-ENSEEIHT/IRIT, Université de Toulouse, Toulouse, France

    Yamine Aït-Ameur, K. Hacid & Neeraj K. Singh

  2. CentraleSupelec/LRI/Paris Saclay University, Compus de Paris-Saclay, Paris, France

    Idir Ait-Sadoune & L. Mohand-Oussaid

  3. LABRI, Université de Bordeaux, Bordeaux, France

    P. Casteran

  4. Télécom Sud Paris, Évry, France

    Paul Gibson

  5. LORIA, Telecom Nancy, Université de Lorraine, Nancy, France

    S. Kherroubi & Dominique Méry

  6. Systerel, Aix-En-Provence, France

    Laurent Voisin

Authors
  1. Yamine Aït-Ameur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Idir Ait-Sadoune
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. Casteran
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paul Gibson
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. K. Hacid
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. S. Kherroubi
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Dominique Méry
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. L. Mohand-Oussaid
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Neeraj K. Singh
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Laurent Voisin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yamine Aït-Ameur .

Editor information

Editors and Affiliations

  1. University of Southampton, Southampton, United Kingdom

    Michael Butler

  2. Universität Ulm, Ulm, Germany

    Alexander Raschke

  3. University of Southampton, Southampton, United Kingdom

    Thai Son Hoang

  4. Thales Austria GmbH, Vienna, Austria

    Klaus Reichl

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Aït-Ameur, Y. et al. (2018). On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. In: Butler, M., Raschke, A., Hoang, T., Reichl, K. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018. Lecture Notes in Computer Science(), vol 10817. Springer, Cham. https://doi.org/10.1007/978-3-319-91271-4_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91271-4_35

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91270-7

  • Online ISBN: 978-3-319-91271-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation