A B C D E F G H I J L M O P R S T U V

A

action_separator - Static variable in class contractAutomata.automaton.label.CMLabel

Agreement - Class in contractAutomata.requirements

The agreement predicate over MSCATransitions

Agreement() - Constructor for class contractAutomata.requirements.Agreement

apply(MSCA) - Method in class contractAutomata.operators.ChoreographySynthesisOperator

invokes the synthesis method for synthesising the choreography

apply(MSCA) - Method in class contractAutomata.operators.MpcSynthesisOperator

invokes the synthesis method for synthesising the mpc

apply(MSCA) - Method in class contractAutomata.operators.OrchestrationSynthesisOperator

invokes the synthesis method for synthesising the orchestration

apply(MSCA) - Method in class contractAutomata.operators.ProductOrchestrationSynthesisOperator

apply(MSCA) - Method in class contractAutomata.operators.RelabelingOperator

apply(MSCA) - Method in class contractAutomata.operators.SynthesisOperator

invokes the synthesis

apply(MSCA, Automaton<String, BasicState, Transition<String, BasicState, Label>>) - Method in class contractAutomata.operators.ModelCheckingFunction

apply(MSCA, Integer, Function<MSCATransition, Integer>) - Method in class contractAutomata.operators.ProjectionFunction

compute the projection on the i-th principal

apply(List<MSCA>) - Method in class contractAutomata.operators.UnionFunction

apply(List<MSCA>, Predicate<MSCATransition>, Integer) - Method in class contractAutomata.operators.CompositionFunction

This is the most important method of the tool, it computes the non-associative composition of contract automata.

apply(Set<Product>) - Method in class family.PartialProductGenerator

https://en.wikipedia.org/wiki/Quine%E2%80%93McCluskey_algorithm Given two products p1 p2 identical but for a feature f activated in one and deactivated in the other, a super product (a.k.a.

apply(T, U, V) - Method in interface contractAutomata.operators.TriFunction

Automaton<L,S extends State<L>,T extends Transition<L,S,? extends Label>> - Class in contractAutomata.automaton

Class representing an Automaton

Automaton(Set<T>) - Constructor for class contractAutomata.automaton.Automaton

B

BasicState - Class in contractAutomata.automaton.state

Class representing a BasicState

BasicState(String, boolean, boolean) - Constructor for class contractAutomata.automaton.state.BasicState

C

CALabel - Class in contractAutomata.automaton.label

Class implementing a label of a contract automaton transition.

CALabel(CALabel, Integer, Integer) - Constructor for class contractAutomata.automaton.label.CALabel

Construct a CALabel by shifting of some positions the index of principals moving in the label

CALabel(Integer, Integer, Integer, String) - Constructor for class contractAutomata.automaton.label.CALabel

Constructor used for match transitions

CALabel(Integer, Integer, Integer, String, String) - Constructor for class contractAutomata.automaton.label.CALabel

Constructor for a match transition

CALabel(Integer, Integer, String) - Constructor for class contractAutomata.automaton.label.CALabel

Constructor only used for requests or offer actions, i.e., only one principal is moving

CALabel(List<String>) - Constructor for class contractAutomata.automaton.label.CALabel

Constructor using a list of strings.

CAState - Class in contractAutomata.automaton.state

Class representing a state of a Contract Automaton

CAState(List<BasicState>, float, float) - Constructor for class contractAutomata.automaton.state.CAState

CAState(List<CAState>) - Constructor for class contractAutomata.automaton.state.CAState

Construct a new CAState from a list of CAStates by flattening them into a list of basic states

checkForbidden(Set<? extends MSCATransition>) - Method in class family.Product

checkRequired(Set<? extends MSCATransition>) - Method in class family.Product

ChoreographySynthesisOperator - Class in contractAutomata.operators

Class implementing the Choreography Synthesis

ChoreographySynthesisOperator(Predicate<MSCATransition>) - Constructor for class contractAutomata.operators.ChoreographySynthesisOperator

ChoreographySynthesisOperator(Predicate<MSCATransition>, Automaton<String, BasicState, Transition<String, BasicState, Label>>) - Constructor for class contractAutomata.operators.ChoreographySynthesisOperator

ChoreographySynthesisOperator(Predicate<MSCATransition>, Function<Stream<MSCATransition>, Optional<MSCATransition>>) - Constructor for class contractAutomata.operators.ChoreographySynthesisOperator

CMLabel - Class in contractAutomata.automaton.label

Class representing the label of a Communicating Machine

CMLabel(String) - Constructor for class contractAutomata.automaton.label.CMLabel

Construct a CMLabel enconded in a string lab

CMLabel(String, String, String) - Constructor for class contractAutomata.automaton.label.CMLabel

CompositionFunction - Class in contractAutomata.operators

Class implementing the composition

CompositionFunction() - Constructor for class contractAutomata.operators.CompositionFunction

contractAutomata.automaton - package contractAutomata.automaton

contractAutomata.automaton.label - package contractAutomata.automaton.label

contractAutomata.automaton.state - package contractAutomata.automaton.state

contractAutomata.automaton.transition - package contractAutomata.automaton.transition

contractAutomata.converters - package contractAutomata.converters

contractAutomata.operators - package contractAutomata.operators

contractAutomata.requirements - package contractAutomata.requirements

D

DataConverter - Class in contractAutomata.converters

Import/Export textual DATA format

DataConverter() - Constructor for class contractAutomata.converters.DataConverter

DimacFamilyConverter - Class in family.converters

Class for importing and exporting DIMAC models as families of products

DimacFamilyConverter(boolean) - Constructor for class family.converters.DimacFamilyConverter

E

equals(Object) - Method in class contractAutomata.automaton.label.CALabel

equals(Object) - Method in class contractAutomata.automaton.label.CMLabel

equals(Object) - Method in class contractAutomata.automaton.label.Label

equals(Object) - Method in class contractAutomata.automaton.transition.MSCATransition

equals(Object) - Method in class contractAutomata.automaton.transition.Transition

equals(Object) - Method in class family.Family

equals(Object) - Method in class family.Feature

equals(Object) - Method in class family.Product

exportFamily(String, Family) - Method in class family.converters.DimacFamilyConverter

exportFamily(String, Family) - Method in interface family.converters.FamilyConverter

exportFamily(String, Family) - Method in class family.converters.FeatureIDEfamilyConverter

exportFamily(String, Family) - Method in class family.converters.ProdFamilyConverter

exportMSCA(String, MSCA) - Method in class contractAutomata.converters.DataConverter

Export the textual description of the automaton in a .data file

exportMSCA(String, MSCA) - Method in class contractAutomata.converters.JsonConverter

exportMSCA(String, MSCA) - Method in interface contractAutomata.converters.MSCAConverter

exportMSCA(String, MSCA) - Method in class contractAutomata.converters.MxeConverter

Export the MSCA aut as a mxGraphModel (used by mxGraph) with XML extension (.mxe)

F

family - package family

Family - Class in family

Class representing a family of products.

Family(Set<Product>) - Constructor for class family.Family

Family(Set<Product>, BiPredicate<Product, Product>, BiFunction<Product, Product, Integer>) - Constructor for class family.Family

This constructor also instantiate the partial order

family.converters - package family.converters

FamilyConverter - Interface in family.converters

Interface for importing/exporting a family

Feature - Class in family

Class implementing a feature

Feature(String) - Constructor for class family.Feature

FeatureIDEfamilyConverter - Class in family.converters

Class implementing import/export of products generated by FeatureIDE in family

FeatureIDEfamilyConverter() - Constructor for class family.converters.FeatureIDEfamilyConverter

FMCA - Class in family

Class implementing a Featured Modal Contract Automata

FMCA(MSCA, Family) - Constructor for class family.FMCA

FMCA(MSCA, Set<Product>) - Constructor for class family.FMCA

this constructor instatiates the family of products starting by refining products to remove redundant products (that are already known to have empty orchestrations).

G

getAction() - Method in class contractAutomata.automaton.label.CALabel

getAction() - Method in class contractAutomata.automaton.label.Label

getAut() - Method in class family.FMCA

getBasicStates() - Method in class contractAutomata.automaton.MSCA

getCanonicalProducts() - Method in class family.FMCA

getCoAction() - Method in class contractAutomata.automaton.label.CALabel

getFamily() - Method in class family.FMCA

getForbidden() - Method in class family.Product

getForbiddenAndRequiredNumber() - Method in class family.Product

getForwardStar(State<?>) - Method in class contractAutomata.automaton.Automaton

getId() - Method in class contractAutomata.automaton.label.CMLabel

getInitial() - Method in class contractAutomata.automaton.Automaton

getInitial() - Method in class contractAutomata.automaton.MSCA

getLabel() - Method in class contractAutomata.automaton.transition.Transition

getLabelAsList() - Method in class contractAutomata.automaton.label.CALabel

getMaximalProducts() - Method in class family.Family

getMaximumDepth() - Method in class family.Family

getModality() - Method in class contractAutomata.automaton.transition.MSCATransition

getName() - Method in class family.Feature

getNumStates() - Method in class contractAutomata.automaton.Automaton

getOfferer() - Method in class contractAutomata.automaton.label.CALabel

getOffererOrRequester() - Method in class contractAutomata.automaton.label.CALabel

getOrchestrationOfFamily() - Method in class family.FMCA

getOrchestrationOfFamilyEnumerative() - Method in class family.FMCA

getPartner() - Method in class contractAutomata.automaton.label.CMLabel

getPo() - Method in class family.Family

getProducts() - Method in class family.Family

getRank() - Method in class contractAutomata.automaton.Automaton

getRank() - Method in class contractAutomata.automaton.label.CALabel

getRank() - Method in interface contractAutomata.automaton.Ranked

getRank() - Method in class contractAutomata.automaton.state.CAState

getRank() - Method in class contractAutomata.automaton.transition.Transition

getRequester() - Method in class contractAutomata.automaton.label.CALabel

getRequired() - Method in class family.Product

getSource() - Method in class contractAutomata.automaton.transition.Transition

getState() - Method in class contractAutomata.automaton.state.State

getStates() - Method in class contractAutomata.automaton.Automaton

getSubProductsofProduct(Product) - Method in class family.Family

getSuperProductsofProduct(Product) - Method in class family.Family

getTarget() - Method in class contractAutomata.automaton.transition.Transition

getTotalProductsWithNonemptyOrchestration() - Method in class family.FMCA

getTransition() - Method in class contractAutomata.automaton.Automaton

getUnsignedAction() - Method in class contractAutomata.automaton.label.CALabel

getUnsignedActions() - Method in class contractAutomata.automaton.MSCA

getX() - Method in class contractAutomata.automaton.state.CAState

getY() - Method in class contractAutomata.automaton.state.CAState

H

hashCode() - Method in class contractAutomata.automaton.label.CALabel

hashCode() - Method in class contractAutomata.automaton.label.CMLabel

hashCode() - Method in class contractAutomata.automaton.label.Label

hashCode() - Method in class contractAutomata.automaton.transition.MSCATransition

hashCode() - Method in class contractAutomata.automaton.transition.Transition

hashCode() - Method in class family.Family

hashCode() - Method in class family.Feature

hashCode() - Method in class family.Product

I

id_separator - Static variable in class contractAutomata.automaton.label.CMLabel

idle - Static variable in class contractAutomata.automaton.label.CALabel

importMSCA(String) - Method in class contractAutomata.converters.DataConverter

Import an MSCA described in a text file .data,

importMSCA(String) - Method in class contractAutomata.converters.JsonConverter

importMSCA(String) - Method in interface contractAutomata.converters.MSCAConverter

importMSCA(String) - Method in class contractAutomata.converters.MxeConverter

Import the mxGraphModel XML description (used by the mxGraph) into an MSCA object

importProducts(String) - Method in class family.converters.DimacFamilyConverter

importProducts(String) - Method in interface family.converters.FamilyConverter

importProducts(String) - Method in class family.converters.FeatureIDEfamilyConverter

loads the list of products generated through FeatureIDE

importProducts(String) - Method in class family.converters.ProdFamilyConverter

isFinalstate() - Method in class contractAutomata.automaton.state.BasicState

isFinalstate() - Method in class contractAutomata.automaton.state.CAState

isFinalstate() - Method in class contractAutomata.automaton.state.State

isForbidden(MSCATransition) - Method in class family.Product

isInitial() - Method in class contractAutomata.automaton.state.BasicState

isInitial() - Method in class contractAutomata.automaton.state.CAState

isInitial() - Method in class contractAutomata.automaton.state.State

isLazy() - Method in class contractAutomata.automaton.transition.MSCATransition

isMatch() - Method in class contractAutomata.automaton.label.CALabel

isNecessary() - Method in class contractAutomata.automaton.transition.MSCATransition

isOffer() - Method in class contractAutomata.automaton.label.CALabel

isPermitted() - Method in class contractAutomata.automaton.transition.MSCATransition

isRequest() - Method in class contractAutomata.automaton.label.CALabel

isUncontrollable(Set<? extends MSCATransition>, Set<CAState>, BiPredicate<MSCATransition, MSCATransition>) - Method in class contractAutomata.automaton.transition.MSCATransition

isUrgent() - Method in class contractAutomata.automaton.transition.MSCATransition

isValid(MSCA) - Method in class family.Product

J

JsonConverter - Class in contractAutomata.converters

Import JSon format (used by VoxLogica tool).

JsonConverter() - Constructor for class contractAutomata.converters.JsonConverter

L

Label - Class in contractAutomata.automaton.label

Class representing a Label of a transition

Label(String) - Constructor for class contractAutomata.automaton.label.Label

LAZY - contractAutomata.automaton.transition.MSCATransition.Modality

M

match(Label) - Method in class contractAutomata.automaton.label.CALabel

match(Label) - Method in class contractAutomata.automaton.label.CMLabel

match(Label) - Method in class contractAutomata.automaton.label.Label

match(T) - Method in interface contractAutomata.automaton.label.Matchable

Matchable<T> - Interface in contractAutomata.automaton.label

Interface of a matchable object

ModelCheckingFunction - Class in contractAutomata.operators

Class implementing the model checking function

ModelCheckingFunction() - Constructor for class contractAutomata.operators.ModelCheckingFunction

ModelCheckingFunction(Integer) - Constructor for class contractAutomata.operators.ModelCheckingFunction

MpcSynthesisOperator - Class in contractAutomata.operators

Class implementing the mpc operator

MpcSynthesisOperator(Predicate<MSCATransition>) - Constructor for class contractAutomata.operators.MpcSynthesisOperator

MpcSynthesisOperator(Predicate<MSCATransition>, Automaton<String, BasicState, Transition<String, BasicState, Label>>) - Constructor for class contractAutomata.operators.MpcSynthesisOperator

MSCA - Class in contractAutomata.automaton

Class representing a Modal Service Contract Automaton

MSCA(Set<MSCATransition>) - Constructor for class contractAutomata.automaton.MSCA

MSCAConverter - Interface in contractAutomata.converters

The interface used to import/export MSCA

MSCATransition - Class in contractAutomata.automaton.transition

Transition of a modal service contract automaton

MSCATransition(CAState, CALabel, CAState, MSCATransition.Modality) - Constructor for class contractAutomata.automaton.transition.MSCATransition

MSCATransition.Modality - Enum in contractAutomata.automaton.transition

the modality of the transition

MxeConverter - Class in contractAutomata.converters

Import/export in xml (mxe) format.

MxeConverter() - Constructor for class contractAutomata.converters.MxeConverter

O

offer - Static variable in class contractAutomata.automaton.label.CALabel

OrchestrationSynthesisOperator - Class in contractAutomata.operators

Class implementing the orchestration synthesis operator

OrchestrationSynthesisOperator(Predicate<MSCATransition>) - Constructor for class contractAutomata.operators.OrchestrationSynthesisOperator

OrchestrationSynthesisOperator(Predicate<MSCATransition>, Automaton<String, BasicState, Transition<String, BasicState, Label>>) - Constructor for class contractAutomata.operators.OrchestrationSynthesisOperator

P

PartialProductGenerator - Class in family

Class implementing the partial product generation operator

PartialProductGenerator() - Constructor for class family.PartialProductGenerator

PERMITTED - contractAutomata.automaton.transition.MSCATransition.Modality

ProdFamilyConverter - Class in family.converters

Class implementing import/export from the .prod textual format

ProdFamilyConverter() - Constructor for class family.converters.ProdFamilyConverter

Product - Class in family

A configuration/product of a product line/family, identified as set of required and forbidden features

Product(String[], String[]) - Constructor for class family.Product

Product(Set<Feature>, Set<Feature>) - Constructor for class family.Product

ProductOrchestrationSynthesisOperator - Class in contractAutomata.operators

Class implenenting the orchestration synthesis for a specific product

ProductOrchestrationSynthesisOperator(Predicate<MSCATransition>, Product) - Constructor for class contractAutomata.operators.ProductOrchestrationSynthesisOperator

productsRespectingValidity() - Method in class family.FMCA

respectingValidity see Theorem 3 of JSCP2020 (author Basile), this method exploits the partial order so it starts from maximal products

productsWithNonEmptyOrchestration() - Method in class family.FMCA

ProjectionFunction - Class in contractAutomata.operators

Class implementing the projection function

ProjectionFunction(Label) - Constructor for class contractAutomata.operators.ProjectionFunction

R

Ranked - Interface in contractAutomata.automaton

Interface of a ranked object

readCSV(String) - Static method in class contractAutomata.automaton.state.BasicState

RelabelingOperator - Class in contractAutomata.operators

Class implementing the relabeling operator

RelabelingOperator() - Constructor for class contractAutomata.operators.RelabelingOperator

RelabelingOperator(UnaryOperator<String>) - Constructor for class contractAutomata.operators.RelabelingOperator

removeFeatures(Set<Feature>) - Method in class family.Product

request - Static variable in class contractAutomata.automaton.label.CALabel

retainFeatures(Set<Feature>) - Method in class family.Product

S

satisfiesBranchingCondition(MSCATransition, Set<MSCATransition>, Set<CAState>) - Method in class contractAutomata.operators.ChoreographySynthesisOperator

setInitial(boolean) - Method in class contractAutomata.automaton.state.BasicState

setInitial(boolean) - Method in class contractAutomata.automaton.state.CAState

setInitial(boolean) - Method in class contractAutomata.automaton.state.State

State<T> - Class in contractAutomata.automaton.state

Abstract class encoding a state

State(T) - Constructor for class contractAutomata.automaton.state.State

StrongAgreement - Class in contractAutomata.requirements

The strong agreement predicate over MSCATransitions

StrongAgreement() - Constructor for class contractAutomata.requirements.StrongAgreement

SynthesisOperator - Class in contractAutomata.operators

Class implementing the abstract synthesis operator

SynthesisOperator(TriPredicate<MSCATransition, Set<MSCATransition>, Set<CAState>>, TriPredicate<MSCATransition, Set<MSCATransition>, Set<CAState>>, Predicate<MSCATransition>) - Constructor for class contractAutomata.operators.SynthesisOperator

SynthesisOperator(TriPredicate<MSCATransition, Set<MSCATransition>, Set<CAState>>, TriPredicate<MSCATransition, Set<MSCATransition>, Set<CAState>>, Predicate<MSCATransition>, Automaton<String, BasicState, Transition<String, BasicState, Label>>) - Constructor for class contractAutomata.operators.SynthesisOperator

SynthesisOperator(TriPredicate<MSCATransition, Set<MSCATransition>, Set<CAState>>, Predicate<MSCATransition>) - Constructor for class contractAutomata.operators.SynthesisOperator

This constructor does not use any pruning predicate

SynthesisOperator(TriPredicate<MSCATransition, Set<MSCATransition>, Set<CAState>>, Predicate<MSCATransition>, Automaton<String, BasicState, Transition<String, BasicState, Label>>) - Constructor for class contractAutomata.operators.SynthesisOperator

This constructor does not use any pruning predicate

T

test(MSCATransition) - Method in class contractAutomata.requirements.Agreement

test(MSCATransition) - Method in class contractAutomata.requirements.StrongAgreement

test(T, U, V) - Method in interface contractAutomata.operators.TriPredicate

toCSV() - Method in class contractAutomata.automaton.label.CALabel

toCSV() - Method in class contractAutomata.automaton.state.BasicState

toCSV() - Method in class contractAutomata.automaton.state.CAState

toCSV() - Method in class contractAutomata.automaton.transition.MSCATransition

toHTMLString(String) - Method in class family.Product

toString() - Method in class contractAutomata.automaton.Automaton

toString() - Method in class contractAutomata.automaton.label.CALabel

toString() - Method in class contractAutomata.automaton.label.CMLabel

toString() - Method in class contractAutomata.automaton.label.Label

toString() - Method in class contractAutomata.automaton.MSCA

toString() - Method in class contractAutomata.automaton.state.BasicState

toString() - Method in class contractAutomata.automaton.state.CAState

toString() - Method in class contractAutomata.automaton.transition.MSCATransition

toString() - Method in class contractAutomata.automaton.transition.Transition

toString() - Method in class family.Family

toString() - Method in class family.Feature

toString() - Method in class family.Product

toStringFile(int) - Method in class family.Product

Transition<U,S extends State<U>,L extends Ranked & Matchable<? super L>> - Class in contractAutomata.automaton.transition

Transition of a Contract Automaton

Transition(S, L, S) - Constructor for class contractAutomata.automaton.transition.Transition

TriFunction<T,U,V,Z> - Interface in contractAutomata.operators

A function over three arguments, for readability.

TriPredicate<T,U,V> - Interface in contractAutomata.operators

A predicate over three arguments.

U

UnionFunction - Class in contractAutomata.operators

Class implementing the union function

UnionFunction() - Constructor for class contractAutomata.operators.UnionFunction

URGENT - contractAutomata.automaton.transition.MSCATransition.Modality

V

valueOf(String) - Static method in enum contractAutomata.automaton.transition.MSCATransition.Modality

Returns the enum constant of this type with the specified name.

values() - Static method in enum contractAutomata.automaton.transition.MSCATransition.Modality

Returns an array containing the constants of this enum type, in the order they are declared.

A B C D E F G H I J L M O P R S T U V