Abstract
When designing a hardware or a software system, the integration of domain constraints becomes a determining factor to ensure a great match with the system requirements. This domain knowledge is most often modelled using ontologies that allow to express the domain data properties. In this paper, we propose an approach to integrate domain ontologies into a system development process based on Event-B. It consists to annotate Event-B models using the ontology concepts, this assumes a formalization of the domain ontology in the Event-B method. Therefore, we propose an extensible generic transformation approach which develops an Event-B specification based on an ontology described in an ontological language. The integration of the Event-B description of a domain ontology allows to constrain the system under design with the domain ontology and to validate domain properties.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
OntoEventB update site: http://wdi.supelec.fr/OntoEventB-update-site/.
References
Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
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. Transfer 12(6), 447–466 (2010)
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). doi:10.1007/978-3-662-45231-8_50
Ait-Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100–127 (2016)
Alkhammash, E.H.: Derivation of Event-B models from owl ontologies. In: MATEC Web of Conferences, vol. 76, p. 04008. EDP Sciences (2016)
Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema, February 2004. http://www.w3.org/TR/rdf-schema
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., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 488–502. Springer, Cham (2014). doi:10.1007/978-3-319-07881-6_33
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). doi:10.1007/978-3-319-47166-2_24
IMPEX Consortium: formal models for ontologies, June 2016
Knight, J., Xiang, J., Sullivan, K.: A rigorous definition of cyber-physical systems. Trustworthy Cyber-Physical Systems Engineering, p. 47 (2016)
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). doi:10.1007/978-3-319-47166-2_23
Mohand Oussaïd, L., Ait-Sadoune, I.: OntoEventB: Un outil pour la modélisation des ontologies dans B Événementiel. In: AFADL 2017, pp. 117–121, Montpellier, France, June 2017
W3C Web OWL Working Group: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (27 October 2009), available at http://www.w3.org/TR/owl2-overview/
Pierra, G.: Context-explication in conceptual ontologies: the PLIB approach. In: Proceedings of the 10th ISPE International Conference on Concurrent Engineering (CE 2003), Enhanced Interoperable Systems, vol. 26 (2003)
Vasilecas, O., Kalibatiene, D., Guizzardi, G.: Towards a formal method for the transformation of ontology axioms to application domain rules. Inf. Technol. Control 38(4), 271–282 (2009). ISSN 1392-124X
Acknowledgments
This work is supported by the French ANR-IMPEX project.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Mohand-Oussaid, L., Ait-Sadoune, I. (2017). Formal Modelling of Domain Constraints in Event-B. In: Ouhammou, Y., Ivanovic, M., Abelló, A., Bellatreche, L. (eds) Model and Data Engineering. MEDI 2017. Lecture Notes in Computer Science(), vol 10563. Springer, Cham. https://doi.org/10.1007/978-3-319-66854-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-66854-3_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66853-6
Online ISBN: 978-3-319-66854-3
eBook Packages: Computer ScienceComputer Science (R0)