Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Leveraging Applications of Formal Methods

ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications pp 747–751Cite as

Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach

  • Conference paper
  • First Online:

  • 2198 Accesses

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

This is a preview of subscription content, 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

Learn about institutional subscriptions

References

  1. Hacid, K., Aït Ameur, Y.: Strengthening MDE and formal design models by references to domain ontologies, a model annotation based approach. In: ISOLA (2016, to appear)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  4. Handschuh, S., Volz, R., Staab, S.: Annotation for the deep web. IS (2003)

    Google Scholar 

  5. 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). doi:10.1007/978-3-540-30075-5_46

    Chapter  Google Scholar 

  6. Boudjlida, N., Panetto, H.: Annotation of enterprise models for interoperability purposes. In: Advanced Information Systems for Enterprises (2008)

    Google Scholar 

  7. Wang, Y., Li, H.: Adding semantic annotation to UML class diagram. In: Computer Application and System Modeling (ICCASM) (2010)

    Google Scholar 

  8. Lin, Y., Strasunskas, D.: Ontology-based semantic annotation of process templates for reuse. In: CAiSE (2005)

    Google Scholar 

  9. 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). doi:10.1007/11767138_29

    Chapter  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  12. 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). doi:10.1007/978-3-662-45231-8_50

    Google Scholar 

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

  14. 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). doi:10.1007/978-3-319-07881-6_33

    Google Scholar 

  15. Jackson, D.: Software Abstractions - Logic, Language, and Analysis (2006)

    Google Scholar 

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

    Google Scholar 

  17. 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, Heidelberg (2016). doi:10.1007/978-3-319-45547-1_19

    Chapter  Google Scholar 

  18. RACER Ontology Reasoner. https://www.w3.org/2001/sw/wiki/RacerPro

Download references

Author information

Authors and Affiliations

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

    Kahina Hacid

Authors
  1. Kahina Hacid
    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. (2016). Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_56

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47169-3_56

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47168-6

  • Online ISBN: 978-3-319-47169-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation