Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "MDT/BPMN2/Validation"
(Added constraint on Item Definitions) |
(→List of constraints: use template for constraints) |
||
| Line 4: | Line 4: | ||
== List of constraints == | == List of constraints == | ||
| + | Template [[Template:BPMN2/Constraint|BPMN2/Constraint]]: | ||
| + | <pre> | ||
| + | {{BPMN2/Constraint | ||
| + | | type= | ||
| + | | chapter= | ||
| + | | page= | ||
| + | | text= | ||
| + | | name= | ||
| + | | ocl= | ||
| + | }} | ||
| + | </pre> | ||
=== Chapter 8 - BPMN Core Structure === | === 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'' | ** ''May be hard to formalize, because StructureRef can be of various types written in any language'' | ||
=== Chapter 10 - Process === | === 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() | ||
| + | }} | ||
Latest revision as of 11:43, 27 March 2012
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:
{{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()