Package org.bigraphs.framework.simulation.modelchecking

Class RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport<B>

org.bigraphs.framework.simulation.modelchecking.RandomAgentModelCheckingStrategy<B>

All Implemented Interfaces:

ModelCheckingStrategy<B>

public class RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>
extends ModelCheckingStrategySupport<B>

Random state-space traversal without cycle-checking and predicate evaluation.

Author:

Dominik Grzelak

Field Summary

Fields inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

modelChecker, occurrenceCounter

Constructor Summary

Constructors

Constructor	Description
RandomAgentModelCheckingStrategy(BigraphModelChecker<B> modelChecker)

Method Summary

Modifier and Type	Method	Description
void	synthesizeTransitionSystem()	Entry point of the model checking strategy to implement.

Methods inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

increaseOccurrenceCounter, resetOccurrenceCounter

Methods inherited from class java.lang.Object

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

Constructor Details

RandomAgentModelCheckingStrategy

public RandomAgentModelCheckingStrategy(BigraphModelChecker<B> modelChecker)

Method Details

synthesizeTransitionSystem

public void synthesizeTransitionSystem()

Description copied from interface: ModelCheckingStrategy

Entry point of the model checking strategy to implement.

The reaction graph (i.e., transition system) can be acquired and stored via the model checker object.