LCL - A Graphical Meta-Language for Specification of Language Constraints

Terje Gjøsæter

2015

Abstract

The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.

References

  1. Birgit Demuth and Claas Wilke (2009). Model and Object Verification by Using Dresden OCL. In Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, July 25- 31, Ufa, Russia, 2009, page 81. Ufa State Aviation Technical University, Ufa, Bashkortostan, Russia.
  2. Erdweg, Sebastian and van der Storm, Tijs and Völter, Markus and Boersma, Meinte and Bosman, Remi and Cook, William R and Gerritsen, Albert and Hulshout, Angelo and Kelly, Steven and Loh, Alex and others (2013). The state of the art in language workbenches. In Software Language Engineering, pages 197-217. Springer.
  3. Gjøsaeter, T. and Prinz, A. (2012). Languagelab 1.1 user manual. Technical report, University of Agder.
  4. ITU-T (1999). SDL - ITU-T Specification and Description Language (SDL-2000). ITU-T Recommendation Z.100.
  5. ITU-T (2007). Recommendation Z.100 Annex F: SDL Formal Semantics Definition. International Telecommunications Union (ITU), Geneva.
  6. Jaffar, J. and Maher, M. J. (1994). Constraint logic programming: a survey. The Journal of Logic Programming, 19-20, Supplement 1(0):503 - 581. Special Issue: Ten Years of Logic Programming.
  7. Kelly, S. and Tolvanen, J.-P. (2008). Domain-Specific Modeling. Wiley-Interscience.
  8. Mens, T., Van Der Straeten, R., and D'Hondt, M. (2006). Detecting and resolving model inconsistencies using transformation dependency analysis. In Model driven engineering languages and systems, pages 200-214. Springer.
  9. Nytun, J. P., Prinz, A., and Tveit, M. S. (2006). Automatic generation of modelling tools. In Rensink, A. and Warmer, J., editors, ECMDA-FA, volume 4066 of Lecture Notes in Computer Science, pages 268-283. Springer.
  10. OMG (2005). OCL 2.0 Specification. Object Management Group. ptc/2005-06-06.
  11. OMG (2007). UML Infrastructure Specification, V2.1.2. Object Management Group. ptc/06-10-06.
  12. Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2008). EMF: Eclipse Modeling Framework. Eclipse Series. Addison-Wesley Professional, second edition.
  13. Visser, E. (2014). Separation of concerns in language definition. In Proceedings of the Companion Publication of the 13th International Conference on Modularity, MODULARITY 7814, pages 1-2, New York, NY, USA. ACM.
  14. Willink, E. D. (2012). An extensible ocl virtual machine and code generator. In Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 7812, pages 13- 18, New York, NY, USA. ACM.
Download


Paper Citation


in Harvard Style

Gjøsæter T. (2015). LCL - A Graphical Meta-Language for Specification of Language Constraints . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 329-337. DOI: 10.5220/0005250603290337


in Bibtex Style

@conference{modelsward15,
author={Terje Gjøsæter},
title={LCL - A Graphical Meta-Language for Specification of Language Constraints},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={329-337},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005250603290337},
isbn={978-989-758-083-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - LCL - A Graphical Meta-Language for Specification of Language Constraints
SN - 978-989-758-083-3
AU - Gjøsæter T.
PY - 2015
SP - 329
EP - 337
DO - 10.5220/0005250603290337