MORSE public
Documents
Logiciels
Sous-projets
R?unions
Espace priv?
le 10.07.2004
Méta-modèle LfP (état de Juillet 2004)

Metaclass Index

ADArc

attributes
isBidirectional : Boolean
roles
aDBinder : [0..*] ADBinder
aDClass : [0..*] ADClass
aDMedia : [0..*] ADMedia

ADBinder

superclasses
ADModelElement
attributes
capacity : Inte
identifier : String (from ADModelElement)
isSynchronous : Boolean
multiplicity : String
ordering : String
roles
aDArc : [0..*] ADArc
aDClass : [0..*] ADClass
aDMedia : [0..*] ADMedia
aDPort : [2..*] ADPort
architectureDiagram : [0..*] ArchitectureDiagram (from ADModelElement)

ADClass

superclasses
ADModelElement
attributes
className : TypeDescriptor
identifier : String (from ADModelElement)
roles
aDArc : [0..*] ADArc
aDBinder : [0..*] ADBinder
aDPort : [1..*] ADPort
architectureDiagram : [0..*] ArchitectureDiagram (from ADModelElement)

ADMedia

superclasses
ADModelElement
attributes
identifier : String (from ADModelElement)
mediaName : TypeDescriptor
roles
aDArc : [0..*] ADArc
aDBinder : [0..*] ADBinder
aDPort : [1..*] ADPort
architectureDiagram : [0..*] ArchitectureDiagram (from ADModelElement)

ADModelElement

subclasses
ADBinder
ADClass
ADMedia
ADPort
attributes
identifier : String
roles
architectureDiagram : [0..*] ArchitectureDiagram

ADPort

superclasses
ADModelElement
attributes
identifier : String (from ADModelElement)
roles
aDBinder : [0..*] ADBinder notnavigable
aDClass : [0..*] ADClass notnavigable
aDMedia : [0..*] ADMedia notnavigable
architectureDiagram : [0..*] ArchitectureDiagram (from ADModelElement)

ADStaticInstance

attributes
type : TypeDescriptor
varName : Identifier
roles
architectureDiagram : [0..*] ArchitectureDiagram
classVar : [0..*] ClassVar

ArchitectureDiagram

attributes
diagName : String
roles
aDModelElement : [1..*] ADModelElement
aDStaticInstance : [1..*] ADStaticInstance
adDeclarations : [0..1] TypeVarConstDeclarations

Array

superclasses
Types
attributes
typeName : TypeDescriptor (from Types)
valsType : TypeDescriptor
roles
rangeRules : [1..*] RangeRules

ArrayAccessExp

superclasses
ExprVar (Expression)
attributes
arrayName : ExprVar
index : Expression
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

AssignementInstruction

superclasses
BDInstruction
attributes
value : Expression
varName : ExprVar
roles
bDSimpleTransition : [1..1] BDSimpleTransition (from BDInstruction) notnavigable
callElseInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
callThenInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
forInstruction : [0..*] ForInstruction (from BDInstruction) notnavigable
whileInstruction : [0..*] WhileInstruction (from BDInstruction) notnavigable

AsynchProcCall

attributes
roles

BDArcs

attributes
priority : Inte
roles
targetState : [0..*] BDStates
targetTransition : [0..*] BDTransitions

BDCommunicationTransition

superclasses
BDTransitions
subclasses
BDReception
BDSend
BDSendAndReception
attributes
transitionName : String (from BDTransitions)
roles
bDGuard : [1..1] BDGuard (from BDTransitions)
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDTransitions) notnavigable
nextStep : [0..*] BDArcs (from BDTransitions)

BDFinalState

superclasses
BDStates
attributes
stateName : String (from BDStates)
roles
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDStates) notnavigable
nextStep : [0..*] BDArcs (from BDStates)

BDFunction

superclasses
BDHierarchicalDiagram (Behavioral_Diagram)
attributes
activationPort : Identifier
declarations : TypeVarConstDeclarations (from BDHierarchicalDiagram)
diagName : String (from Behavioral_Diagram)
functionDeclaration : BDFunctionDeclaration
roles
bDHierarchicalTransition : [0..*] BDHierarchicalTransition (from BDHierarchicalDiagram)
bDStates : [0..*] BDStates (from Behavioral_Diagram)
bDTransitions : [1..*] BDTransitions (from Behavioral_Diagram)

BDFunctionDeclaration

attributes
functionName : Identifier
returnType : TypeDescriptor
roles
bDMainClassDeclarations : [0..*] BDMainClassDeclarations
bDMethodParameter : [0..*] BDMethodParameter

BDGuard

attributes
guardExpression : Expression
roles
bDTransitions : [1..1] BDTransitions notnavigable

BDHierarchicalDiagram

superclasses
Behavioral_Diagram
subclasses
BDFunction
BDProcedure
BDTrigger
attributes
declarations : TypeVarConstDeclarations
diagName : String (from Behavioral_Diagram)
roles
bDHierarchicalTransition : [0..*] BDHierarchicalTransition
bDStates : [0..*] BDStates (from Behavioral_Diagram)
bDTransitions : [1..*] BDTransitions (from Behavioral_Diagram)

BDHierarchicalTransition

superclasses
BDTransitions
attributes
referenceHD : String
transitionName : String (from BDTransitions)
roles
bDGuard : [1..1] BDGuard (from BDTransitions)
bDHierarchicalDiagram : [0..*] BDHierarchicalDiagram
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDTransitions) notnavigable
nextStep : [0..*] BDArcs (from BDTransitions)

BDInitialState

superclasses
BDStates
attributes
stateName : String (from BDStates)
roles
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDStates) notnavigable
nextStep : [0..*] BDArcs (from BDStates)

BDInstruction

subclasses
AssignementInstruction
ForInstruction
IfInstruction
WhileInstruction
attributes
roles
bDSimpleTransition : [1..1] BDSimpleTransition notnavigable
callElseInstr : [0..*] IfInstruction notnavigable
callThenInstr : [0..*] IfInstruction notnavigable
forInstruction : [0..*] ForInstruction notnavigable
whileInstruction : [0..*] WhileInstruction notnavigable

BDMainClass

superclasses
Behavioral_Diagram
attributes
declarations : BDMainClassDeclarations
diagName : String (from Behavioral_Diagram)
roles
bDStates : [0..*] BDStates (from Behavioral_Diagram)
bDTransitions : [1..*] BDTransitions (from Behavioral_Diagram)

BDMainClassDeclarations

attributes
roles
bDFunctionDeclaration : [0..*] BDFunctionDeclaration
bDProcedureDeclaration : [0..*] BDProcedureDeclaration
bDTriggerDeclaration : [0..*] BDTriggerDeclaration
bDTypeDeclaration : [0..*] BDTypeDeclaration
constDeclaration : [0..*] ConstDeclaration
varDeclaration : [0..*] VarDeclaration

BDMainMedia

superclasses
Behavioral_Diagram
attributes
declarations : BDMainMediaDeclarations
diagName : String (from Behavioral_Diagram)
roles
bDStates : [0..*] BDStates (from Behavioral_Diagram)
bDTransitions : [1..*] BDTransitions (from Behavioral_Diagram)

BDMainMediaDeclarations

attributes
roles
bDTriggerDeclaration : [0..*] BDTriggerDeclaration
bDTypeDeclaration : [0..*] BDTypeDeclaration
constDeclaration : [0..*] ConstDeclaration
varDeclaration : [0..*] VarDeclaration

BDMethodParameter

attributes
mode : ParamMode
paramName : Identifier
paramType : TypeDescriptor
roles
bDFunctionDeclaration : [1..1] BDFunctionDeclaration notnavigable
bDProcedureDeclaration : [1..1] BDProcedureDeclaration notnavigable

BDProcedure

superclasses
BDHierarchicalDiagram (Behavioral_Diagram)
attributes
activationPort : Identifier
declarations : TypeVarConstDeclarations (from BDHierarchicalDiagram)
diagName : String (from Behavioral_Diagram)
procedureDeclaration : BDProcedureDeclaration
roles
bDHierarchicalTransition : [0..*] BDHierarchicalTransition (from BDHierarchicalDiagram)
bDStates : [0..*] BDStates (from Behavioral_Diagram)
bDTransitions : [1..*] BDTransitions (from Behavioral_Diagram)

BDProcedureDeclaration

attributes
isSynchronous : Boolean
procedureName : Identifier
roles
bDMainClassDeclarations : [0..*] BDMainClassDeclarations
bDMethodParameter : [0..*] BDMethodParameter

BDReception

superclasses
BDCommunicationTransition (BDTransitions)
attributes
transitionName : String (from BDTransitions)
roles
bDGuard : [1..1] BDGuard (from BDTransitions)
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDTransitions) notnavigable
nextStep : [0..*] BDArcs (from BDTransitions)
receptionMsgOp : [1..*] ReceptionMsgOp

BDSend

superclasses
BDCommunicationTransition (BDTransitions)
attributes
transitionName : String (from BDTransitions)
roles
bDGuard : [1..1] BDGuard (from BDTransitions)
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDTransitions) notnavigable
nextStep : [0..*] BDArcs (from BDTransitions)
sendMsgOp : [1..*] SendMsgOp

BDSendAndReception

superclasses
BDCommunicationTransition (BDTransitions)
attributes
transitionName : String (from BDTransitions)
roles
bDGuard : [1..1] BDGuard (from BDTransitions)
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDTransitions) notnavigable
nextStep : [0..*] BDArcs (from BDTransitions)
sRMsgOp : [1..*] SRMsgOp

BDSimpleTransition

superclasses
BDTransitions
attributes
transitionName : String (from BDTransitions)
roles
bDGuard : [1..1] BDGuard (from BDTransitions)
bDInstruction : [0..*] BDInstruction
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDTransitions) notnavigable
nextStep : [0..*] BDArcs (from BDTransitions)

BDState

superclasses
BDStates
attributes
stateName : String (from BDStates)
roles
behavioral_Diagram : [0..*] Behavioral_Diagram (from BDStates) notnavigable
nextStep : [0..*] BDArcs (from BDStates)

BDStates

subclasses
BDFinalState
BDInitialState
BDState
attributes
stateName : String
roles
behavioral_Diagram : [0..*] Behavioral_Diagram notnavigable
nextStep : [0..*] BDArcs

BDTransitions

subclasses
BDCommunicationTransition
BDHierarchicalTransition
BDReception
BDSend
BDSendAndReception
BDSimpleTransition
attributes
transitionName : String
roles
bDGuard : [1..1] BDGuard
behavioral_Diagram : [0..*] Behavioral_Diagram notnavigable
nextStep : [0..*] BDArcs

BDTrigger

superclasses
BDHierarchicalDiagram (Behavioral_Diagram)
attributes
declarations : TypeVarConstDeclarations (from BDHierarchicalDiagram)
diagName : String (from Behavioral_Diagram)
triggerDeclaration : BDTriggerDeclaration
roles
bDHierarchicalTransition : [0..*] BDHierarchicalTransition (from BDHierarchicalDiagram)
bDStates : [0..*] BDStates (from Behavioral_Diagram)
bDTransitions : [1..*] BDTransitions (from Behavioral_Diagram)

BDTriggerDeclaration

attributes
triggerName : Identifier
roles
bDMainClassDeclarations : [0..*] BDMainClassDeclarations
bDMainMediaDeclarations : [0..*] BDMainMediaDeclarations

BDTypeDeclaration

attributes
type : Types
roles
bDMainClassDeclarations : [0..*] BDMainClassDeclarations
bDMainMediaDeclarations : [0..*] BDMainMediaDeclarations
typeVarConstDeclarations : [0..*] TypeVarConstDeclarations

Bag

superclasses
Sets (Types)
attributes
elemType : TypeDescriptor (from Sets)
typeName : TypeDescriptor (from Types)
roles

Behavioral_Diagram

subclasses
BDFunction
BDHierarchicalDiagram
BDMainClass
BDMainMedia
BDProcedure
BDTrigger
attributes
diagName : String
roles
bDStates : [0..*] BDStates
bDTransitions : [1..*] BDTransitions

BinaryExp

superclasses
Expression
attributes
leftExp : Expression
op : UnaryOperators
rightExp : Expression
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

BinaryOperators

attributes
roles

ClassMsgOperation

subclasses
MethodCall
attributes
port : Identifier
roles

ClassVar

attributes
value : Expression
varName : Identifier
roles
aDStaticInstance : [0..*] ADStaticInstance notnavigable

ConstDeclaration

attributes
constName : Identifier
initValue : Expression
type : TypeDescriptor
roles
bDMainClassDeclarations : [0..*] BDMainClassDeclarations
bDMainMediaDeclarations : [0..*] BDMainMediaDeclarations
typeVarConstDeclarations : [0..*] TypeVarConstDeclarations

ControlMsg

attributes
roles
expression : [1..*] Expression

DerefExp

superclasses
ExprVar (Expression)
attributes
fieldOrBinder : Identifier
recordOrClassName : ExprVar
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

Discrete

superclasses
Types
subclasses
Enumerate
Integer
RestrictedEnum
RestrictedInteger
attributes
typeName : TypeDescriptor (from Types)
roles

Enumerate

superclasses
Discrete (Types)
subclasses
RestrictedEnum
attributes
isCircular : Boolean
typeName : TypeDescriptor (from Types)
roles
identifier : [1..*] Identifier

ExprVar

superclasses
Expression
subclasses
ArrayAccessExp
DerefExp
Identifier
attributes
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

Expression

subclasses
ArrayAccessExp
BinaryExp
DerefExp
ExprVar
FieldAccessExp
Identifier
InitArray
Inte
ParanthesisExp
SetCardinality
SetsRecordValuesExp
SetsSetValuesExp
UnaryExp
attributes
roles
controlMsg : [0..*] ControlMsg notnavigable
methCallDiscr : [0..*] MethodCall notnavigable
methCallParam : [0..*] MethodCall notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg notnavigable
receptionMsg : [0..*] ReceptionMsg notnavigable
returnStatement : [0..*] ReturnStatement notnavigable
sdDiscr : [0..*] SendMsg notnavigable
sdMsg : [0..*] SendMsg notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp notnavigable

Field

attributes
fieldName : Identifier
fieldType : TypeDescriptor
roles
record : [1..1] Record notnavigable

FieldAccessExp

superclasses
Expression
attributes
attribute : Identifier
expression : Expression
type : TypeDescriptor
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

FieldExp

attributes
fieldName : Identifier
value : Expression
roles
setsRecordValuesExp : [0..*] SetsRecordValuesExp notnavigable

ForInstruction

superclasses
BDInstruction
attributes
index : Identifier
rangeRule : RangeRules
roles
bDInstruction : [1..*] BDInstruction
bDSimpleTransition : [1..1] BDSimpleTransition (from BDInstruction) notnavigable
callElseInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
callThenInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
forInstruction : [0..*] ForInstruction (from BDInstruction) notnavigable
whileInstruction : [0..*] WhileInstruction (from BDInstruction) notnavigable

FunctionCall

attributes
returnVal : ExprVar
roles

Identifier

superclasses
ExprVar (Expression)
attributes
value : String
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
enumerate : [0..*] Enumerate notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
portType : [0..*] PortType notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

IfInstruction

superclasses
BDInstruction
attributes
condition : Expression
roles
bDSimpleTransition : [1..1] BDSimpleTransition (from BDInstruction) notnavigable
callElseInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
callThenInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
elseInstr : [0..*] BDInstruction
forInstruction : [0..*] ForInstruction (from BDInstruction) notnavigable
thenInstr : [1..*] BDInstruction
whileInstruction : [0..*] WhileInstruction (from BDInstruction) notnavigable

InitArray

superclasses
Expression
attributes
value : Expression
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

Inte

superclasses
Expression
attributes
value : Integer
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

Integer

superclasses
Discrete (Types)
subclasses
RestrictedInteger
attributes
infBound : Inte
supBound : Inte
typeName : TypeDescriptor (from Types)
roles

MediaMsgOperation

attributes
port : Identifier
roles

Message

superclasses
Types
attributes
typeName : TypeDescriptor (from Types)
var : ExprVar
roles

MessageCont

attributes
value : ExprVar
var : ExprVar
roles
readMsg : [0..*] ReadMsg notnavigable

MethodCall

superclasses
ClassMsgOperation
attributes
port : Identifier (from ClassMsgOperation)
procedure : Identifier
targetComponent : Identifier
roles
methDiscr : [1..*] Expression
methParam : [1..*] Expression

ParanthesisExp

superclasses
Expression
attributes
exp : Expression
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

PortType

superclasses
Types
attributes
typeName : TypeDescriptor (from Types)
roles
identifier : [0..*] Identifier
typePortDis : [0..*] TypeDescriptor

RangeRule

superclasses
RangeRules
attributes
finalValue : ExprVar
initialValue : ExprVar
roles
array : [0..*] Array (from RangeRules) notnavigable
restrictedEnum : [0..*] RestrictedEnum (from RangeRules) notnavigable
restrictedInteger : [0..*] RestrictedInteger (from RangeRules) notnavigable

RangeRule2

superclasses
RangeRules
attributes
discreteTypeName : TypeDescriptor
roles
array : [0..*] Array (from RangeRules) notnavigable
restrictedEnum : [0..*] RestrictedEnum (from RangeRules) notnavigable
restrictedInteger : [0..*] RestrictedInteger (from RangeRules) notnavigable

RangeRules

subclasses
RangeRule
RangeRule2
attributes
roles
array : [0..*] Array notnavigable
restrictedEnum : [0..*] RestrictedEnum notnavigable
restrictedInteger : [0..*] RestrictedInteger notnavigable

ReadMsg

attributes
roles
messageCont : [1..*] MessageCont

ReceptionControlMsg

attributes
roles
expression : [1..*] Expression

ReceptionMsg

attributes
message : ExprVar
roles
expression : [0..*] Expression

ReceptionMsgOp

attributes
roles
bDReception : [0..*] BDReception notnavigable

Record

superclasses
Types
attributes
typeName : TypeDescriptor (from Types)
roles
field : [1..*] Field

RestrictedEnum

superclasses
Enumerate (Discrete Types)
attributes
isCircular : Boolean (from Enumerate)
typeName : TypeDescriptor (from Types)
typeRestricted : TypeDescriptor
roles
identifier : [1..*] Identifier (from Enumerate)
rangeRules : [1..1] RangeRules

RestrictedInteger

superclasses
Integer (Discrete Types)
attributes
infBound : Inte (from Integer)
isCircular : Boolean
supBound : Inte (from Integer)
typeName : TypeDescriptor (from Types)
roles
rangeRules : [1..1] RangeRules

ReturnStatement

attributes
roles
expression : [1..*] Expression

SRMsgOp

attributes
roles
bDSendAndReception : [0..*] BDSendAndReception notnavigable

Semaphore

superclasses
Types
attributes
nbInitComp : Inte
typeName : TypeDescriptor (from Types)
roles

SendMsg

attributes
roles
sdMsgDiscr : [0..*] Expression
sdMsgMsg : [1..*] Expression

SendMsgMedia

attributes
message : ExprVar
roles

SendMsgOp

attributes
roles
bDSend : [0..*] BDSend notnavigable

Set

superclasses
Sets (Types)
attributes
elemType : TypeDescriptor (from Sets)
typeName : TypeDescriptor (from Types)
roles

SetCardinality

superclasses
Expression
attributes
setName : Identifier
valueName : Identifier
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

Sets

superclasses
Types
subclasses
Bag
Set
attributes
elemType : TypeDescriptor
typeName : TypeDescriptor (from Types)
roles

SetsRecordValuesExp

superclasses
Expression
attributes
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
fieldExp : [1..*] FieldExp
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

SetsSetValuesExp

superclasses
Expression
attributes
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
expression : [1..*] Expression
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

SynchProcCall

attributes
roles

TypeDescriptor

attributes
typeIdentifier : Identifier
roles
port : [0..*] PortType notnavigable

TypeVarConstDeclarations

attributes
roles
architectureDiagram : [0..*] ArchitectureDiagram
bDTypeDeclaration : [0..*] BDTypeDeclaration
constDeclaration : [0..*] ConstDeclaration
varDeclaration : [0..*] VarDeclaration

Types

subclasses
Array
Bag
Discrete
Enumerate
Integer
Message
PortType
Record
RestrictedEnum
RestrictedInteger
Semaphore
Set
Sets
attributes
typeName : TypeDescriptor
roles

UnaryExp

superclasses
Expression
attributes
exp : Expression
op : BinaryOperators
roles
controlMsg : [0..*] ControlMsg (from Expression) notnavigable
methCallDiscr : [0..*] MethodCall (from Expression) notnavigable
methCallParam : [0..*] MethodCall (from Expression) notnavigable
receptionControlMsg : [0..*] ReceptionControlMsg (from Expression) notnavigable
receptionMsg : [0..*] ReceptionMsg (from Expression) notnavigable
returnStatement : [0..*] ReturnStatement (from Expression) notnavigable
sdDiscr : [0..*] SendMsg (from Expression) notnavigable
sdMsg : [0..*] SendMsg (from Expression) notnavigable
setsSetValuesExp : [0..*] SetsSetValuesExp (from Expression) notnavigable

UnaryOperators

attributes
roles

VarDeclaration

attributes
initValue : Expression
type : TypeDescriptor
varName : Identifier
roles
bDMainClassDeclarations : [0..*] BDMainClassDeclarations
bDMainMediaDeclarations : [0..*] BDMainMediaDeclarations
typeVarConstDeclarations : [0..*] TypeVarConstDeclarations

WhileInstruction

superclasses
BDInstruction
attributes
condition : Expression
roles
bDInstruction : [1..*] BDInstruction
bDSimpleTransition : [1..1] BDSimpleTransition (from BDInstruction) notnavigable
callElseInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
callThenInstr : [0..*] IfInstruction (from BDInstruction) notnavigable
forInstruction : [0..*] ForInstruction (from BDInstruction) notnavigable
whileInstruction : [0..*] WhileInstruction (from BDInstruction) notnavigable