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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
PlanetMDE: A Web Portal for The Model Driven Engineering Community (2010), http://planetmde.org
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)
Forum, D.: DSM Forum web page (2010), http://www.dsmforum.org/
Fleck, J.: Overview of the Structure of the NGOSS Architecture (2003)
Atkinson, C., Kühne, T.: Model-driven development: A metamodeling foundation. IEEE Software (September/October 2003)
Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Transactions on Software Engineering 99(RapidPosts), 742–755 (2009)
EMF: Eclipse Modelling Framework Web Page (2010) http://www.eclipse.org/emf
EMFText: EMFText Web Page (2010) http://www.emftext.org
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)
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)
Horridge, M., Patel-Schneider, P.F.: OWL 2 Web Ontology Language Manchester Syntax. Technical report (2009), http://www.w3.org/TR/owl2-manchester-syntax/
OMG: MOF QVT Final Adopted Specification (2005), http://www.omg.org/docs/ptc/05-11-01.pdf
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)
Yuan, R., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for tbox reasoning (2010)
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
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)