OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL

Workshops 2012