| 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.
|
| AttachedEventsCheck |
Checks, that attached events have no incomming sequence flow
|
| CombinedEnforceabilityCheck |
Provides a full enforceability-check for BPMN-Choreography diagrams.
|
| EnforceabilityPlugin |
A workbench plugin for checking the Enforceability of a BPMN 2.0 Choreography
diagram.
|
| EnforceabilityProblem |
Data-structure for carrying a problem, that was detected during
Enforceability-Check.
|
| 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.
|
| SubProcessCheck |
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
|
| EnforceabilityPlugin.ErrorLevel |
states, wich level of enforceability is achieved by the choreography.
|
| EnforceabilityProblem.ProblemType |
Describes the type of problem
|