Class | Description |
---|---|
Aadl2gspnPlugin |
The main plugin class to be used in the desktop.
|
BooleanExpression |
This class represents a boolean expression in DNF
|
BooleanOperations |
This class contains a set of methods used for the computation of logical operations and
the manipulation and semplification of the boolean expressions
|
Combination | |
CompleteTransformationAADL2GSPN |
This class contains some methods used in the final step of the transformation of the aadl
dependability model into a gspn.
|
ErrorModel2PetriNet | |
ErrorSourceNameEnc |
This class is used to store into the "and" EList: the literal and its negation
if needed.
|
OccurrenceValues |
This class is used to manage the Occurrence properties in aadl in all the cases,
The syntax is the following: distribution_parameter::= real_literal [(+ | * | - ) symbolic_parameter_identifier] | symbolic_parameter_identifier
|
PN2Surf | |
Structure |
This is a support class, it is used to store all the informations relative to the
intermediaryPlace created in the NameMatchingPropagation transformation
|
ToDisjunctiveNormalForm | |
TransfomNameMatchingPropag | |
TransformComplementaryNameMatchingPropag |
This class contains methods that are used to build the complementary
subnet relative to name-matching propagations with a fixed probability
other that 1
|
TransformGuardEvent |
This class contains all the methods used to transform the Guard_Event property into a PetriNet
subnet
|
TransformGuardIn |
This class contains methods used to transform
Guard_In properties into Petri subnets
|
TransformGuardOut |
This class contains methods used to transform
Guard_Out properties into Petri subnets
|
TransformGuardTransition |
This class contains methods used to transform a Guard_Transition property into
a subnet of the the existing petri net
|
TransformIsolated |