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.