Package | Description |
---|---|
org.processmining.ocbc.conformance.checkers | |
org.processmining.ocbc.models | |
org.processmining.ocbc.models.impl |
Modifier and Type | Method and Description |
---|---|
java.util.List<IntegerPair> |
EventNumberPerObjectChecking.createObjectDeviatingPeriodList(XOCObject object,
java.util.List<java.lang.Integer> checkingMomentList,
java.util.List<XOCEvent> relatedEventList,
Cardinality cardinality,
java.lang.String cardinalityType)
create the deviating period for an object based on the checking moment list, related event list and cardinality;
|
boolean |
EventNumberPerObjectChecking.isEventNumberCorrectAtLastMomentForObjectVersion(XOCObject object,
int objectVersionMoment,
java.util.List<java.lang.Integer> checkingMomentList,
java.util.List<XOCEvent> relatedEventList,
Cardinality activityEventuallyCardinality)
check if an object version (at one checking moment, i.e., the object version's birth moment)
has the required number of corresponding events at the last moment (corresponding to the last event in a log);
currently, we consider all event in relatedEventList are corresponding events (because all events are before or equal the last event);
|
boolean |
EventNumberPerObjectChecking.isEventNumberCorrectAtLatterMomentsForObjectVersion(XOCObject object,
int objectVersionMoment,
java.util.List<java.lang.Integer> checkingMomentList,
java.util.List<XOCEvent> relatedEventList,
Cardinality activityAlwaysCardinality)
check if an object version (at one checking moment, i.e., the object version's birth moment)
has the required number of corresponding events at each latter moment (after or equal to its birth moment);
|
Modifier and Type | Method and Description |
---|---|
Cardinality |
AOCEdge.getActivityAlwaysCardinality()
returns the activity cardinality of a AOC relation
* @return
|
Cardinality |
AOCEdge.getActivityEventuallyCardinality()
returns the activity cardinality of a AOC relation
* @return
|
Cardinality |
ActivityEdge.getAfterCardinality()
returns the after cardinality of a activity relation
|
Cardinality |
ActivityEdge.getBeforeCardinality()
returns the before cardinality of a activity relation
* @return
|
Cardinality |
AOCEdge.getClassCardinality()
returns the class cardinality of a AOC relation
|
Cardinality |
ClassEdge.getSourceAlwaysCardinality()
returns the cardinality of the source of a class relation
|
Cardinality |
ClassEdge.getSourceEventuallyCardinality()
returns the cardinality of the source of a class relation
|
Cardinality |
ClassEdge.getTargetAlwaysCardinality()
returns the cardinality of the target of a class relation
|
Cardinality |
ClassEdge.getTargetEventuallyCardinality()
returns the cardinality of the target of a class relation
|
Modifier and Type | Method and Description |
---|---|
void |
ActivityEdge.setAfterCardinality(Cardinality afterCardinality)
sets the after cardinality of a activity relation
|
void |
ActivityEdge.setBeforeCardinality(Cardinality beforeCardinality)
sets the before cardinality of a activity relation
* @return
|
void |
AOCEdge.setSourceAlwaysCardinality(Cardinality activityCardinality)
sets the activity cardinality of a AOC relation
* @return
|
void |
ClassEdge.setSourceAlwaysCardinality(Cardinality sourceCardinality)
set the cardinality of the source of a class relation
|
void |
AOCEdge.setSourceEventuallyCardinality(Cardinality activityCardinality)
sets the activity cardinality of a AOC relation
* @return
|
void |
ClassEdge.setSourceEventuallyCardinality(Cardinality sourceCardinality)
set the cardinality of the source of a class relation
|
void |
ClassEdge.setTargetAlwaysCardinality(Cardinality targetCardinality)
set the cardinality of the target of a class relation
|
void |
AOCEdge.setTargetCardinality(Cardinality classCardinality)
sets the class cardinality of a AOC relation
|
void |
ClassEdge.setTargetEventuallyCardinality(Cardinality targetCardinality)
set the cardinality of the target of a class relation
|
Modifier and Type | Method and Description |
---|---|
Cardinality |
AOCEdgeImpl.getActivityAlwaysCardinality() |
Cardinality |
AOCEdgeImpl.getActivityEventuallyCardinality() |
Cardinality |
ActivityEdgeImpl.getAfterCardinality() |
Cardinality |
ActivityEdgeImpl.getBeforeCardinality() |
Cardinality |
AOCEdgeImpl.getClassCardinality() |
Cardinality |
ClassEdgeImpl.getSourceAlwaysCardinality() |
Cardinality |
ClassEdgeImpl.getSourceEventuallyCardinality() |
Cardinality |
ClassEdgeImpl.getTargetAlwaysCardinality() |
Cardinality |
ClassEdgeImpl.getTargetEventuallyCardinality() |
Modifier and Type | Method and Description |
---|---|
void |
ActivityEdgeImpl.setAfterCardinality(Cardinality afterCardinality) |
void |
ActivityEdgeImpl.setBeforeCardinality(Cardinality beforeCardinality) |
void |
AOCEdgeImpl.setSourceAlwaysCardinality(Cardinality activityAlwaysCardinality) |
void |
ClassEdgeImpl.setSourceAlwaysCardinality(Cardinality sourceAlwaysCardinality) |
void |
AOCEdgeImpl.setSourceEventuallyCardinality(Cardinality activityEventuallyCardinality) |
void |
ClassEdgeImpl.setSourceEventuallyCardinality(Cardinality sourceEventuallyCardinality) |
void |
ClassEdgeImpl.setTargetAlwaysCardinality(Cardinality targetAlwaysCardinality) |
void |
AOCEdgeImpl.setTargetCardinality(Cardinality classCardinality) |
void |
ClassEdgeImpl.setTargetEventuallyCardinality(Cardinality targetEventuallyCardinality) |
Constructor and Description |
---|
ActivityEdgeImpl(java.lang.String name,
ActivityNode referenceNode,
ActivityNode targetNode,
java.lang.String cardinalityType,
java.util.List<CrelRTEdge> relatedCrelRTRelations,
java.util.List<CrelOCEdge> relatedCrelOCRelations,
Cardinality beforeCardinality,
Cardinality afterCardinality) |
AOCEdgeImpl(java.lang.String name,
ActivityNode activityNode,
ClassNode classNode,
Cardinality activityAlwaysCardinality,
Cardinality activityEventuallyCardinality,
Cardinality classCardinality) |
ClassEdgeImpl(ClassNode relatedSourceNode,
ClassNode relatedTargetNode,
Cardinality sourceAlwaysCardinality,
Cardinality sourceEventuallyCardinality,
Cardinality targetAlwaysCardinality,
Cardinality targetEventuallyCardinality) |
ClassEdgeImpl(java.lang.String name,
ClassNode relatedSourceNode,
ClassNode relatedTargetNode,
Cardinality sourceAlwaysCardinality,
Cardinality sourceEventuallyCardinality,
Cardinality targetAlwaysCardinality,
Cardinality targetEventuallyCardinality,
java.util.List<CrelRTEdge> relatedCrelRTRelations) |