Skip to main content
SpringerLink
Log in
Book cover

Foundations for the Web of Information and Services pp 193–213Cite as

Software Modeling Using Ontology Technologies

  • Chapter

  • 768 Accesses

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    http://code.google.com/p/twouse/.

References

  1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: Lecture Notes in Computer Science, vol. 4735, p. 436 (2007)

    Google Scholar 

  2. Atkinson, C., Kuhne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)

    Article  Google Scholar 

  3. 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)

    MATH  Google Scholar 

  4. Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, Boston (2003)

    Google Scholar 

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

    Google Scholar 

  6. Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007). 3-540-49611-4

    MATH  Google Scholar 

  7. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Goderis, A., Sattler, U., Goble, C.: Applying DLs to workflow reuse and repurposing. In: Description Logic Workshop (2005)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. Grüninger, M.: In: Staab, S., Studer, R. (eds.) Ontology of the Process Specification Language, pp. 575–592. Springer, Berlin (2009) (Chap. 29)

    Google Scholar 

  13. Grüninger, M., Menzel, C.: The process specification language (PSL) theory and application. AI Mag. 24, 63–74 (2003)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)

    Google Scholar 

  16. Koschmider, A., Oberweis, A.: Ontology based business process description. In: EMOI-INTEROP (2005). URL http://www.ceur-ws.org/Vol-160/paper12.pdf

    Google Scholar 

  17. Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Softw. 20(5), 14–18 (2003)

    Article  Google Scholar 

  18. 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)

  19. 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)

    Google Scholar 

  20. OMG: Meta Object Facility (MOF) Core Specification. URL http://www.omg.org/docs/formal/06-01-01.pdf (2006)

  21. OMG: UML Infrastructure Specification, v2.1.2. OMG Adopted Specification (2007)

    Google Scholar 

  22. OMG: Ontology Definition Metamodel. Object Modeling Group. URL http://fparreiras/specs/ODMptc06-10-11.pdf (2008)

  23. OWL-S: Semantic Markup for Web Services. URL http://www.w3.org/Submission/OWL-S (2004)

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

    Google Scholar 

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

    Google Scholar 

  26. Silva Parreiras, F., Staab, S.: Using ontologies with UML class-based modeling: the TwoUse approach. Data Knowl. Eng. 69(11), 1194–1207 (2010)

    Article  Google Scholar 

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

    Chapter  Google Scholar 

  28. 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)

    Google Scholar 

  29. Sure, Y., Angele, J., Staab, S.: OntoEdit: guiding ontology development by methodology and inferencing. In: Lecture Notes in Computer Science, pp. 1205–1222

    Google Scholar 

  30. 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)

    Chapter  Google Scholar 

  31. 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)

    MATH  Google Scholar 

  32. Wende, C.: Ontology services for model-driven software development. MOST Project Deliverable. URL www.most-project.eu (2009)

Download references

Author information

Authors and Affiliations

  1. Institute for Web Science and Technologies, University of Koblenz-Landau, Universitätsstrasse 1, Koblenz, 56070, Germany

    Gerd Gröner, Fernando Silva Parreiras, Steffen Staab & Tobias Walter

Authors
  1. Gerd Gröner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fernando Silva Parreiras
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Steffen Staab
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tobias Walter
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gerd Gröner .

Editor information

Editors and Affiliations

  1. STI Innsbruck, ICT - Technologiepark, University of Innsbruck, Technikerstr. 21a, Innsbruck, 6020, Austria

    Dieter Fensel

Rights and permissions

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

Publish with us

Policies and ethics

Search

Navigation