Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs.OCL@MoDELS89-1042015provenance information for RDF data of dblp record 'conf/models/DieumegardPBC15'2015-11-20T14:27:53+0100