org.processmining.plugins.ltlchecker

Class ConceptModel

java.lang.Object

org.processmining.plugins.ltlchecker.ConceptModel

All Implemented Interfaces:

java.lang.Comparable<ConceptModel>

public class ConceptModel
extends java.lang.Object
implements java.lang.Comparable<ConceptModel>

Field Summary

Fields

Modifier and Type	Field and Description
static int	EVENTTYPE
static int	ORIGINATOR
static int	WORKFLOW_MODEL_ELEMENT

Method Summary

Modifier and Type	Method and Description
void	addInstance(DataSection dataAttributes, java.lang.String key)
void	addInstance(InfoItem item)
void	addInstance(java.lang.Process process)
void	addInstance(java.lang.String instanceName)
void	addInstance(org.deckfour.xes.model.XEvent ate, int elementType) Add ATE elements as instances to this concept and annotate the ATE with this concept.
void	addInstance(org.deckfour.xes.model.XTrace pi)
void	addSuperConcept(ConceptModel superConcept)
int	compareTo(ConceptModel other)
boolean	equals(java.lang.Object other)
java.util.Set<java.lang.String>	getInstances()
java.lang.String	getName()
OntologyModel	getOntology()
java.lang.String	getShortName()
int	hashCode()
static java.lang.String	sanitizeName(java.lang.String name)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

WORKFLOW_MODEL_ELEMENT

public static final int WORKFLOW_MODEL_ELEMENT

See Also:

Constant Field Values

EVENTTYPE

public static final int EVENTTYPE

See Also:

Constant Field Values

ORIGINATOR

public static final int ORIGINATOR

See Also:

Constant Field Values

Method Detail

getOntology

public OntologyModel getOntology()

getName

public java.lang.String getName()

getShortName

public java.lang.String getShortName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

getInstances

public java.util.Set<java.lang.String> getInstances()

compareTo

public int compareTo(ConceptModel other)

Specified by:

compareTo in interface java.lang.Comparable<ConceptModel>

addSuperConcept

public void addSuperConcept(ConceptModel superConcept)
                     throws org.wsmo.common.exception.InvalidModelException

Throws:

org.wsmo.common.exception.InvalidModelException

addInstance

public void addInstance(org.deckfour.xes.model.XEvent ate,
                        int elementType)
                 throws java.io.IOException,
                        org.wsmo.common.exception.InvalidModelException

Add ATE elements as instances to this concept and annotate the ATE with this concept.

Parameters:

pi - The process instance of the ATE to annotate

index - The index in the PI of the ATE to annotate

elementType - The element(s) to annotate: WORKFLOW_MODEL_ELEMENT, EVENTTYPE or ORIGINATOR.

Throws:

java.lang.IndexOutOfBoundsException

java.io.IOException

org.processmining.plugins.ltlchecker.models.ontology.InvalidModelException

org.wsmo.common.exception.InvalidModelException

addInstance

public void addInstance(org.deckfour.xes.model.XTrace pi)
                 throws org.wsmo.common.exception.InvalidModelException

Throws:

org.wsmo.common.exception.InvalidModelException

addInstance

public void addInstance(java.lang.Process process)
                 throws org.wsmo.common.exception.InvalidModelException

Throws:

org.wsmo.common.exception.InvalidModelException

addInstance

public void addInstance(InfoItem item)
                 throws org.wsmo.common.exception.InvalidModelException

Throws:

org.wsmo.common.exception.InvalidModelException

addInstance

public void addInstance(DataSection dataAttributes,
                        java.lang.String key)
                 throws org.wsmo.common.exception.InvalidModelException

Throws:

org.wsmo.common.exception.InvalidModelException

addInstance

public void addInstance(java.lang.String instanceName)

sanitizeName

public static java.lang.String sanitizeName(java.lang.String name)