I am looking for (the) BPMN definition in terms of xmi and complete MOF files, also including OCL (constraints). Does this exist? I found only a couple of OCL-statements in the files.
In contrast to that, the Superstructure.xmi
of the UML (see www.omg.org/spec/UML) contains plenty OCL-statements.
The BMPN 2.0.2 (formal/2013-12-09) is based on XSD rather than UML technology so the best you can hope for is XPath. But it looks to be completely free of constraints to me.