Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL

@inproceedings{Brucker2012FeatherweightOA,
  title={Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL},
  author={Achim D. Brucker and Burkhart Wolff},
  booktitle={OCL and Textual Modelling},
  year={2012}
}
At its origins, OCL was conceived as a strict semantics for undefinedness, with the exception of the logical connectives of type Boolean that constitute a three-valued propositional logic. Recent versions of the OCL standard added a second exception element, which, similar to the null references in programming languages, is given a non-strict semantics. In… CONTINUE READING