Skip to main content
SpringerLink
Log in
Book cover

Reasoning Web International Summer School

Reasoning Web 2010: Reasoning Web. Semantic Technologies for Software Engineering pp 62–98Cite as

Model Driven Engineering with Ontology Technologies

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6325))

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 artifact to be developed, yet, most often these software models have limited formal semantics, or the underlying (often graphical) software language varies from case to case in a way that makes it hard if not impossible to fix its semantics. In this contribution, we survey the use of ontology technologies for software modeling in order to carry over advantages from ontology technologies to the software modeling domain. It will turn out 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 work has been funded by the European Commission within the 7th Framework Programme project MOST no. ICT-2008-216691, http://most-project.eu .

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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Mellor, S., Clark, A., Futagami, T.: Model-driven development. IEEE software 20(5), 14–18 (2003)

    Article  Google Scholar 

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

    Article  Google Scholar 

  3. Motik, B., Patel-Schneider, P.F., Horrocks, I.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax (October 2009), http://www.w3.org/TR/owl2-syntax/

  4. Ebert, J.: Metamodels Taken Seriously: The TGraph Approach. In: Kontogiannis, K., Tjortjis, C., Winter, A. (eds.) 12th European Conference on Software Maintenance and Reengineering, Piscataway, NJ. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  5. Bildhauer, D., Riediger, V., Schwarz, H., Strauss, S.: grUML-An UMLbased Modeling Language for TGraphs. To appear in Arbeitsberichte Informatik, Universität Koblenz-Landau (2008)

    Google Scholar 

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

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

    Google Scholar 

  8. Budinsky, F., Brodsky, S., Merks, E.: Eclipse modeling framework. Pearson Education, London (2003)

    Google Scholar 

  9. Jouault, F., Bezivin, J.: KM3: a DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  10. Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. OMG: MOF QVT Final Adopted Specification. Object Modeling Group (June 2005)

    Google Scholar 

  12. Kalnins, A., Barzdins, J., Celms, E.: Model transformation language MOLA. Model Driven Architecture, 62–76

    Google Scholar 

  13. Wagner, R.: Developing Model Transformations with Fujaba. In: Proc. of the 4th International Fujaba Days, pp. 206–275 (2006)

    Google Scholar 

  14. Wende, C.: Ontology Services for Model-Driven Software Development. MOST Project Deliverable (November 2009), http://www.most-project.eu

  15. Motik, B., Patel-Schneider, P.F., Grau, B.C.: OWL 2 Web Ontology Language Direct Semantics (October 2009), http://www.w3.org/TR/owl2-direct-semantics

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

  17. Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF (working draft). Technical report, W3C (March 2007)

    Google Scholar 

  18. Schneider, M.: SPARQLAS: Writing SPARQL Queries in OWL Syntax. Bachelor thesis, University of Koblenz-Landau, German (2010)

    Google Scholar 

  19. Glimm, B., Parsia, B.: SPARQL 1.1 Entailment Regimes. Working draft, W3C (January 26, 2010), http://www.w3.org/TR/sparql11-entailment/

  20. Knublauch, H., Fergerson, R., Noy, N., Musen, M.: The Protégé OWL plugin: An open development environment for semantic web applications. LNCS, pp. 229–243. Springer, Heidelberg (2004)

    Google Scholar 

  21. Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 3(4), 268–293 (2005)

    Article  Google Scholar 

  22. Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 267–280. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  24. Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.: The Manchester OWL Syntax. In: OWLED 2006 Second Workshop on OWL Experiences and Directions, Athens, GA, USA (2006)

    Google Scholar 

  25. Kalyanpur, A.: Debugging and Repair of OWL Ontologies. PhD thesis, University of Maryland, College Park (2006)

    Google Scholar 

  26. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing Unsatisfiable Concepts in OWL Ontologies. The Semantic Web: Research and Applications, 170–184

    Google Scholar 

  27. Euzenat, J., Shvaiko, P.: Ontology matching. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  28. Walter, T., Ebert, J.: Combining DSLs and Ontologies using Metamodel Integration. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol. 5658, pp. 148–169. Springer, Heidelberg (2009)

    Google Scholar 

  29. Parreiras, F.S., Walter, T.: Report on the combined metamodel. Deliverable ICT216691/UoKL/WP1-D1.1/D/PU/a1, University of Koblenz-Landau, MOST Project (2008)

    Google Scholar 

  30. 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, pp. 240–245. Knowledge Systems Institute Graduate School (2009)

    Google Scholar 

  31. OMG: Ontology Definition Metamodel. Object Modeling Group (September 2008)

    Google Scholar 

  32. 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: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol. 4594, pp. 267–276. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  33. Staab, S., Scherp, A., Arndt, R., Troncy, R., Gregorzek, M., Saathoff, C., Schenk, S., Hardman, L.: Semantic multimedia. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) RW 2008. LNCS, vol. 5224, pp. 125–170. Springer, Heidelberg (2008)

    Google Scholar 

  34. Staab, S., Franz, T., Görlitz, O., Saathoff, C., Schenk, S., Sizov, S.: Lifecycle Knowledge Management: Getting the Semantics Across in X-Media. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 1–10. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  35. Silva Parreiras, F., Staab, S.: Using ontologies with uml class-based modeling: The twouse approach. Data Knowl. Eng. (to be published)

    Google Scholar 

  36. Walter, T., Silva Parreiras, F., Staab, S.: OntoDSL: An Ontology-Based Framework for Domain-Specific Languages. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 408–422. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  37. Walter, T., Silva Parreiras, F., Staab, S., Ebert, J.: Joint language and domain engineering. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 321–336. Springer, Heidelberg (2010)

    Google Scholar 

  38. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, Reading (1995)

    MATH  Google Scholar 

  39. Silva Parreiras, F., Staab, S., Schenk, S., Winter, A.: Model driven specification of ontology translations. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 484–497. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  40. Walter, T., Ebert, J.: Combining ontology-enriched domain-specific languages. In: Proceedings of the of the Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE) at MoDELS (2009)

    Google Scholar 

  41. Miksa, K., Kasztelnik, M., Sabina, P., Walter, T.: Towards semantic modelling of network physical devices. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 329–343. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  42. Groener, G., Staab, S.: Modeling and Query Pattern for Process Retrieval in OWL. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 243–259. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  43. Ren, Y., Groener, G., Lemcke, J., Rahmani, T., Friesen, A., Zhao, Y., Pan, J.Z., Staab, S.: Validating Process Refinement with Ontologies. In: International Workshop on Description Logics (2009)

    Google Scholar 

  44. Gangemi, A., Borgo, S., Catenacci, C., Lehmenn, J.: Task Taxonomies for Knowledge Content D07. In: Metokis Project public Deliverable, pp. 20–42 (2004)

    Google Scholar 

  45. Grimm, S., Motik, B., Preist, C.: Variance in e-Business Service Discovery. In: Proc. of the ISWC Workshop on Semantic Web Services (2004)

    Google Scholar 

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

    Google Scholar 

  47. Gasevic, D., Djuric, D., Devedzic, V.: Model Driven Architecture and Ontology Development. Springer, Heidelberg (2006)

    Google Scholar 

  48. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436–450. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  49. Jackson, D.: Software Abstractions: logic, language, and analysis. The MIT Press, Cambridge (2006)

    Google Scholar 

  50. Wang, H., Dong, J., Sun, J., Sun, J.: Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent and Grid Systems 2(4), 455–471 (2006)

    Article  MATH  Google Scholar 

  51. Sure, Y., Angele, J., Staab, S.: OntoEdit: Guiding ontology development by methodology and inferencing. LNCS, pp. 1205–1222. Springer, Heidelberg

    Google Scholar 

  52. Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Using Sophisticated Models in Resolution Theorem Proving. LNCS, pp. 90–105. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  53. Martin, D.: OWL-S: Semantic Markup for Web Services (2004), http://www.w3.org/Submission/OWL-S

  54. Grüninger, M., Menzel, C.: The Process Specification Language (PSL) Theory and Application. AI Magazine 24, 63–74 (2003)

    Google Scholar 

  55. Grüninger, M.: 29. In: Ontology of the Process Specification Language, pp. 575–592. Springer, Heidelberg (2009)

    Google Scholar 

  56. Koschmider, A., Oberweis, A.: Ontology Based Business Process Description. In: EMOI-INTEROP (2005)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Web Science and Technology, University of Koblenz-Landau, Universitätsstraße 1, Koblenz, 56070, Germany

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

Authors
  1. Steffen Staab
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tobias Walter
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gerd Gröner
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fernando Silva Parreiras
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fakultät Informatik, Institut für Software- und Multimediatechnik Lehrstuhl Softwaretechnologie, Technische Universität Dresden, 01062, Dresden, Germany

    Uwe Aßmann

  2. Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl Softwaretechnologie, Technische Universität Dresden, 01062, Dresden, Germany

    Andreas Bartho  & Christian Wende  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Staab, S., Walter, T., Gröner, G., Parreiras, F.S. (2010). Model Driven Engineering with Ontology Technologies. 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_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15543-7_3

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

Publish with us

Policies and ethics

Search

Navigation