Skip to main content
SpringerLink
Log in

Semi-automated Generation of DSL Meta Models from Formal Domain Ontologies

  • Conference paper
  • First Online:
Model and Data Engineering

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9344))

Abstract

This paper addresses the problem of alignment of domain ontologies and meta-models of Domain Specific Languages (DSL) in order to facilitate the DSL development process by formal methods. The solution presented in this paper automatically generates design templates of a DSL meta-model that are consistent with a given domain ontology represented in OWL DL. Consistency of alignment is ensured by predefined mapping rules between constructs of ontology modelling language OWL DL and a modelling language used for representing DSL meta-models. The approach is implemented as an extension to the CoCoViLa system and the CoCoViLa modelling language is used for representing DSL meta-models. The evaluation of the provided method is carried out by developing the DSL for the IT risk analysis and management domain.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

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 EPUB and 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

Institutional subscriptions

Notes

  1. 1.

    http://cocovila.github.io/.

  2. 2.

    https://jena.apache.org/.

  3. 3.

    http://www.w3.org/TR/sparql11-query/.

  4. 4.

    http://www.w3.org/Submission/SWRL/.

References

  1. Aßmann, U., Zschaler, S.: Ontologies, meta-models, and the model-driven paradigm. In: Calero, C., Ruiz, F., Piattini, M. (eds.) Ontologies for Software Engineering and Software Technology, pp. 249–273. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  3. Buldas, A., Laud, P., Priisalu, J., Saarepera, M., Willemson, J.: Rational choice of security measures via multi-parameter attack trees. In: López, J. (ed.) CRITIS 2006. LNCS, vol. 4347, pp. 235–248. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Čeh, I., Črepinšek, M., Kosar, T., Mernik, M.: Ontology driven development of domain-specific languages. ComSIS 8(2), 317–342 (2011)

    Article  Google Scholar 

  5. Fonseca, J.M.S., Pereira, M.J.V., Henriques, P.R.: Converting ontologies into DSLs. In: Pereira, M.J.V., Leal, J.P., Simões, A. (eds.) 3rd Symposium on Languages, Applications and Technologies (SLATE’14), pp. 85–92. Dagstuhl Publishing, Germany (2014)

    Google Scholar 

  6. Gronback, R.: Eclipse Modeling Project: a Domain-Specific Language (DSL) Toolkit. Addison-Wesley Professional, Boston (2009)

    Google Scholar 

  7. Guizzardi, G.: Ontology-based evaluation and design of visual conceptual modelling languages. In: Reinhartz-Berger, I., Sturm, A., Clark, T., Bettin, J., Cohe, S. (eds.) Domain Engineering. Product Lines, Languages, and Conceptual Models, pp. 317–347. Springer, Heidelberg (2013)

    Google Scholar 

  8. Haav, H.-M.: A practical methodology for development of a network of e-government domain ontologies. In: Skersys, T., Butleris, R., Nemuraite, L., Suomi, R. (eds.) Building the e-World Ecosystem. IFIP AICT, vol. 353, pp. 1–13. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  9. Katasanov, A.: Ontology-driven software engineering: beyond model checking and transformations. Int. J. Semant. Comput. 06, 205–242 (2012)

    Article  Google Scholar 

  10. Kotkas, V., Ojamaa, A., Grigorenko, P., Maigre, R., Harf, M., Tyugu, E.: CoCoViLa as a multifunctional simulation platform. In: Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), pp. 198–205. ICST, Brussels (2011)

    Google Scholar 

  11. Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316–344 (2005)

    Article  Google Scholar 

  12. Mints, G., Tyugu, E.: Justification of the structural synthesis of programs. Sci. Comput. Program. 2(3), 215–240 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  13. Mints, G., Tyugu, E.: Propositional logic programming and the PRIZ system. J. Log. Program. 9(2&3), 179–193 (1990)

    Article  MathSciNet  Google Scholar 

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

  15. OMG. MDA Guide 1.0.1. http://www.omg.org/mda June 2003

  16. Roser, S., Bauer, B.: Automatic generation and evolution of model transformations using ontology engineering space. In: Spaccapietra, S., Pan, J.Z., Thiran, P., Halpin, T., Staab, S., Svatek, V., Shvaiko, P., Roddick, J. (eds.) Journal on Data Semantics XI. LNCS, vol. 5383, pp. 32–64. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Tairas, R., Mernik, M., Gray, J.: Using ontologies in the domain analysis of domain-specific languages. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 332–342. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  18. Vanden Bossche, M., Ross, P., MacLarty, I., Van Nuffelen, B., Pelov, N.: Ontology driven software engineering for real life applications. In: Proceedings of the 3rd International Workshop on Semantic Web Enabled Software Engineering, Innsbruck, Austria (2007)

    Google Scholar 

  19. Walter, T., Parreiras, F.S., Staab, S.: An ontology-based framework for domain-specific modeling. Softw. Syst. Model. 13, 83–108 (2014)

    Article  Google Scholar 

  20. Walter, T., Parreiras, F.S., 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)

    Chapter  Google Scholar 

Download references

Acknowledgements

This research was supported by Estonian Research Council institutional research grant no. IUT33-13, and by the ERDF through the ITC project MBJSDT and Estonian national CoE project EXCS.

Author information

Authors and Affiliations

  1. Institute of Cybernetics, Laboratory of Software Science, Tallinn University of Technology, Tallinn, Estonia

    Andres Ojamaa, Hele-Mai Haav & Jaan Penjam

Authors
  1. Andres Ojamaa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hele-Mai Haav
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jaan Penjam
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hele-Mai Haav .

Editor information

Editors and Affiliations

  1. National Engineering School for Mechanics and Aerotechnics, Poitiers, France

    Ladjel Bellatreche

  2. University of Thessaloniki, Thessaloniki, Greece

    Yannis Manolopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Ojamaa, A., Haav, HM., Penjam, J. (2015). Semi-automated Generation of DSL Meta Models from Formal Domain Ontologies. In: Bellatreche, L., Manolopoulos, Y. (eds) Model and Data Engineering. Lecture Notes in Computer Science(), vol 9344. Springer, Cham. https://doi.org/10.1007/978-3-319-23781-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23781-7_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23780-0

  • Online ISBN: 978-3-319-23781-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation