Chapter 12
Semantics of Software Modeling
Fernando Silva Parreiras,
Steffen Staab, Jürgen Ebert, Jeff Z. Pan, Krzysztof Miksa, Harald Kühn, Srdjan Zivkovic, Stefano Tinella, Uwe Assmann, Jakob Henriksson,
Fernando Silva Parreiras
University of Koblenz-Landau, Koblenz, Germany
Search for more papers by this authorJakob Henriksson
University of Koblenz-Landau, Koblenz, Germany
Search for more papers by this authorFernando Silva Parreiras,
Steffen Staab, Jürgen Ebert, Jeff Z. Pan, Krzysztof Miksa, Harald Kühn, Srdjan Zivkovic, Stefano Tinella, Uwe Assmann, Jakob Henriksson,
Fernando Silva Parreiras
University of Koblenz-Landau, Koblenz, Germany
Search for more papers by this authorJakob Henriksson
University of Koblenz-Landau, Koblenz, Germany
Search for more papers by this authorBook Editor(s):Phillip C.-Y. Sheu,
Heather Yu,
C. V. Ramamoorthy,
Arvind K. Joshi,
Lotfi A. Zadeh,
Phillip C.-Y. Sheu
University of California, Irvine, California, USA
Search for more papers by this authorHeather Yu
Search for more papers by this authorC. V. Ramamoorthy
Search for more papers by this authorArvind K. Joshi
Search for more papers by this authorLotfi A. Zadeh
Search for more papers by this authorSummary
This chapter presents basic similarities and differences between UML - based modeling and Web Ontology Language (OWL) and points to benefits of using OWL in model-driven software development (MDSD). Then, it focuses on applications of ontology technologies in MDSD, such as validation and verification of models. Next, a discussion about the integration of semantics of heterogeneous modeling techniques takes place. Finally, the chapter sketches a possible architecture for integrated approaches.
Controlled Vocabulary Terms
knowledge representation languages; software engineering; unified modeling language
REFERENCES
- F. Silva Parreiras, S. Staab, and A. Winter, On marrying ontological and metamodeling technical spaces, in I. Crnkovic and A. Bertolino (Eds.): Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik, Croatia, September 2007. ACM Press, 2007.
- OMG, Documents associated with Ontology Definition Metamodel (ODM) Version 1.0, Object Management Group, May 2009, Needham, MA, 2008.
- L. Apostel, Towards the formal study of models in a non-formal science, Synthese, 12 (2): 125–161, 1996.
- S. Brinkkemper, Method engineering: Engineering of information systems developement methods and tools, Inform. Software Technol., 38 (4): 275–280, 1996.
- OMG, Unified Modeling Language: Superstructure, Version 2.1.1, Object Management Group, Needham, MA, February 2007.
- OMG, MetaObject Facility (MOF) Specification Version 1.4, Object Management Group, Needham, MA, April 2002.
- C. Atkinson and T. Kühne, Model-driven development: A metamodeling foundation, IEEE Software, 5 : 36–41, 2003.
- S. Staab, R. Studer, H.-P. Schnurr, and Y. Sure, Knowledge processes and ontologies, IEEE Intell. Syst., 16 (1): 26–34, 2001.
- F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, (Eds.), The Description Logic Handbook, Cambridge University Press, Cambridge, MA, 2003.
-
J. Angele and G. Lausen, Ontologies in F-logic, in S. Staab and R. Studer (Eds.), Handbook on Ontologies, Springer-Verlag, Berlin, 2004, pp. 29–50.
10.1007/978-3-540-24750-0_2 Google Scholar
- P. F. Patel-Schneider, P. Hayes, and I. Horrocks, OWL Web Ontology Language semantics and abstract syntax, Technical Report W3C, W3C Recommendation, available: http://www.w3.org/TR/2004/REC-owl-semantics-20040210/, February 2004.
-
J. W. Lloyd, Foundations of Logic Programming, 2nd extended ed., Springer, New York, 1987.
10.1007/978-3-642-83189-8 Google Scholar
- B. Motik and R. Rosati, A faithful integration of description logics with logic programming, in M. M. Veloso (Ed.): IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 2007, 477–482.
- D. Berardi, D. Calvanese, and G. De Giacomo, Reasoning on UML class diagrams, Artificial Intell., 168 (1–2): 70–118, 2005.
- D. Calvanese, G. De Giacomo, and M. Lenzerini, Identification constraints and functional dependencies in description logics, in B. Nebel (Ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, August, Morgan Kaufmann, San Francisco, 2001, pp. 155–160.
-
D. Calvanese, G. De Giacomo, and M. Lenzerini, On the decidability of query containment under constraints, in Proceedings of the Seventeenth ACM SIGACT - SIGMOD-SIGART Symposium on Principles of Database Systems, Seattle, June 1998, ACM Press, New York, 149–158.
10.1145/275487.275504 Google Scholar
- D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, and G. Vetere, DL-Lite: Practical Reasoning for Rich DLs, in V. Haarslev and R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June, CEUR Workshop Proceedings 104, CEUR-WS. org, 2004.
-
J. Farrugia, Model-theoretic semantics for the Web, in Proceedings of the Twelfth International World Wide Web Conference, WWW2003, Budapest, Hungary, 2003, ACM, New York, pp. 29–38.
10.1145/775152.775158 Google Scholar
- E. Sirin, B. Parsia, B. Cuenca Grau, A. Kalyanpura, and Y. Katz, Pellet: A practical OWL-DL reasoner, J. Web Semantics, 5 (2): 51–53, 2007.
- F. Silva Parreiras, S. Staab, and A. Winter, TwoUse: Integrating UML models and OWL ontologies, Universität Koblenz-Landau, Fachbereich Informatik, Arbeitsberichte aus dem Fachbereich Informatik, 2007.
- K. Czarnecki and U. Eisenecker, Generative Programming: Methods, Tools, and Applications, Addison-Wesley, Reading, MA, 2000.
-
U. Assmann, S. Zschaler, and G. Wagner, Ontologies, meta-models, and the model - driven paradigm, in C. Calero, F. Ruiz, and M. Piattini (Eds.), Ontologies for Software Engineering and Technology, Springer-Verlag, Berlin, 2006, pp. 249– 273.
10.1007/3-540-34518-3_9 Google Scholar
- C. Atkinson, M. Gutheil, and K. Kiko, On the relationship of ontologies and models, in WoMM, Vol. 96 of LNI, S. Brockmans, J. Jung, and Y. Sure (Eds.), GI, 2006, pp. 47–60.
- E. Seidewitz, What models mean, IEEE Software, 20 : 26–32, 2003.
- OMG, MDA Guide, available: http://www.omg.org/mda, June 2003.
-
J.-M. Favre and T. Nguyen, Towards a megamodel to model software evolution through transformations, Electr. Notes Theor. Comput. Sci, 127 (3): 59–74, 2005.
10.1016/j.entcs.2004.08.034 Google Scholar
-
U. Assmann, Invasive Software Composition, Springer-Verlag, Berlin, 2003.
10.1007/978-3-662-05082-8 Google Scholar
- R. Prieto-Díaz and P. Freeman, Classifying software for reuse, IEEE Software, 4 (1): 6–16, 1987.
- P. Lambrix and H. Tan, A tool for evaluating ontology alignment strategies, J. Data Semantics, 8 : 182–202, 2007.
- P. Mitra and G. Wiederhold, An ontology-composition algebra, in S. Staab and R. Studer (Eds.), Handbook on Ontologies, Springer-Verlag, Berlin, 2004, pp. 93– 116.
- U. Assmann, J. Johannes, J. Henriksson, and I. Savga, Composition of rule sets and ontologies, in Reasoning Web, Second International Summer School 2006, Vol. 4126 in LNCS, F. Bry (Ed.), Springer-Verlag, Berlin, 2006, pp. 68–92.
- H. Kühn and M. Murzek, Interoperability issues in metamodelling platforms, in Proceedings of the 1st International Conference on Interoperability of Enterprise Software and Applications (I-ESA'05), Geneva, Switzerland, D. Konstantas, J.-P. Bourrières, M. Léonard, and N. Boudjlida (Eds.), Springer-Verlag, Berlin, 2005, pp. 215–226.
- T. R. Gruber, Toward principles for the design of ontologies used for knowledge sharing, in N. Guarino and R. Poli (Eds.), Proceedings of the International Workshop of Formal Ontology, Padova, Italy, August 1993.
- D. Karagiannis and H. Kühn, Metamodelling Platforms, in Proceedings of the Third International Conference EC-Web 2002 — Dexa 2002, Aix-en-Provence, France, K. Bauknecht, A. Min. Tjoa, and G. Quirchmayer (Eds.), Vol. 2455 in LNCS, Springer-Verlag, Berlin, 2002.
