Skip to Main content Skip to Navigation
Conference papers

Towards a K Semantics for OCL

Andrei Arusoaie 1 Dorel Lucanu 2 Vlad Rusu 3 
3 DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages
Université de Lille, Sciences et Technologies, Inria Lille - Nord Europe, CNRS - Centre National de la Recherche Scientifique
Abstract : We give a formal definition to a significant subset of the Object Constraint Language (OCL) in the K framework. The chosen subset includes the usual arithmetical, Boolean (including quantifiers), and string expressions; collection expressions (including iterators and navigation); and pre/post conditions for methods. Being executable, our definition provides us, for free, with an interpreter for the chosen subset of OCL. It can be used for free in K definitions of languages having OCL as a component We illustrate some of the advantages of K by comparing our semantical definition of OCL with the official semantics from the language's standard. We also report on a tool implementing our definition that users can try online.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Mister Dart Connect in order to contact the contributor
Submitted on : Tuesday, June 3, 2014 - 8:32:59 AM
Last modification on : Thursday, January 20, 2022 - 4:14:44 PM
Long-term archiving on: : Wednesday, September 3, 2014 - 10:58:33 AM


Files produced by the author(s)




Andrei Arusoaie, Dorel Lucanu, Vlad Rusu. Towards a K Semantics for OCL. 2nd International Workshop on the K Framework and its Applications (K 2011), Aug 2011, Sinaia, Romania. pp.81-96, ⟨10.1016/j.entcs.2014.05.004⟩. ⟨hal-00998923⟩



Record views


Files downloads