View source for MDT/BPMN2/Validation

This wiki page is intended to track our discussion regarding validation of BPMN2 models.
It hosts a list of constraints compiled from the specification text.
* See: https://bugs.eclipse.org/bugs/show_bug.cgi?id=319254

== List of constraints ==
Template [[Template:BPMN2/Constraint|BPMN2/Constraint]]:
<pre>
{{BPMN2/Constraint
| type=
| chapter=
| page=
| text=
| name=
| ocl=
}}
</pre>

=== Chapter 8 - BPMN Core Structure ===
{{BPMN2/Constraint
| type=ItemDefinition
| chapter=8.3.10
| page=92
| text=In cases where the data structure represents a collection, the multiplicity can be projected into the attribute isCollection. If this attribute is set to “true,” but the actual type is not a collection type, the model is considered as invalid.
| name=
| ocl=
}}
** ''May be hard to formalize, because StructureRef can be of various types written in any language''

=== Chapter 10 - Process ===
{{BPMN2/Constraint
| type=StartEvent
| chapter=10.4.2
| page=238
| text=no Sequence Flow can connect to a Start Event
| name=noSequenceFlowToStartEvent
| ocl=self.incoming->isEmpty()
}}