Skip to main content

Combining Ontologies with Domain Specific Languages: A Case Study from Network Configuration Software

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6325))

Abstract

One of the important aspects of Model-Driven Engineering (MDE) is to consider application-domain variability, which leads to creation of Domain Specific Languages (DSL). As with DSLs models are concise, easy to understand and maintain, this approach greatly increases the productivity and software quality. Usually, the DSLs in MDE are described with a metamodel and a concrete syntax definition. The models expressed in the DSL are linguistic instantiations of the language concepts found in the metamodel.

However, for some of the application domains it’s not enough to consider the linguistic dimension of the instantiation. The problem arises when the domain itself contains the aspect of typing. This leads to another view on instantiation, called ontological instantiation . Since both aspects are present simultaneously, we refer to the combined approach with the term “two-dimensional metamodelling”.

In the following, we will exemplify the problem with a case study based on a real challenge found in the domain of network management. The solution we propose benefits from ontology technology which is applied to enforce the semantics of ontological instantiation. Our approach presents significant differences comparing to the existing 2D metamodelling solution, although the motivations are similar. Thus, we consider our work as a case study of applying ontology enabled software engineering in the area of DSL engineering, rather than a new metamodelling technology or an application of existing 2D metamodelling architecture.

The article is a result of joint work of the MOST project partners, applied within the case study provided by Comarch.

This research has been co-funded by the European Commission and by the Swiss Federal Office for Education and Science within the 7th Framework Programme project MOST number 216691.

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

Buying options

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. PlanetMDE: A Web Portal for The Model Driven Engineering Community (2010), http://planetmde.org

  2. Wende, C., Bartho Andreas Ebert, J., Jekjantuk, N., Gerd, G., Lemke, J., Miska, K., Rahmani, T., Sabina, P., Schwarz, H., Walter, T., Zhao, Y., Zivkovic, S.: D2.5 - ontology services for model-driven software development. MOST Project Deliverable (November 2009)

    Google Scholar 

  3. Forum, D.: DSM Forum web page (2010), http://www.dsmforum.org/

  4. Fleck, J.: Overview of the Structure of the NGOSS Architecture (2003)

    Google Scholar 

  5. Atkinson, C., Kühne, T.: Model-driven development: A metamodeling foundation. IEEE Software (September/October 2003)

    Google Scholar 

  6. Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Transactions on Software Engineering 99(RapidPosts), 742–755 (2009)

    Article  Google Scholar 

  7. EMF: Eclipse Modelling Framework Web Page (2010) http://www.eclipse.org/emf

  8. EMFText: EMFText Web Page (2010) http://www.emftext.org

  9. Parreiras, F.S., Staab, S., Winter, A.: On marrying ontological and metamodeling technical spaces. In: ESEC-FSE ’07: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 439–448. ACM, New York (2007)

    Google Scholar 

  10. Silva Parreiras, F., Staab, S., Winter, A.: TwoUse: Integrating UML Models and OWL Ontologies. Technical Report 16/2007, Universität Koblenz-Landau, Fachbereich Informatik (2007)

    Google Scholar 

  11. Horridge, M., Patel-Schneider, P.F.: OWL 2 Web Ontology Language Manchester Syntax. Technical report (2009), http://www.w3.org/TR/owl2-manchester-syntax/

  12. OMG: MOF QVT Final Adopted Specification (2005), http://www.omg.org/docs/ptc/05-11-01.pdf

  13. Damásio, C.V., Analyti, A., Antoniou, G., Wagner, G.: Supporting Open and Closed World Reasoning on the Web. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 149–163. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. Yuan, R., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for tbox reasoning (2010)

    Google Scholar 

  15. Haase, P., Qi, G.: An analysis of approaches to resolving inconsistencies in dl-based ontologies (2007), http://kmi.open.ac.uk/events/iwod/papers/paper-13.pdf

  16. Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: A Metamodeling Extension of OWL DL. In: Proc. of the First International OWL Experience and Directions Workshop, OWLED 2005 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Miksa, K., Sabina, P., Kasztelnik, M. (2010). Combining Ontologies with Domain Specific Languages: A Case Study from Network Configuration Software. In: Aßmann, U., Bartho, A., Wende, C. (eds) Reasoning Web. Semantic Technologies for Software Engineering. Reasoning Web 2010. Lecture Notes in Computer Science, vol 6325. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15543-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15543-7_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15542-0

  • Online ISBN: 978-3-642-15543-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics