| Class | Description |
|---|---|
| AbstractChoreographyCheck |
Abstract superclass for classes that check specific aspects or node-types
of choreographies for enforceability.
|
| AssociatedMessagesCheck |
Checks that at maximum one initial and one replying message is associated to
any ChoreographyActivity.
|
| ChoreographyValidator |
Provides a full enforceability-check for BPMN-Choreography diagrams.
|
| EventBasedGatewayCheck | |
| FlowCheck |
Checks the requirement, that the initiator of a task has to be a participant
of any preceding activity.
|
| ForbiddenNodesCheck |
Checks, that only nodes, that are allowed in ChoreographyDiagrams occur in
this BPMNModel.
|
| InclusiveGatewayCheck |
Checks, that all participants, who are affected by an InclusiveGateway, have
been participating in the choreography before.
|
| MultipleParticipantsCheck |
Checks, that the initial participant of a node is never an MI-participant.
|
| SubChoreographyCheck |
Checks, that the initiator of a ChoreographySubProcess is really the initiator
of every initial activity of this SubProcess, and that only those participants
take part in the SubProcess, who are mentioned in one of the participant bands,
and that only Empty StartEvents are used within the SubProcess.
|
| Enum | Description |
|---|---|
| AbstractChoreographyCheck.Direction |
enum, that is used in methods, that act generically for predecessor and
successors, to indicate the interesting direction
|