Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: for the plan.

Jump to: navigation, search


< MDT‎ | BPMN2
Revision as of 11:43, 27 March 2012 by (Talk | contribs) (List of constraints: use template for constraints)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

List of constraints

Template BPMN2/Constraint:

| type=
| chapter=
| page=
| text=
| name=
| ocl=

Chapter 8 - BPMN Core Structure

  • ItemDefinition
    • Found: 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.
    • Constraint: -
    • May be hard to formalize, because StructureRef can be of various types written in any language

Chapter 10 - Process

  • StartEvent
    • Found: chapter 10.4.2, page 238
    • Text: no Sequence Flow can connect to a Start Event
    • Constraint: @StartEvent: noSequenceFlowToStartEvent = self.incoming->isEmpty()

Back to the top