An OCL Semantics Specified with QVT

  • Slaviša Marković
  • Thomas Baar
Conference paper

DOI: 10.1007/11880240_46

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4199)
Cite this paper as:
Marković S., Baar T. (2006) An OCL Semantics Specified with QVT. In: Nierstrasz O., Whittle J., Harel D., Reggio G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg

Abstract

Metamodeling became in the last decade a widely accepted tool to describe the (abstract) syntax of modeling languages in a concise, but yet precise way. For the description of the language’s semantics, the situation is less satisfactory and formal semantics definitions are still seen as a challenge. In this paper, we propose an approach to specify the semantics of modeling languages in a graphical way. As an example, we describe the evaluation semantics of OCL by transformation rules written in the graphical formalism QVT. We believe that the graphical format of our OCL semantics has natural advantages with respect to understandability compared to existing formalizations of OCL’s semantics. Our semantics can also be seen as a reference implementation of an OCL evaluator, because the transformation rules can be executed by any QVT compliant transformation engine.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Slaviša Marković
    • 1
  • Thomas Baar
    • 1
  1. 1.School of Computer and Communication SciencesÉcole Polytechnique Fédérale de Lausanne (EPFL)LausanneSwitzerland

Personalised recommendations