Skip to main content
SpringerLink
Log in

Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9952))

Included in the following conference series:

Abstract

Critical systems are running in heterogeneous domains. This heterogeneity is rarely considered explicitly when describing and validating processes. Handling explicitly such domain knowledge increases design models robustness due to the expression and validation of new properties mined from the domain models. This paper proposes a stepwise approach to enrich design models describing complex information systems with domain knowledge. We use ontologies to model such domain knowledge. Design models are annotated by references to domain ontologies. The resulting annotated models are checked. It becomes possible to verify domain-related properties and obtain strengthened models. The approach is deployed for two design model development approaches: a Model Driven Engineering (MDE) approach and a correct by construction formal modeling one based on refinement and proof using Event-B method. A case study illustrates both approaches (This work is partially supported by the French ANR-IMPEX project.).

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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://www.w3.org/2001/sw/wiki/OWL.

  2. 2.

    ATLAS Transformation Language: http://www.eclipse.org/atl/.

  3. 3.

    Kermeta: http://www.kermeta.org/.

  4. 4.

    Eclipse modeling framework: https://www.eclipse.org/modeling/emf/.

  5. 5.

    http://www.event-b.org/.

References

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

    Article  Google Scholar 

  2. Jean, S., Pierra, G., Aït Ameur, Y.: Domain ontologies: a database-oriented analysis. In: Filipe, J., Cordeiro, J., Pedrosa, V. (eds.) WEBIST 2006. LNBIP, pp. 238–254. Springer, Heidelberg (2006)

    Google Scholar 

  3. 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 10 (2004)

    Google Scholar 

  4. ISO: Industrial automation systems and integration - parts library - part42: description methodology: methodology for structuring parts families. ISO ISO13584-42, Geneva, Switzerland (1998)

    Google Scholar 

  5. ISO: Industrial automation systems and integration - parts library - part25: logical resource: logical model of supplier library with aggregate valuesand explicit content. ISO ISO13584-25, Geneva, Switzerland (2004)

    Google Scholar 

  6. Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema. W3C Recommendation, W3C, February 2004

    Google Scholar 

  7. Aït Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. (2015, to appear)

    Google Scholar 

  8. Silveira Mastella, L., Aït-Ameur, Y., Jean, S., Perrin, M., Rainaud, J.-F.: Semantic exploitation of engineering models: an application to oilfield models. In: Sexton, A.P. (ed.) BNCOD 26. LNCS, vol. 5588, pp. 203–207. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Belaid, N., Jean, S., Aït Ameur, Y., Rainaud, J.F.: An ontology and indexation based management of services and workflows application to geological modeling. IJEBM 9(4), 296–309 (2011)

    Google Scholar 

  10. Schmidt, D.C.: Model-driven engineering. IEEE Comput. Soc. 39(2), 25 (2006)

    Article  Google Scholar 

  11. OMG: OMG Unified Modeling Language (OMG UML), Superstructure, Version2.4.1 (2011)

    Google Scholar 

  12. OMG: Meta Object Facility (MOF) Core Specification Version 2.0 (2006)

    Google Scholar 

  13. OMG: OMG Object Constraint Language (OCL), Version 2.3.1, January 2012

    Google Scholar 

  14. OMG: Meta Object Facility (MOF) 2.0 Query/View/TransformationSpecification, Version 1.1, January 2011

    Google Scholar 

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

    Book  MATH  Google Scholar 

  16. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall PTR, Upper Saddle River (1977)

    MATH  Google Scholar 

  17. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-b. Fundam. Inf. 77(1–2), 1–28 (2007)

    MathSciNet  MATH  Google Scholar 

  18. Bontcheva, K., Tablan, V., Maynard, D., Cunningham, H.: Evolving gate to meet new challenges in language engineering. NLE 10(3–4), 349–373 (2004)

    Google Scholar 

  19. Cunningham, H., Maynard, D., Bontcheva, K.: Text Processing with Gate. Gateway Press, Murphys (2011)

    Google Scholar 

  20. Despres, S., Szulman, S.: Terminae method and integration process for legal ontology building. In: Ali, M., Dapoigny, R. (eds.) IEA/AIE 2006. LNCS (LNAI), vol. 4031, pp. 1014–1023. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Handschuh, S., Volz, R., Staab, S.: Annotation for the deep web. IEEE (5) (2003)

    Google Scholar 

  22. Bellatreche, L., Pierra, G., Xuan, D.N., Hondjack, D., Ameur, Y.A.: An a priori approach for automatic integration of heterogeneous and autonomous databases. In: Galindo, F., Takizawa, M., Traunmüller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 475–485. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. Boudjlida, N., Panetto, H.: Annotation of enterprise models for interoperability purposes. In: CAISE, April 2008

    Google Scholar 

  24. Wang, Y., Li, H.: Adding semantic annotation to UML class diagram. In: ICCASM (2010)

    Google Scholar 

  25. Lin, Y., Strasunskas, D.: Ontology-based semantic annotation of process templates for reuse. In: Proceedings of the CAiSE, vol. 5. Citeseer (2005)

    Google Scholar 

  26. Lin, Y., Strasunskas, D., Hakkarainen, S.E., Krogstie, J., Solvberg, A.: Semantic annotation framework to manage semantic heterogeneity of process models. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 433–446. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  27. Zouggar, N., Vallespir, B., Chen, D.: Semantic enrichment of enterprise models by ontologies-based semantic annotations. In: EDOC. IEEE (2008)

    Google Scholar 

  28. Liao, Y., Lezoche, M., Panetto, H., Boudjlida, N., Loures, E.R.: Formal semantic annotations for models interoperability in a PLM environment. arXiv (2014)

    Google Scholar 

  29. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576–580 (1969)

    Article  MATH  Google Scholar 

  30. Filliâtre, J.C., Paskevich, A.: Why3 – where programs meet provers. In: ESOP

    Google Scholar 

  31. Knight, J., Xiang, J., Sullivan, K.: A rigorous definition of cyber physical systems. In: Trustworthy Cyber Physical Systems Engineering (2016, to appear)

    Google Scholar 

  32. 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, Part II. LNCS, vol. 8803, pp. 604–618. Springer, Heidelberg (2014)

    Google Scholar 

  33. 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., Zielinski, B., Liu, R. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 89–102. Springer, Heidelberg (2015). doi:10.1007/978-3-319-23781-7_8

    Chapter  Google Scholar 

  34. 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, Heidelberg (2014)

    Google Scholar 

  35. IMPEX Consortium. Formal models for ontologies. Technical report (2015)

    Google Scholar 

  36. Mastella, L.S.: Semantic exploitation of engineering models: application to petroleum reservoir models. Ph.D. thesis, ENSMP (2010)

    Google Scholar 

  37. Aït Ameur, Y., Hacid, K.: Report ame corac-panda project. Technical report, Institut de Recherche en Informatique de Toulouse, Toulouse university (2015)

    Google Scholar 

  38. Hacid, K.: Explicit definition of prperties by model annotation. Technical report, Institut de Recherche en Informatique de Toulouse, Toulouse university (2014)

    Google Scholar 

  39. Chebieb, A., Aït Ameur, Y.: Formal verification of plastic user interfaces exploiting domain ontologies. In: TASE (2015)

    Google Scholar 

  40. Simon-Zayas, D.: A framework for the management of heterogeneous models in Systems Engineering. Theses, ISAE-ENSMA - Poitiers, June 2012

    Google Scholar 

  41. Zayas, D.S., Monceaux, A., Aït Ameur, Y.: Knowledge models to reduce the gap between heterogeneous models: application to aircraft systems engineering. In: ICECCS (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Toulouse, INP, IRIT Institut de Recherche en Informatique de Toulouse, Toulouse, France

    Kahina Hacid & Yamine Ait-Ameur

Authors
  1. Kahina Hacid
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yamine Ait-Ameur
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kahina Hacid .

Editor information

Editors and Affiliations

  1. Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Hacid, K., Ait-Ameur, Y. (2016). Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47166-2_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47165-5

  • Online ISBN: 978-3-319-47166-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation