1

All Flow Objects (Events, Activities and Gateways) MUST HAVE a (semantically) connection towards a pool (or towards a Lane that is a sub-part of a pool) (it must be possible for an export writer to determine the pool of all objects)

If an object is not placed inside a pool (has a belongs to connection towards a pool or a lane that is part of a pool) it may only be place inside a model which has a superior pool object. (the object inherits the pool through the ARIS assignment))

 

2

if a process has one or more start events then there MUST NOT be other Activities inside the process that have no incoming sequence flows

(this may be a complex check which may need some clarification) à postpone

3

Pools which have the Attribute Adhoc set to True must have a maintained CompletionCondition Attribute

 

4

Each lane must have a parent pool

The parent pool of the lane can be either specified by the target of a belongs to connection (towards a pool) or by a superior pool object (a pool object is placed inside a superior model, the current model is assigned behind this pool object)