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"
(New page: 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.or...) |
(Added constraint on Item Definitions) |
||
| Line 4: | Line 4: | ||
== List of constraints == | == List of constraints == | ||
| − | === Chapter 10 === | + | |
| − | * Chapter 10.4.2, page 238: | + | === Chapter 8 - BPMN Core Structure === |
| + | * Chapter 8.3.10 Item Definit, page 92 | ||
| + | ** "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." | ||
| + | ** ''May be hard to formalize, because StructureRef can be of various types written in any language'' | ||
| + | |||
| + | === Chapter 10 - Process === | ||
| + | * Chapter 10.4.2 Start Event, page 238: | ||
** "no Sequence Flow can connect to a Start Event" | ** "no Sequence Flow can connect to a Start Event" | ||
** @StartEvent: noSequenceFlowToStartEvent = self.incoming->isEmpty() | ** @StartEvent: noSequenceFlowToStartEvent = self.incoming->isEmpty() | ||
Revision as of 16:13, 26 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
Chapter 8 - BPMN Core Structure
- Chapter 8.3.10 Item Definit, page 92
- "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."
- May be hard to formalize, because StructureRef can be of various types written in any language
Chapter 10 - Process
- Chapter 10.4.2 Start Event, page 238:
- "no Sequence Flow can connect to a Start Event"
- @StartEvent: noSequenceFlowToStartEvent = self.incoming->isEmpty()