Featherweight OCL

Featherweight OCL is a formalization of the core of OCL 2.3 aiming at formally investigation the relationship between the different notions of "undefinedness," i.e., invalid and null. As such, it does not attempt to define the complete OCL library. Instead, it concentrates on the core concepts of OCL as well as the types Boolean, Integer, and typed sets (Set{T}). Overall, Featherweight OCL follows the tradition of HOL-OCL.

Related Publications