Difference between revisions of "MDT/BPMN2/Validation"

From Eclipsepedia

< MDT‎ | BPMN2
Jump to: navigation, search
(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...)
 
(List of constraints: use template for constraints)
 
(One intermediate revision by one user not shown)
Line 4: Line 4:
  
 
== List of constraints ==
 
== List of constraints ==
=== Chapter 10 ===
+
Template [[Template:BPMN2/Constraint|BPMN2/Constraint]]:
* Chapter 10.4.2, page 238:
+
<pre>
** "no Sequence Flow can connect to a Start Event"
+
{{BPMN2/Constraint
** @StartEvent: noSequenceFlowToStartEvent = self.incoming->isEmpty()
+
| 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()
 +
}}

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.

[edit] List of constraints

Template BPMN2/Constraint:

{{BPMN2/Constraint
| type=
| chapter=
| page=
| text=
| name=
| ocl=
}}

[edit] 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

[edit] 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()