Joint Language and Domain Engineering

  • Tobias Walter
  • Fernando Silva Parreiras
  • Steffen Staab
  • Jürgen Ebert
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6138)

Abstract

In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, but do not consider the second dimension which is concerned with domain engineering. In this paper, we join the concerns of language engineering and domain engineering towards a new comprehensive approach of domain-specific development. It allows domain designers to build domain models containing both, types and instances, and it allows language designers for defining language metamodels. Furthermore, based on the integrated description logics the environment provides services for productive modeling in domain and language engineering.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kelly, S., Tolvanen, J.P.: Domain-specific modeling: enabling full code generation. Wiley-IEEE Computer Society Pr. (2008)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Atkinson, C., Kühne, T.: Model-driven development: A Metamodeling Foundation. IEEE Software 20(5), 36–41 (2003)CrossRefGoogle Scholar
  4. 4.
    Mernik, M., Sloane, A.: When and how to develop domain-specific languages, vol. 37, pp. 316–344. ACM, New York (2005)Google Scholar
  5. 5.
    OMG: Meta Object Facility (MOF) Core Specification (January 2006), http://www.omg.org/spec/MOF/2.0/
  6. 6.
    Weiss, D., Lai, C.: Software product-line engineering. Addison-Wesley, Reading (1999)Google Scholar
  7. 7.
    Tairas, R., Mernik, M., Gray, J.: Using ontologies in the domain analysis of domain-specific languages. In: Models in Software Engineering. LNCS, vol. 5421, pp. 332–342. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML Class Diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The description logic handbook. Cambridge University Press, New York (2007)MATHGoogle Scholar
  10. 10.
    Guizzardi, G., Pires, L., Van Sinderen, M.: On the role of domain ontologies in the design of domain-specific visual modeling languages. In: Proceedings of the 2nd Workshop on Domain-Specific Visual Languages, 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2002 (2002)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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/
  13. 13.
    OMG: Object Constraint Language Specification, version 2.0. Object Management Group (June 2005)Google Scholar
  14. 14.
    Mernik, M., Sloane, A.: When and how to develop domain-specific languages. ACM Computing Surveys (CSUR) 37(4), 316–344 (2005)CrossRefGoogle Scholar
  15. 15.
    Happel, H.J., Seedorf, S.: Applications of ontologies in software engineering. In: Workshop on Sematic Web Enabled Software Engineering, SWESE 2006, pp. 5–9 (2006)Google Scholar
  16. 16.
    de Almeida Falbo, R., Guizzardi, G., Duarte, K.: An ontological approach to domain engineering. In: International Conference on Software Engineering and Knowledge Engineering, SEKE 2002. International Conference Proceedings, vol. 27, pp. 351–358. ACM Press, New York (2002)CrossRefGoogle Scholar
  17. 17.
    Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501–514. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. 18.
    Parsia, B., Sirin, E.: Pellet: An OWL DL Reasoner. In: International Workshop on Description Logics, DL 2004. CEUR Workshop Proceedings, vol. 104 (2004)Google Scholar
  19. 19.
    Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: International Conference on World Wide Web, WWW 2005, pp. 633–640. ACM, New York (2005)CrossRefGoogle Scholar
  20. 20.
    Laarman, A., Kurtev, I.: Ontological Metamodeling with Explicit Instantiation. In: Conference on Software Languages Engineering, SLE 2009. LNCS, Springer, Heidelberg (2009)Google Scholar
  21. 21.
    Gitzel, R., Ott, I., Schader, M.: Ontological Extension to the MOF Metamodel as a Basis for Code Generation, vol. 50, pp. 93–115. Oxford University Press, Oxford (2007)Google Scholar
  22. 22.
    Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment, pp. 1–21. Springer, Heidelberg (1996)Google Scholar
  23. 23.
    Kurtev, I., Bézivin, J., Jouault, F., Valduriez, P.: Model-Based DSL Frameworks. In: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pp. 22–26. ACM, New York (2006)Google Scholar
  24. 24.
    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, p. 436. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  25. 25.
    Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The missing link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 90–105. Springer, Heidelberg (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Tobias Walter
    • 1
    • 2
  • Fernando Silva Parreiras
    • 1
  • Steffen Staab
    • 1
  • Jürgen Ebert
    • 2
  1. 1.Institute for Web Science and TechnologyUniversity of Koblenz-LandauKoblenzGermany
  2. 2.Institute for Software TechnologyUniversity of Koblenz-LandauKoblenzGermany

Personalised recommendations