Package org.tweetyproject.logics.bpm.analysis

Class DeadEndMeasure

java.lang.Object

org.tweetyproject.logics.bpm.analysis.DeadEndMeasure

All Implemented Interfaces:

BpmnInconsistencyMeasure, InconsistencyMeasure<ReachabilityGraph>

public class DeadEndMeasure
extends Object
implements BpmnInconsistencyMeasure

The DeadEndMeasure

Author:

Benedikt Knopp

Field Summary

Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure

MEASURE_TOLERANCE

Constructor Summary

Constructors

Constructor	Description
DeadEndMeasure()	DeadEndInconsistencyMeasure

Method Summary

Modifier and Type	Method	Description
List<String>	getInfoStrings()	Return info strings
Double	getMarkingCulpability(Marking marking)	Retrieve for a particular (non-final) state its local culpability for the global inconsistency A high culpability means that this state features many tokens in non-final places and the state is entered with a high probability
Double	getPlaceCulpability(Place place)	Retrieve for a particular (non-final) place its local culpability for the global inconsistency A high culpability means that many tokens remain in that place with a high probability
Double	inconsistencyMeasure(ReachabilityGraph reachabilityGraph)	This method measures the inconsistency of the given belief base.
void	setTokenSensitivity(boolean tokenSensitive)	specify before determining the values whether the value should be token sensitive A token sensitive measure assigns higher inconsistency values if more tokens remain in non-final places

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DeadEndMeasure

public DeadEndMeasure()

DeadEndInconsistencyMeasure

Method Details

inconsistencyMeasure

public Double inconsistencyMeasure(ReachabilityGraph reachabilityGraph)

Description copied from interface: InconsistencyMeasure

This method measures the inconsistency of the given belief base.

Specified by:

inconsistencyMeasure in interface InconsistencyMeasure<ReachabilityGraph>

Parameters:

reachabilityGraph - a belief base.

Returns:

a Double indicating the degree of inconsistency.

getInfoStrings

public List<String> getInfoStrings()

Description copied from interface: BpmnInconsistencyMeasure

Return info strings

Specified by:

getInfoStrings in interface BpmnInconsistencyMeasure

Returns:

info strings

setTokenSensitivity

public void setTokenSensitivity(boolean tokenSensitive)

specify before determining the values whether the value should be token sensitive A token sensitive measure assigns higher inconsistency values if more tokens remain in non-final places

Parameters:

tokenSensitive - if token is sensitive

getPlaceCulpability

public Double getPlaceCulpability(Place place)

Retrieve for a particular (non-final) place its local culpability for the global inconsistency A high culpability means that many tokens remain in that place with a high probability

Parameters:

place - the place

Returns:

the place culpability

getMarkingCulpability

public Double getMarkingCulpability(Marking marking)

Retrieve for a particular (non-final) state its local culpability for the global inconsistency A high culpability means that this state features many tokens in non-final places and the state is entered with a high probability

Parameters:

marking - the state

Returns:

the state culpability