An Operational Semantics for Extended OCL.

Kevin Lano

Browse the full MODELSWARD paper archive.