Abstract
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focused on the unambiguous representation of domain models during the system analysis phase. However, the design and implementation phases can equally benefit from the logical foundations and reasoning facilities provided by the Ontology technological space. This applies in particular to Model-Driven Software Development (MDSD) which employs models as first class entities throughout the entire software development process. We are currently developing a tool suite called HybridMDSD that leverages Semantic Web technologies to integrate different domain-specific modeling languages based on their ontological foundations. To this end, we have defined a new upper ontology for software models that complements existing work in conceptual and business modeling. This paper describes the structure and axiomatization of our ontology and its underlying conceptualization. Further, we report on the experiences gained with validating the integrity and consistency of software models using a Semantic Web reasoning architecture. We illustrate practical solutions to the implementation challenges arising from the open-world assumption in OWL and lack of nonmonotonic queries in SWRL.
This work is supported by the feasiPLe project (partly financed by the German Ministry of Education and Research (BMBF)) and by Prof. Assman from Chair of Software Technology at Dresden University of Technology.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Amann, U., Zschaler, S., Wagner, G.: Ontologies, Meta-models, and the Model-Driven Paradigm. In: Ontologies, Meta-models, and the Model-Driven Paradigm, pp. 249–273 (2006)
Bauer, B., Roser, S.: Semantic-enabled Software Engineering and Development. In: INFORMATIK 2006 - Informatik für Menschen, Lecture Notes in Informatics (LNI), vol. P-94, pp. 293–296 (2006)
Brachman, R.J., McGuiness, D.L., Patel-Schneider, P.F., Resnick, L.A.: Living with CLASSIC: When and How to Use a KL-ONE-Like Language. In: Sowa, J.F. (ed.) Principles of Semantic Networks: Explorations in the representation of knowledge, pp. 401–456. Morgan Kaufmann, San Mateo (1991)
Bräuer, M., Lochmann, H.: Towards Semantic Integration of Multiple Domain-Specific Languages Using Ontological Foundations. In: Proceedings of 4th International Workshop on (Software) Language Engineering (ATEM 2007) co-located with MoDELS 2007, Nashville, Tennessee (October 2007)
Bruer, M.: Design of a Semantic Connector Model for Composition of Metamodels in the Context of Software Variability. Diplomarbeit, Technische Universität Dresden, Department of Computer Science (November 2007)
Clark, L., Parsia: Pellet: The Open Source OWL DL Reasoner (2007), http://pellet.owldl.com
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. Artificial Intelligence 100(1-2), 225–274 (1998)
Evermann, J., Wand, Y.: Ontology based object-oriented domain modelling: fundamental concepts. Requirements Engineering 10(2), 146–160 (2005)
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening Ontologies with DOLCE. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, Springer, Heidelberg (2002)
Grimm, S., Motik, B.: Closed World Reasoning in the Semantic Web through Epistemic Operators. In: OWL: Experiences and Directions (OWLED 2005), Calway, Ireland (November 2005)
Guizzardi, G., Herre, H., Wagner, G.: Towards Ontological Foundations for UML Conceptual Models. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 1100–1117. Springer, Heidelberg (2002)
Guizzardi, G., Wagner, G.: Applications of a Unified Foundational Ontology, ch. XIII. In: Some Applications of a Unified Foundational Ontology in Business Modeling, pp. 345–367. IDEA Publisher (2005)
Happel, H.-J., Seedorf, S.: Applications of Ontologies in Software Engineering. In: 2nd International Workshop on Semantic Web Enabled Software Engineering (SWESE 2006), held at the 5th International Semantic Web Conference (ISWC 2006), Athens, GA, USA (November 2006)
Hessellund, A., Czarnecki, K., Wasowski, A.: Guided Development with Multiple Domain-Specific Languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, Springer, Heidelberg (2007)
Horridge, M., Knublauch, H., Rector, A., Stevens, R., Wroe, C.: A Practical Guide To Building OWL Ontologies Using The Protégé-OWL Plugin and CO-ODE Tools Edition 1.0. The University Of Manchester (August 2004)
Jena – A Semantic Web Framework for Java. Version 2.5 (January 2007), http://jena.sourceforge.net
Kappel, G., Kramler, G., Kapsammer, E., Reiter, T., Retschitzegger, W., Schwinger, W.: ModelCVS - A Semantic Infrastructure for Model-based Tool Integration. Technical Report, Business Informatics Group, Wien Technical University (July 2005)
Katz, Y., Parsia, B.: Towards a Nonmonotonic Extension to OWL. In: OWL: Experiences and Directions (OWLED 2005), Calway, Ireland (November 2005)
Kühne, T.: Matters of (Meta-) Modeling. Software and Systems Modeling 5(4), 369–385 (2006)
Lochmann, H.: Towards Connecting Application Parts for Reduced Effort in Feature Implementations. In: Proceedings of 2nd IFIP Central and East European Conference on Software Engineering Techniques CEE-SET 2007 (WIP Track), Posen, Poland (October 2007)
Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, Springer, Heidelberg (2004)
Ng, G.: Open vs Closed world, Rules vs Queries: Use cases from Industry. In: OWL: Experiences and Directions (OWLED 2005), Calway, Ireland (November 2005)
Patel-Schneider, P.F., Horrocks, I.: OWL 1.1 Web Ontology Language Overview. World Wide Web Consortium (W3C), W3C Member Submission (December 2006), http://www.w3.org/Submission/owl11-overview/
Racer Systems GmbH & Co. KG. RacerPro User’s Guide Version 1.9 (December 2005)
Simmonds, J., Bastarrica, M.C.: A tool for automatic UML model consistency checking. In: Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering (ASE 2005), Long Beach, CA, USA, Demonstration Session: Formal tool demo presentations, pp. 431–432. ACM Press, New York (2005)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics (submitted for publication, 2007)
Stahl, T., Völter, M.: Model-Driven Software Development: Technology, Engineering, Management, 1st edn. Wiley & Sons, Chichester (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bräuer, M., Lochmann, H. (2008). An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds) The Semantic Web: Research and Applications. ESWC 2008. Lecture Notes in Computer Science, vol 5021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68234-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-68234-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68233-2
Online ISBN: 978-3-540-68234-9
eBook Packages: Computer ScienceComputer Science (R0)