Skip to main content
SpringerLink
Log in

Building Formal Semantic Domain Model: An Event-B Based Approach

  • Conference paper
  • First Online:
Model and Data Engineering (MEDI 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11815))

Included in the following conference series:

Abstract

Ontologies are structured data models used to describe a set of concepts related to a specific domain, they describe also the semantic properties of these concepts. Formal development process aims to develop a system with respect to properties or constraints. The IMPEX project is interested in involving domain constraints as soon as possible into formal development process, it proposes to integrate the ontologies descriptions in an Event-B development process. This approach assumes to develop a transformation step of the ontologies constructs from their initial description in an ontological language (OWL, OntoML ...) to Event-B. A first version of this transformation approach for OWL ontologies based on a generic and extensible architecture has been developed, it is supported by the OntoEventB tool. An evolution of this approach to include OntoML ontologies and new features is presented in this paper.

This work was supported by grant from the French national research agency ANR (IMPEX ANR-13-INSE-0001: 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.loria.fr.

  2. 2.

    Reference dictionary for rolling bearings https://www.iso.org/standard/41845.html.

  3. 3.

    ISO 4217 is the International Standard for currency codes: https://www.iso.org/iso-4217-currency-codes.html.

  4. 4.

    ISO 1000 describes the International System of Units SI:

    https://www.iso.org/standard/5448.html.

  5. 5.

    xText update site:

    http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/.

  6. 6.

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

References

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

    Book  Google Scholar 

  2. Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y

    Article  Google Scholar 

  3. Aït-Ameur, Y., et al.: On the importance of explicit domain modelling in refinement-based modelling design. Experiments with Event-B. In: 6th International Conference, ABZ 2018, Southampton, UK, 5–8 June 2018, Proceedings, pp. 425–430 (2018). https://doi.org/10.1007/978-3-319-91271-4_35

    Google Scholar 

  4. Aït-Ameur, Y., Aït-Sadoune, I., Hacid, K., Mohand-Oussaïd, L.: Formal modelling of ontologies: an Event-B based approach using the rodin platform. In: Proceedings Joint Workshop IMPEX and FM&MDD, Xi’An, China, 16th November 2017, pp. 24–33 (2017). https://doi.org/10.4204/EPTCS.271.2

    Article  Google Scholar 

  5. Aït-Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100–127 (2016). https://doi.org/10.1016/j.scico.2015.12.004

    Article  Google Scholar 

  6. Alkhammash, E.H.: Derivation of event-b models from owl ontologies. In: MATEC Web of Conferences, vol. 76, p. 04008. EDP Sciences (2016)

    Google Scholar 

  7. Brucker, A.D., Aït-Sadoune, I., Crisafulli, P., Wolff, B.: Using the isabelle ontology framework - linking the formal with the informal. In: 11th International Conference, CICM 2018, Hagenberg, Austria, 13–17 August 2018, Proceedings, pp. 23–38 (2018). https://doi.org/10.1007/978-3-319-96812-4_3

    Google Scholar 

  8. de Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: Jarke, M., et al. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 488–502. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07881-6_33

    Chapter  Google Scholar 

  9. Gruber, T.: Ontology. In: Encyclopedia of Database Systems, 2nd edn. (2018). https://doi.org/10.1007/978-1-4614-8265-9_1318

    Chapter  Google Scholar 

  10. Hacid, K., Aït-Ameur, Y.: Annotation of engineering models by references to domain ontologies. In: 6th International Conference, MEDI 2016, Almería, Spain, 21–23 September 2016, Proceedings, pp. 234–244 (2016). https://doi.org/10.1007/978-3-319-45547-1_19

    Chapter  Google Scholar 

  11. Hacid, K., Aït-Ameur, Y.: Strengthening MDE and formal design models by references to domain ontologies. A model annotation based approach. In: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, 10–14 October 2016, Proceedings, Part I, pp. 340–357 (2016). https://doi.org/10.1007/978-3-319-47166-2_24

    Chapter  Google Scholar 

  12. Knight, J., Xiang, J., Sullivan, K.: A rigorous definition of cyber-physical systems. In: Trustworthy Cyber-Physical Systems Engineering, p. 47 (2016)

    Google Scholar 

  13. Mammar, A., Laleau, R.: On the use of domain and system knowledge modeling in goal-based event-B specifications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 325–339. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47166-2_23

    Chapter  Google Scholar 

  14. Mohand-Oussaïd, L., Aït-Sadoune, I.: Formal modelling of domain constraints in Event-B. In: 7th International Conference, MEDI 2017, Barcelona, Spain, 4–6 October 2017, Proceedings, pp. 153–166 (2017). https://doi.org/10.1007/978-3-319-66854-3_12

    Chapter  Google Scholar 

  15. Pierra, G.: Context-explication in conceptual ontologies: the PLIB approach. In: Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), Madeira, Portugal, 26–30 July 2003, pp. 243–253 (2003)

    Google Scholar 

  16. Pierra, G., Sardet, E.: Proposal for an XML representation of the PLIB ontology model: OntoML. Technical report, LIAS Laboratory (2007)

    Google Scholar 

  17. Sengupta, K., Hitzler, P.: Web ontology language (OWL). In: Alhajj, R., Rokne, J. (eds.) Encyclopedia of Social Network Analysis and Mining, pp. 2374–2378. Springer, New York (2014). https://doi.org/10.1007/978-1-4614-6170-8_113

    Chapter  Google Scholar 

  18. Vasilecas, O., Kalibatiene, D., Guizzardi, G.: Towards a formal method for the transformation of ontology axioms to application domain rules. Information Technology and Control 38(4) (2015)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LRI - CentraleSupelec - Paris-Saclay University, Plateau de Saclay, France

    Idir Ait-Sadoune & Linda Mohand-Oussaid

Authors
  1. Idir Ait-Sadoune
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Linda Mohand-Oussaid
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Idir Ait-Sadoune .

Editor information

Editors and Affiliations

  1. UIUC Institute, Zhejiang University, Zhejiang, China

    Klaus-Dieter Schewe

  2. INPT-ENSEEIHT/IRIT, Toulouse, France

    Neeraj Kumar Singh

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ait-Sadoune, I., Mohand-Oussaid, L. (2019). Building Formal Semantic Domain Model: An Event-B Based Approach. In: Schewe, KD., Singh, N. (eds) Model and Data Engineering. MEDI 2019. Lecture Notes in Computer Science(), vol 11815. Springer, Cham. https://doi.org/10.1007/978-3-030-32065-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-32065-2_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-32064-5

  • Online ISBN: 978-3-030-32065-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation