|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ChoreographyTransitionRule | |
---|---|
org.deri.wsmo4j.choreography.rule | |
org.wsmo.service.choreography.rule |
Uses of ChoreographyTransitionRule in org.deri.wsmo4j.choreography.rule |
---|
Classes in org.deri.wsmo4j.choreography.rule that implement ChoreographyTransitionRule | |
---|---|
class |
AbstractQuantifiedRuleRI
Provides common implementation methods for the quantified rules (Forall and Choose). |
class |
AbstractTransitionRuleRI
Implements common functionality for a Transition Rule. |
class |
ChooseRI
Reference Implementation for the Choose rule. |
class |
ForAllRI
Reference Implementation for the ForAll rule. |
class |
IfThenRI
Reference Implementation for the IfThen rule. |
Uses of ChoreographyTransitionRule in org.wsmo.service.choreography.rule |
---|
Subinterfaces of ChoreographyTransitionRule in org.wsmo.service.choreography.rule | |
---|---|
interface |
ChoreographyChoose
choose |
interface |
ChoreographyForAll
forall |
interface |
ChoreographyIfThen
"if Condition then Rules" is the simplest form of transition Rule. |
interface |
ChoreographyQuantifiedRule
A quantified rule is a sub-class of Transition Rule such did it defines quantified variables. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |