Abstract
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant characteristics of a software artefact to be developed, yet, most often these software models have no formal semantics or the underlying (often graphical) software language varies between different use cases in a way that makes it hard if not impossible to even fix its semantics. In this contribution, we survey the use of ontology technologies for software models in order to carry advantages over to the software modeling domain. It will demonstrate that ontology-based metamodels constitute a core means for exploiting expressive ontology reasoning in the software modeling domain while remaining flexible enough to accommodate varying needs of software modelers.
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
References
Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: Lecture Notes in Computer Science, vol. 4735, p. 436 (2007)
Atkinson, C., Kuhne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)
Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, Boston (2003)
Ebert, J.: Metamodels taken seriously: the TGraph approach. In: Kontogiannis, K., Tjortjis, C., Winter, A. (eds.) 12th European Conference on Software Maintenance and Reengineering. IEEE Comput. Soc., Piscataway (2008). URL http://www.uni-koblenz.de/~ist/documents/Ebert2008MTS.pdf
Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007). 3-540-49611-4
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The Missing Link of MDA. Lecture Notes in Computer Science, pp. 90–105 (2002)
Goderis, A., Sattler, U., Goble, C.: Applying DLs to workflow reuse and repurposing. In: Description Logic Workshop (2005)
Gray, J., Fisher, K., Consel, C., Karsai, G., Mernik, M., Tolvanen, J.-P.: Panel—DSLs: the good, the bad, and the ugly. In: OOPSLA Companion ’08. ACM, New York (2008)
Gröner, G., Staab, S.: Modeling and query pattern for process retrieval in OWL. In: Proc. of the 8th International Semantic Web Conference (ISWC). Lecture Notes in Computer Science, vol. 5823, pp. 243–259. Springer, Berlin (2009)
Grüninger, M.: In: Staab, S., Studer, R. (eds.) Ontology of the Process Specification Language, pp. 575–592. Springer, Berlin (2009) (Chap. 29)
Grüninger, M., Menzel, C.: The process specification language (PSL) theory and application. AI Mag. 24, 63–74 (2003)
Iqbal, A., Ureche, O., Hausenblas, M., Tummarello, G.: LD2SD: linked data driven software development. In: Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE’2009), Boston, Massachusetts, USA, July 1–3, 2009, pp. 240–245. Knowledge Systems Institute Graduate School, Skokie (2009)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
Koschmider, A., Oberweis, A.: Ontology based business process description. In: EMOI-INTEROP (2005). URL http://www.ceur-ws.org/Vol-160/paper12.pdf
Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Softw. 20(5), 14–18 (2003)
Motik, B., Patel-Schneider, P.F., Horrocks, I.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. URL http://www.w3.org/TR/owl2-syntax/ (2009)
O’Connor, M.J., Shankar, R., Tu, S.W., Nyulas, C., Parrish, D., Musen, M.A., Das, A.K.: Using semantic web technologies for knowledge-driven querying of biomedical data. In: AIME, pp. 267–276 (2007)
OMG: Meta Object Facility (MOF) Core Specification. URL http://www.omg.org/docs/formal/06-01-01.pdf (2006)
OMG: UML Infrastructure Specification, v2.1.2. OMG Adopted Specification (2007)
OMG: Ontology Definition Metamodel. Object Modeling Group. URL http://fparreiras/specs/ODMptc06-10-11.pdf (2008)
OWL-S: Semantic Markup for Web Services. URL http://www.w3.org/Submission/OWL-S (2004)
Parreiras, F.S., Walter, T.: Report on the combined metamodel. Deliverable ICT216691/UoKL/WP1-D1.1/D/PU/a1, University of Koblenz-Landau, (2008). MOST Project
Parsia, B., Sirin, E.: Pellet: an OWL DL reasoner. In: Proc. of the 2004 International Workshop on Description Logics (DL2004). CEUR Workshop Proceedings, vol. 104, 2004
Silva Parreiras, F., Staab, S.: Using ontologies with UML class-based modeling: the TwoUse approach. Data Knowl. Eng. 69(11), 1194–1207 (2010)
Staab, S., Franz, T., Görlitz, O., Saathoff, C., Schenk, S., Sizov, S.: Lifecycle knowledge management: getting the semantics across in x-media. In: Foundations of Intelligent Systems, ISMIS 2006 Bari, Italy, September 2006. Lecture Notes in Computer Science, vol. 4203, pp. 1–10. Springer, Berlin (2006). URL http://www.uni-koblenz.de/~staab/Research/Publications/2006/ismis.pdf
Staab, S., Scherp, A., Arndt, R., Troncy, R., Gregorzek, M., Saathoff, C., Schenk, S., Hardman, L.: Semantic multimedia. In: Reasoning Web, 4th International Summer School, Venice, Italy. Lecture Notes in Computer Science, vol. 5224, pp. 125–170. Springer, Berlin (2008)
Sure, Y., Angele, J., Staab, S.: OntoEdit: guiding ontology development by methodology and inferencing. In: Lecture Notes in Computer Science, pp. 1205–1222
Walter, T., Ebert, J.: Combining DSLs and ontologies using metamodel integration. In: Domain-Specific Languages. Lecture Notes in Computer Science, vol. 5658, pp. 148–169. Springer, Berlin (2009)
Wang, H.H., Dong, J.S., Sun, J., Sun, J.: Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent Grid Syst. 2(4), 455–471 (2006)
Wende, C.: Ontology services for model-driven software development. MOST Project Deliverable. URL www.most-project.eu (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gröner, G., Parreiras, F.S., Staab, S., Walter, T. (2011). Software Modeling Using Ontology Technologies. In: Fensel, D. (eds) Foundations for the Web of Information and Services. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19797-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-19797-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19796-3
Online ISBN: 978-3-642-19797-0
eBook Packages: Computer ScienceComputer Science (R0)