Package org.bigraphs.framework.core.reactivesystem

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

java.lang.Object

org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem<B>

All Implemented Interfaces:

ReactiveSystem<B>

Direct Known Subclasses:

AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem, PureReactiveSystem

public abstract class AbstractSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>
extends Object
implements ReactiveSystem<B>

Abstract class of a "nice and simple" bigraphical reactive system (BRS).

For all available bigraph types the corresponding reactive system implementation extends this class for the implementation of their own specific nice and simple BRS.

The required composition instructions using the deconstructed match result (see BigraphMatch) to compute the new agent, are implemented by the subclasses. The methods buildGroundReaction and buildParametricReaction are made abstract here to make this clear.

Author:

Dominik Grzelak

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>	A bigraphical reactive system (BRS) bounded to a reaction graph.

Field Summary

Fields

Modifier and Type	Field	Description
protected B	initialAgent
protected com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>>	predicateMap
protected com.google.common.collect.BiMap<String,ReactionRule<B>>	reactionRules

Constructor Summary

Constructors

Constructor	Description
AbstractSimpleReactiveSystem()

Method Summary

Modifier and Type	Method	Description
void	addPredicate(ReactiveSystemPredicate<B> predicate)
boolean	addReactionRule(ReactionRule<B> reactionRule)
void	assertAgentIsGround(B agent)
void	assertAgentIsPrime(B agent)
void	assertNoIdleOuterName(ReactionRule<B> reactionRule)	Throws an InvalidReactionRuleException if an outer name of a given redex is idle (i.e., not connected to a point of the redex).
void	assertParametricRedexIsSimple(ReactionRule<B> reactionRule)	Checks if a parametric redex is simple.
abstract B	buildGroundReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
abstract B	buildParametricReaction(B agent, BigraphMatch<B> match, ReactionRule<B> rule)
protected void	copyAttributes(B sourceBigraph, B targetBigraph)
B	getAgent()
com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>>	getPredicateMap()
Set<ReactiveSystemPredicate<B>>	getPredicates()
Set<ReactionRule<B>>	getReactionRules()	Return the labels of the transition system which are called reaction rules for BRS.
com.google.common.collect.BiMap<String,ReactionRule<B>>	getReactionRulesMap()
AbstractEcoreSignature<?>	getSignature()
protected boolean	hasIdleOuterNames(B bigraph)
AbstractSimpleReactiveSystem<B>	setAgent(B initialAgent)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.bigraphs.framework.core.reactivesystem.ReactiveSystem

isSimple

Field Details

initialAgent

protected B extends Bigraph<? extends Signature<?>> initialAgent

reactionRules

protected com.google.common.collect.BiMap<String,ReactionRule<B extends Bigraph<? extends Signature<?>>>> reactionRules

predicateMap

protected com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>> predicateMap

Constructor Details

AbstractSimpleReactiveSystem

public AbstractSimpleReactiveSystem()

Method Details

buildGroundReaction

public abstract B buildGroundReaction(B agent,
 BigraphMatch<B> match,
 ReactionRule<B> rule)

Specified by:

buildGroundReaction in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

buildParametricReaction

public abstract B buildParametricReaction(B agent,
 BigraphMatch<B> match,
 ReactionRule<B> rule)

Specified by:

buildParametricReaction in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

assertParametricRedexIsSimple

public void assertParametricRedexIsSimple(ReactionRule<B> reactionRule)
                                   throws RedexIsNotSimpleException

Checks if a parametric redex is simple. A parametric redex is simple if:

• open: every link is open
• guarding: no site has a root as parent
• inner-injective: no two sites are siblings

(see Milner book Def. 8.12, pp. 95)

Note that the AbstractReactionRule class also checks if the redex is simple.

Parameters:

reactionRule - the reaction rule to be checked (redex is used)

Throws:

RedexIsNotSimpleException - if the redex is not simple

assertAgentIsGround

public void assertAgentIsGround(B agent)
                         throws AgentNotGroundException

Throws:

AgentNotGroundException

assertAgentIsPrime

public void assertAgentIsPrime(B agent)
                        throws AgentNotPrimeException

Throws:

AgentNotPrimeException

assertNoIdleOuterName

public void assertNoIdleOuterName(ReactionRule<B> reactionRule)
                           throws InvalidReactionRuleException

Throws an InvalidReactionRuleException if an outer name of a given redex is idle (i.e., not connected to a point of the redex).

Parameters:

reactionRule - reaction rule where the outer names of the redex are checked

Throws:

InvalidReactionRuleException - if outer name is idle.

hasIdleOuterNames

protected boolean hasIdleOuterNames(B bigraph)

copyAttributes

protected void copyAttributes(B sourceBigraph,
 B targetBigraph)

getReactionRules

public Set<ReactionRule<B>> getReactionRules()

Description copied from interface: ReactiveSystem

Return the labels of the transition system which are called reaction rules for BRS.

Specified by:

getReactionRules in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

Returns:

the labels of the transition system

getReactionRulesMap

public com.google.common.collect.BiMap<String,ReactionRule<B>> getReactionRulesMap()

Specified by:

getReactionRulesMap in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

getPredicateMap

public com.google.common.collect.BiMap<String,ReactiveSystemPredicate<B>> getPredicateMap()

Specified by:

getPredicateMap in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

getPredicates

public Set<ReactiveSystemPredicate<B>> getPredicates()

Specified by:

getPredicates in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

addPredicate

public void addPredicate(ReactiveSystemPredicate<B> predicate)

addReactionRule

public boolean addReactionRule(ReactionRule<B> reactionRule)
                        throws InvalidReactionRuleException

Throws:

InvalidReactionRuleException

getSignature

public AbstractEcoreSignature<?> getSignature()

Specified by:

getSignature in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

getAgent

public B getAgent()

Specified by:

getAgent in interface ReactiveSystem<B extends Bigraph<? extends Signature<?>>>

setAgent

public AbstractSimpleReactiveSystem<B> setAgent(B initialAgent)