org.wsmo.factory
Interface ChoreographyFactory.TransitionRules

Enclosing class:

ChoreographyFactory

public static interface ChoreographyFactory.TransitionRules

Method Summary

ChoreographyChoose	createChoose(Set<org.omwg.ontology.Variable> variables, Condition condition, ChoreographyRule rule)
ChoreographyChoose	createChoose(Set<org.omwg.ontology.Variable> variables, Condition condition, Set<ChoreographyRule> rules)
ChoreographyChoose	createChoose(org.omwg.ontology.Variable variable, Condition condition, ChoreographyRule rule)
ChoreographyChoose	createChoose(org.omwg.ontology.Variable variable, Condition condition, Set<ChoreographyRule> rules)
Condition	createConditionFromLogicalExpression(org.omwg.logicalexpression.LogicalExpression e)
ChoreographyForAll	createForAll(Set<org.omwg.ontology.Variable> variables, Condition condition, ChoreographyRule rule)
ChoreographyForAll	createForAll(Set<org.omwg.ontology.Variable> variables, Condition condition, Set<ChoreographyRule> rules)
ChoreographyForAll	createForAll(org.omwg.ontology.Variable variable, Condition condition, ChoreographyRule rule)
ChoreographyForAll	createForAll(org.omwg.ontology.Variable variable, Condition condition, Set<ChoreographyRule> rules)
ChoreographyIfThen	createIfThen(Condition expression, ChoreographyRule rule)
ChoreographyIfThen	createIfThen(Condition expression, Set<ChoreographyRule> rules)

Method Detail

createConditionFromLogicalExpression

Condition createConditionFromLogicalExpression(org.omwg.logicalexpression.LogicalExpression e)
                                               throws org.wsmo.common.exception.InvalidModelException

Throws:

org.wsmo.common.exception.InvalidModelException

createIfThen

ChoreographyIfThen createIfThen(Condition expression,
                                ChoreographyRule rule)

createIfThen

ChoreographyIfThen createIfThen(Condition expression,
                                Set<ChoreographyRule> rules)

createForAll

ChoreographyForAll createForAll(org.omwg.ontology.Variable variable,
                                Condition condition,
                                ChoreographyRule rule)

createForAll

ChoreographyForAll createForAll(Set<org.omwg.ontology.Variable> variables,
                                Condition condition,
                                ChoreographyRule rule)

createForAll

ChoreographyForAll createForAll(org.omwg.ontology.Variable variable,
                                Condition condition,
                                Set<ChoreographyRule> rules)

createForAll

ChoreographyForAll createForAll(Set<org.omwg.ontology.Variable> variables,
                                Condition condition,
                                Set<ChoreographyRule> rules)

createChoose

ChoreographyChoose createChoose(org.omwg.ontology.Variable variable,
                                Condition condition,
                                ChoreographyRule rule)

createChoose

ChoreographyChoose createChoose(Set<org.omwg.ontology.Variable> variables,
                                Condition condition,
                                ChoreographyRule rule)

createChoose

ChoreographyChoose createChoose(org.omwg.ontology.Variable variable,
                                Condition condition,
                                Set<ChoreographyRule> rules)

createChoose

ChoreographyChoose createChoose(Set<org.omwg.ontology.Variable> variables,
                                Condition condition,
                                Set<ChoreographyRule> rules)