Browsable MARTE (Modelling and Analysis of Real-Time and Embedded systems) 0.1 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/Marte/extracted
Source used for this grammar: Freddy Allilaire, MARTE (Modelling and Analysis of Real-Time and Embedded systems) 0.1, Marte.ecore, 2007/09/17

Summary

Total 497 production rules with 722 top alternatives and 3988 symbols.
Vocabulary: 1357 = 526 nonterminals + 2 terminals + 829 labels + 0 markers.
Total 526 nonterminal symbols: 382 defined (ConstraintKind, NFP, Unit, NfpConstraint, NfpType, Allocated, ApplicationAllocationEnd, ExecutionPlatformAllocationEnd, AllocationNature, AllocationKind, AllocateActivityGroup, ClockRefine, Allocate, TimedDomain, Clock, ClockType, TimedElement, TimedValueSpecification, TimedConstraint, TimedObservation, TimedInstantObservation, TimedDurationObservation, TimedEvent, TimedProcessing, ClockConstraint, Resource, StorageResource, CommunicationEndPoint, SynchronizationResource, ConcurrencyResource, Scheduler, ProcessingResource, ComputingResource, MutualExclusionResource, SecondaryScheduler, SchedulableResource, CommunicationMedia, DeviceResource, TimingResource, ClockResource, TimerResource, GRService, Release, Acquire, ResourceUsage, FlowProperty, DirectionKind, FlowPort, MessagePort, SendFlowAction, FlowSpecification, SignalSpecification, BFeatureKind, FlowBFeature, DefaultLink, InterRepetition, Distribute, Reshape, Tiler, VariableDirectionKind, Var, ExpressionContext, BoundedSubtype, IntervalType, CollectionType, ChoiceType, TupleType, RtUnit, PoolMgtPolicyKind, PpUnit, CallConcurrencyKind, RtBehavior, rtf, SynchronizationKind, RtAction, ExecutionKind, ConcurrencyKind, RtService, RteConnector, HwResource, HwResourceService, HwCommunicationResource, HwArbiter, HwMedia, HwBus, HwBridge, HwEndPoint, ISA_Type, PLD_Technology, PLD_Class, PLD_Organization, HwProcessor, HwComputingResource, HwISA, HwBranchPredictor, HwASIC, HwPLD, HwMemory, Timing, Repl_Policy, WritePolicy, CacheType, ROM_Type, CacheStructure, MemoryOrganization, HwRAM, HwROM, HwDrive, HWCache, HwStorageManager, HwDMA, HwMMU, HwTimingResource, HwClock, HwTimer, HwDevice, HwI_O, HwSupport, HwComponent, ComponentKind, Env_Condition, ConditionType, CompnentState, HwPowerSupply, HwCoolingSupply, SwResource, SwAccessService, InterruptKind, EntryPoint, InterruptResource, SwSchedulableResource, SwTimerResource, MemoryPartition, Alarm, AccessPolicyKind, DeviceBroker, MemoryBroker, QueuePolicyKind, MessageResourceKind, NotificationKind, NotificationResourceKind, MutualExclusionResourceKind, ConcurrentAccessProtocolKind, SwSynchronizationResource, SharedDataComResource, MessageComResource, NotificationResource, SwMutualExclusionResource, GaWorkloadGenerator, GaEventTrace, GaWorkloadEvent, GaScenario, GaStep, GaExecHost, GaRequestedService, GaTimingObs, LaxityKind, GaCommStep, GaAcqStep, GaRelStep, GaLatencyObs, GaCommHost, GaCommChannel, GaWorkloadBehavior, GaAnalysisContext, GaResourcesPlatform, OptimallityCriterionKind, SaAnalysisContext, SaEnd2EndFlow, SaCommStep, SaExecStep, SaSchedObs, SaSharedResource, SaCommHost, SaExecHost, PaStep, PaRequestedStep, PaCommStep, PaResPassStep, PaLogicalResource, PaRunTInstance, TimeUnitKind, PowerUnitKind, FrequencyUnitKind, DataSizeUnitKind, DataTxRateUnitKind, EnergyUnitKind, LengthUnitKind, AreaUnitKind, EDFParameters, SchedPolicyKind, ProtectProtocolKind, PeriodicServerKind, SchedParameters, FixedPriorityParameters, PoolingParameters, PeriodicServerParameters, SourceKind, BasicNFP_Types_DirectionKind, StatisticalQualifierKind, NFP_CommonType, NFP_Frequency, NFP_Real, NFP_Natural, NFP_Boolean, NFP_String, NFP_Integer, NFP_DateTime, NFP_DataTxRate, NFP_Power, NFP_DataSize, NFP_Energy, NFP_Length, NFP_Area, ArrivalPattern, PeriodicPattern, AperiodicPattern, BurstPattern, IrregularPattern, ClosedPattern, SporadicPattern, NFP_BoundedDuration, NFP_Percentage, NFP_Duration, IntegerVector, IntegerMatrix, IntegerInterval, TransmModeKind, UtilityType, Array, Realnterval, NFP_FrequencyInterval, MARTE_DataTypes_Interval, NFP_NaturalInterval, TimeNatureKind, TimeInterpretationKind, TimedValueType, TUK, TimeLibrary_TimeUnitKind, TimeStandardKind, LogicalTimeUnit, EventKind, IdealClock, TilerSpecification, ShapeSpecification, Integer, Boolean, String, Element, Comment, Package, NamedElement, StructuralFeature, ConnectableElement, TemplateableElement, Property, VisibilityKind, Dependency, DirectedRelationship, Relationship, Namespace, ElementImport, PackageImport, Constraint, TypedElement, Association, Classifier, RedefinableElement, TemplateBinding, TemplateSignature, TemplateParameter, ParameterableElement, TemplateParameterSubstitution, Generalization, GeneralizationSet, Feature, Substitution, PackageableElement, PackageMerge, ProfileApplication, Profile, Stereotype, Class, StringExpression, Expression, ValueSpecification, BehavioredClassifier, Behavior, MultiplicityElement, DeploymentTarget, DataType, AggregationKind, CollaborationUse, UseCase, Realization, Abstraction, Image, OpaqueExpression, Parameter, EncapsulatedClassifier, Operation, Reception, Extension, EnumerationLiteral, ActivityPartition, Enumeration, InstanceSpecification, BehavioralFeature, Signal, TimeExpression, Observation, Duration, DurationInterval, Interval, TimeConstraint, IntervalConstraint, TimeInterval, DurationConstraint, TimeObservation, DurationObservation, ConnectorEnd, TimeEvent, Event, Port, Action, Message, Lifeline, Connector, Collaboration, Interface, InterfaceRealization, Trigger, ProtocolStateMachine, StateMachine, ProtocolConformance, Deployment, Include, Extend, ExtensionPoint, Region, StructuredClassifier, Vertex, Transition, TransitionKind, State, ParameterSet, ActivityNode, ActivityGroup, ParameterDirectionKind, ParameterEffectKind, InterruptibleActivityRegion, DeployedArtifact, Slot, ExecutableNode, OutputPin, Pin, InputPin, MessageKind, ExceptionHandler, ObjectNode, ObjectNodeOrderingKind, MessageEnd, MessageSort, Interaction, PartDecomposition, InteractionUse, InteractionFragment, ConnectorKind, Pseudostate, PseudostateKind, ConnectionPointReference, StructuredActivityNode, Variable, Activity, OccurrenceSpecification, DeploymentSpecification, Gate, Artifact, GeneralOrdering, Manifestation, InteractionOperand, InteractionConstraint), 0 root (—), 249 top (ConstraintKind, NFP, Unit, NfpConstraint, NfpType, Allocated, ApplicationAllocationEnd, ExecutionPlatformAllocationEnd, AllocationNature, AllocationKind, AllocateActivityGroup, ClockRefine, Allocate, TimedDomain, Clock, ClockType, TimedElement, TimedValueSpecification, TimedConstraint, TimedObservation, TimedInstantObservation, TimedDurationObservation, TimedEvent, TimedProcessing, ClockConstraint, Resource, StorageResource, CommunicationEndPoint, SynchronizationResource, ConcurrencyResource, Scheduler, ProcessingResource, ComputingResource, MutualExclusionResource, SecondaryScheduler, SchedulableResource, CommunicationMedia, DeviceResource, TimingResource, ClockResource, TimerResource, GRService, Release, Acquire, ResourceUsage, FlowProperty, DirectionKind, FlowPort, MessagePort, SendFlowAction, FlowSpecification, SignalSpecification, BFeatureKind, FlowBFeature, DefaultLink, InterRepetition, Distribute, Reshape, Tiler, VariableDirectionKind, Var, ExpressionContext, BoundedSubtype, IntervalType, CollectionType, ChoiceType, TupleType, RtUnit, PoolMgtPolicyKind, PpUnit, CallConcurrencyKind, RtBehavior, rtf, SynchronizationKind, RtAction, ExecutionKind, ConcurrencyKind, RtService, RteConnector, HwResource, HwResourceService, HwCommunicationResource, HwArbiter, HwMedia, HwBus, HwBridge, HwEndPoint, ISA_Type, PLD_Technology, PLD_Class, PLD_Organization, HwProcessor, HwComputingResource, HwISA, HwBranchPredictor, HwASIC, HwPLD, HwMemory, Timing, Repl_Policy, WritePolicy, CacheType, ROM_Type, CacheStructure, MemoryOrganization, HwRAM, HwROM, HwDrive, HWCache, HwStorageManager, HwDMA, HwMMU, HwTimingResource, HwClock, HwTimer, HwDevice, HwI_O, HwSupport, HwComponent, ComponentKind, Env_Condition, ConditionType, CompnentState, HwPowerSupply, HwCoolingSupply, SwResource, SwAccessService, InterruptKind, EntryPoint, InterruptResource, SwSchedulableResource, SwTimerResource, MemoryPartition, Alarm, AccessPolicyKind, DeviceBroker, MemoryBroker, QueuePolicyKind, MessageResourceKind, NotificationKind, NotificationResourceKind, MutualExclusionResourceKind, ConcurrentAccessProtocolKind, SwSynchronizationResource, SharedDataComResource, MessageComResource, NotificationResource, SwMutualExclusionResource, GaWorkloadGenerator, GaEventTrace, GaWorkloadEvent, GaScenario, GaStep, GaExecHost, GaRequestedService, GaTimingObs, LaxityKind, GaCommStep, GaAcqStep, GaRelStep, GaLatencyObs, GaCommHost, GaCommChannel, GaWorkloadBehavior, GaAnalysisContext, GaResourcesPlatform, OptimallityCriterionKind, SaAnalysisContext, SaEnd2EndFlow, SaCommStep, SaExecStep, SaSchedObs, SaSharedResource, SaCommHost, SaExecHost, PaStep, PaRequestedStep, PaCommStep, PaResPassStep, PaLogicalResource, PaRunTInstance, TimeUnitKind, PowerUnitKind, FrequencyUnitKind, DataSizeUnitKind, DataTxRateUnitKind, EnergyUnitKind, LengthUnitKind, AreaUnitKind, EDFParameters, SchedPolicyKind, ProtectProtocolKind, PeriodicServerKind, SchedParameters, FixedPriorityParameters, PoolingParameters, PeriodicServerParameters, SourceKind, BasicNFP_Types_DirectionKind, StatisticalQualifierKind, NFP_CommonType, NFP_Frequency, NFP_Real, NFP_Natural, NFP_Boolean, NFP_String, NFP_Integer, NFP_DateTime, NFP_DataTxRate, NFP_Power, NFP_DataSize, NFP_Energy, NFP_Length, NFP_Area, ArrivalPattern, PeriodicPattern, AperiodicPattern, BurstPattern, IrregularPattern, ClosedPattern, SporadicPattern, NFP_BoundedDuration, NFP_Percentage, NFP_Duration, IntegerVector, IntegerMatrix, IntegerInterval, TransmModeKind, UtilityType, Array, Realnterval, NFP_FrequencyInterval, MARTE_DataTypes_Interval, NFP_NaturalInterval, TimeNatureKind, TimeInterpretationKind, TimedValueType, TUK, TimeLibrary_TimeUnitKind, TimeStandardKind, LogicalTimeUnit, EventKind, IdealClock, TilerSpecification, ShapeSpecification, Integer, Boolean, String, ObjectNodeOrderingKind), 144 bottom (BasicNFP_Types/NFP_BoundedDuration, TimeLibrary/TimeStandardKind, BasicNFP_Types/AperiodicPattern, BasicNFP_Types/NFP_Area, MARTE_Foundations/Time/TimedInstantObservation, MeasurementUnits/DataSizeUnitKind, TimeLibrary/ClockedValueSpecification, MARTE_DesignModel/HRM/HwLogical/HwMemory/MemoryOrganization², MARTE_DesignModel/HRM/HwLogical/HwTiming/HwClock, MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwArbiter, BasicNFP_Types/NFP_DataSize²¹, MeasurementUnits/EnergyUnitKind, MARTE_DesignModel/HRM/HwPhysical/HwLayout/Env_Condition, MARTE_DesignModel/HRM/HwLogical/HwMemory/CacheStructure, BasicNFP_Types/BurstPattern, MARTE_AnalysisModel/GQAM/GaWorkloadGenerator, GRM_BasicTypes/FixedPriorityParameters, MARTE_DesignModel/HRM/HwLogical/HwMemory/HwMemory, MARTE_PrimitivesTypes/UnlimitedNatural³, MeasurementUnits/LengthUnitKind, BasicNFP_Types/NFP_Energy², Type⁴, BasicNFP_Types/SourceKind, MARTE_AnalysisModel/GQAM/GaExecHost, MARTE_Foundations/GRM/Resource⁷, GRM_BasicTypes/SchedParameters, MARTE_Foundations/NFPs/Unit², MARTE_DesignModel/SRM/SW_Interaction/MutualExclusionResourceKind, GRM_BasicTypes/PeriodicServerKind, BasicNFP_Types/ClosedPattern, MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwMedia³, BasicNFP_Types/NFP_Length, MeasurementUnits/FrequencyUnitKind, MARTE_DesignModel/HRM/HwPhysical/HwLayout/CompnentState, MARTE_DataTypes/VSL_Expression, MARTE_DesignModel/HRM/HwLogical/HwMemory/Repl_Policy², MARTE_DataTypes/NFP_NaturalInterval, BasicNFP_Types/NFP_CommonType, MARTE_AnalysisModel/GQAM/GaResourcesPlatform, BasicNFP_Types/NFP_Natural²³, MARTE_Foundations/GCM/DirectionKind⁴, BasicNFP_Types/NFP_Boolean¹³, MARTE_DataTypes/UtilityType², MARTE_PrimitivesTypes/Boolean⁶⁴, MARTE_DesignModel/RTEMoCC/SynchronizationKind², GRM_BasicTypes/SchedPolicyKind³, MARTE_DesignModel/SRM/SW_Brokering/AccessPolicyKind², MARTE_Foundations/GRM/ComputingResource, MARTE_DesignModel/SRM/SW_Concurrency/InterruptKind, MARTE_AnalysisModel/GQAM/GaTimingObs², RS_Library/ShapeSpecification⁴, MARTE_DesignModel/SRM/SW_Interaction/QueuePolicyKind, GRM_BasicTypes/ProtectProtocolKind, MARTE_DesignModel/HRM/HwLogical/HwMemory/Timing, MARTE_DesignModel/HRM/HwLogical/HwMemory/ROM_Type, MARTE_AnalysisModel/SAM/OptimallityCriterionKind, BasicNFP_Types/NFP_Power⁵, MARTE_DataTypes/IntegerInterval², MARTE_DesignModel/HRM/HwLogical/HwMemory/CacheType, RS_Library/TilerSpecification³, MARTE_DataTypes/IntegerVector⁵, MARTE_AnalysisModel/GQAM/GaScenario⁴, BasicNFP_Types/NFP_Real²², MARTE_PrimitivesTypes/Real¹⁶, MARTE_DesignModel/SRM/SW_Interaction/NotificationResourceKind, MARTE_DataTypes/IntegerMatrix³, GRM_BasicTypes/PeriodicServerParameters, MARTE_Foundations/GRM/Scheduler, MARTE_DesignModel/RTEMoCC/ExecutionKind, BasicNFP_Types/StatisticalQualifierKind, MARTE_DesignModel/HRM/HwLogical/HwStorageManager/HwMMU, MARTE_AnalysisModel/GQAM/GaStep, MARTE_DesignModel/HRM/HwLogical/HwGeneral/HwResourceService³, MARTE_PrimitivesTypes/DateTime, MARTE_Foundations/GRM/ProcessingResource, MARTE_Foundations/Alloc/AllocationKind, TimeLibrary/EventKind², BasicNFP_Types/NFP_DateTime, BasicNFP_Types/NFP_Percentage, BasicNFP_Types/NFP_Integer¹⁴, ActivityEdge⁵, MARTE_DataTypes/TransmModeKind², MARTE_AnalysisModel/GQAM/GaEventTrace, MARTE_DesignModel/HRM/HwLogical/HwComputing/HwBranchPredictor, MARTE_PrimitivesTypes/Integer¹⁵, ExecutionSpecification², MARTE_DesignModel/RTEMoCC/CallConcurrencyKind, MARTE_Foundations/Time/Clock, MARTE_DesignModel/SRM/SW_Interaction/ConcurrentAccessProtocolKind, MARTE_AnalysisModel/GQAM/GaWorkloadBehavior, MARTE_DataTypes/NFP_FrequencyInterval, GRM_BasicTypes/EDFParameters, BasicNFP_Types/NFP_Frequency⁷, BasicNFP_Types/PeriodicPattern, MARTE_Foundations/GRM/SchedulableResource², MARTE_DesignModel/HRM/HwLogical/HwMemory/HWCache², GRM_BasicTypes/PoolingParameters, MARTE_DesignModel/HRM/HwLogical/HwComputing/PLD_Organization, MARTE_DesignModel/HRM/HwLogical/HwComputing/HwISA, MARTE_DesignModel/RTEMoCC/ConcurrencyKind, TimeLibrary/TUK, MARTE_Foundations/Alloc/ExecutionPlatformAllocationEnd, TimeTypesLibrary/TimeInterpretationKind², MARTE_DesignModel/HRM/HwPhysical/HwLayout/ConditionType, MARTE_DesignModel/HRM/HwLogical/HwGeneral/HwResource, MARTE_AnalysisModel/GQAM/GaRequestedService, BasicNFP_Types/IrregularPattern, BasicNFP_Types/SporadicPattern, TimeTypesLibrary/TimeNatureKind, MARTE_Foundations/Time/ClockConstraint, MARTE_DesignModel/HRM/HwLogical/HwMemory/WritePolicy², MARTE_Foundations/GRM/ResourceUsage, InvocationAction³, MARTE_AnalysisModel/GQAM/LaxityKind, BasicNFP_Types/NFP_Duration⁵¹, MARTE_Foundations/NFPs/ConstraintKind, MARTE_DesignModel/SRM/SW_Interaction/MessageResourceKind, MARTE_DesignModel/RTEMoCC/PoolMgtPolicyKind, MARTE_Foundations/GCM/BFeatureKind², MARTE_Foundations/Time/ClockType, MARTE_DesignModel/HRM/HwLogical/HwMemory/HwRAM², MARTE_Annexes/RSM/Tiler², MARTE_DesignModel/HRM/HwPhysical/HwLayout/ComponentKind, MARTE_DesignModel/HRM/HwLogical/HwComputing/HwProcessor, MARTE_Foundations/Alloc/ApplicationAllocationEnd, MARTE_PrimitivesTypes/String²⁶, BasicNFP_Types/NFP_String⁷, BasicNFP_Types/BasicNFP_Types_DirectionKind, MARTE_AnalysisModel/GQAM/GaWorkloadEvent², MeasurementUnits/DataTxRateUnitKind, MARTE_DesignModel/HRM/HwLogical/HwComputing/PLD_Technology, MARTE_Annexes/VSL/Variables/VariableDirectionKind, MARTE_DesignModel/HRM/HwLogical/HwComputing/PLD_Class, MARTE_DesignModel/SRM/SW_Interaction/NotificationKind, BasicNFP_Types/ArrivalPattern², MeasurementUnits/TimeUnitKind², MeasurementUnits/PowerUnitKind, MARTE_DesignModel/HRM/HwLogical/HwComputing/ISA_Type, MeasurementUnits/AreaUnitKind, MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwEndPoint, MARTE_Foundations/NFPs/NfpConstraint, MARTE_DataTypes/Realnterval, BasicNFP_Types/NFP_DataTxRate³, MARTE_Foundations/Alloc/AllocationNature).
Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
Total 829 labels: [required]³, [offered], [constraint]², [base_Property]⁴, [convFactor], [convOffset], [baseUnit], [base_EnumerationLiteral], [kind]¹⁰, [base_Constraint], [valueAttrib], [unitAttrib], [exprAttrib], [base_NamedElement]⁸, [allocatedTo], [allocatedFrom], [spatialDistribution], [timeScheduling], [structural], [behavioral], [hybrid], [isUnique]², [base_ActivityPartition], [base_Dependency]², [nature]², [base_Abstraction], [impliedConstraint], [base_Package], [standard], [base_InstanceSpecification]², [type]⁸, [unit]¹², [unitType], [isLogical], [resolAttrib], [maxValAttrib], [offsetAttrib], [getTime], [setTime], [indexToValue], [base_Class], [on], [interpretation]², [base_ValueSpecification], [obsKind]², [base_TimeObservation], [base_DurationObservation], [repetition], [base_TimeEvent], [every], [base_Action]², [base_Behavior]⁴, [base_Message]², [duration]³, [start]², [stop], [resMult], [isProtected], [isActive]², [base_Classifier]², [base_Lifeline], [base_ConnectableElement], [elementSize]², [packetSize]², [isPreemptible], [schedPolicy]², [otherSchedPolicy], [schedule], [processingUnit], [host]³, [speedFactor], [scheduler], [protectKind], [ceiling], [otherProtectProtocol], [schedParams], [base_Connector]², [isPeriodic], [owner], [base_ExecutionSpecification], [base_BehavioralFeature]⁸, [base_Collaboration], [base_CollaborationUse], [isBlocking], [execTime], [msgSize]², [allocatedMemory], [usedMemory], [powerPeak], [energy], [usedResources], [subUsage], [direction]⁵, [in]⁴, [out]⁴, [inout]⁴, [isAtomic]⁵, [isConjugated]², [base_Port]³, [base_InvocationAction]², [base_Interface]², [provided]², [reqpro], [repetitionShapeDependence], [isModulo], [patternShape]², [repetitionSpace], [fromTiler], [toTiler], [repetitonShape], [srcTiler], [targetTiler], [origin]², [paving]², [fitting]², [tiler], [dir]², [baseType], [minValue], [maxValue], [isMinOpen], [isMaxOpen], [base_DataType]⁵, [intervalAttrib], [collectionAttrib], [choiceAttrib], [defaultAttrib], [tupleAttrib], [isDynamic], [isMain], [poolSize]³, [poolPolicy], [poolWaitingTime], [operationalMode], [main], [memorySize]³, [base_BehavioredClassifier]², [infiniteWait], [timedWait], [dynamic], [exception], [other]⁵, [concPolicy]², [sequential], [guarded], [concurrent], [queueSchedPolicy], [queueSize], [msgMaxSize], [base_Signal], [utility]², [occKind], [tRef], [relDl], [absDl], [boundDl], [rdTime], [miss]², [priority]³, [synchronous], [asynchronous], [delayedSynchronous], [rendezVous], [synchKind]², [deferred], [remoteImmediate], [localImmediate], [reader], [writer], [parallel], [exeKind], [bandwidth], [packetT]², [blockT]⁴, [transmMode]², [description]³, [p_HW_Services], [r_HW_Services], [ownedHW], [endPoints], [controlledMedias], [bandWidth], [base_Association], [arbiters], [adressWidth], [wordWidth], [isSynchronous]², [isSerial], [sides], [connectedTo], [RISC], [CISC], [VLIW], [SIMD], [Other]²¹, [Undef]²¹, [SRAM], [Antifuse], [Flash]², [SymetricalArray], [RowBased], [SeaOfGates], [HierarchicalPLD], [nbRows]², [nbColumns]², [class]³, [architecture], [mips], [ipc], [nbCores], [nbPipelines], [nbStages], [nbALUs], [nbFBUs], [ownedISAs], [predictors], [caches], [ownedMMUs], [op_Frequencies], [family], [inst_Width], [technology], [organization]³, [nbLUTs], [ndLUT_Inputs], [nbFlipFlops], [blocksRAM], [adressSize], [timings], [notation], [value]⁹, [LRU], [NFU], [FIFO]⁵, [Random], [WriteBack], [WriteThrough], [Data], [Instruction], [Unified], [MaskedROM], [EPROM], [OTP_EPROM], [EEPROM], [nsSets], [blockSize], [associativity], [nbBanks], [wordSize], [isStatic], [isNonVolatile], [repl_Policy]², [writePolicy]², [sectorSize], [buffer], [level], [structure], [managedMemories], [nbChannels], [transferWidth], [drivenBy], [virtualAddrSpace], [physicalAddrSpace], [memoryProtection], [nbEntries], [ownedTLBs], [frequency], [nbCounter], [counterWidth], [inputClock], [dimenssions], [area], [position], [grid], [nbPins], [weight], [price], [r_Conditions], [poweredServices], [staticConsumption], [staticDissipation], [Card], [Channel], [Chip], [Port], [Unit], [status], [range]², [Temperature], [Humidity], [Altitude], [Vibration], [Shock], [Operating], [Storage], [suppliedPower], [capacity]³, [coolingPower], [identifierElements], [stateElements], [memorySizeFootprint], [createServices], [deleteServices], [initializeServices], [isModifier], [accessedElement], [HardwareInterruption], [ProcessorDetectedException], [ProgrammedException], [isReentrant], [routine], [isMaskable], [vectorElements], [maskElements]², [routineConnectServices], [routineDisconnectServices], [isStaticSchedulingFeature], [isPreemptable], [schedulers], [deadlineElements], [deadlineTypeElements], [timeScliceElements], [delayServices], [joinServices], [yieldServices], [durationElements], [concurrentResources], [memorySpaces], [fork]², [exit]³, [base_Namespace], [isWatchdog], [timers], [Read], [Write], [ReadWrite], [accessPolicy]², [isBuffered], [devices], [closeServices], [controlServices], [openServices], [readServices]², [writeServices]², [memories], [memoryBlockAdressSelements], [memoryBlockSizeElements], [lockServices], [unlockServices], [mapServices], [unMapServices], [LIFO]², [Priority], [MessageQueue], [Pipe], [Blackboard], [Memorized], [Bounded], [Memoryless], [Event], [Barrier], [BooleanSemaphore], [CountSemaphore], [Mutex], [PIP], [PCP], [NoPreemption]², [isFixedMessageSize], [meachnism], [messageSizeElements], [messageQueueCapacityElements], [messageQueuePolicy], [sendServices], [receiveServices], [occurence], [mechanism]², [occurenceCountElements], [flushServices], [signalServices], [waitServices], [clearServices], [concurrentAccessProtocol], [accessTokenElements], [releaseServices], [acquireServices], [pop], [content]², [format]², [location]³, [pattern], [generator], [trace], [effect]³, [timedEvent], [cause], [hostDemand], [hostDemandOps], [interOccT], [throughput]⁵, [respT], [utilization]⁵, [utilizationHost], [root], [timing]², [behavior]³, [rep], [prob], [concurRes], [serDemand], [servCount], [commTxOch], [commRcvOvh], [cntxtSwt], [clockOvh], [schedPriRange], [memSize], [base_Operation], [laxity], [startObs], [stopObs], [hard], [soft], [acqRes], [resUnits]³, [relRes], [latency], [maxJitter], [utlization], [demand], [context]², [workload], [platform], [resources], [meetHardDeadlines], [minimizeMissedDeadlines], [minimizedMeanTardiness], [undef], [isSched]⁴, [optCriterion], [schSlack]⁵, [end2EndT], [end2EndD], [deadline]³, [spareCap]², [preemptT], [readyT], [delayT], [suspentions], [overlaps], [isPreemp], [isConsum], [acquisT], [releaseT], [schedUtiliz], [ISRswitchT], [ISRprioRange], [isPreempible], [noSynch], [extOpDemand], [extOpCount], [behavDemand], [behavCount], [resource], [unbddPool], [instance], [s]², [tick]², [ms]², [us]², [min]⁶, [hrs]², [dys]², [W], [mW], [KW], [Hz], [KHz], [MHz], [GHz], [rpm], [bits], [Bytes], [KB], [MB], [GB], [b_per_s], [Kb_per_s], [Mb_per_s], [J], [KJ], [Wh], [KWh], [mWh], [m], [cm], [mm], [mm2], [um2], [EarliestDeadlineFirst], [FixedPriority], [LeastLaxityFirst], [RoundRobin], [TimeTableDriven], [PriorityCeiling], [PriorityInheritance], [StackBased], [Sporadic], [Deferrable], [edf], [fp], [pooling], [server], [period]², [overhead], [backgroundPriority], [initialBudget], [replenishPeriod], [maxPendingReplenish], [est], [meas], [calc], [req], [incr], [decr], [max]⁴, [mean], [percent], [distrib], [determ], [expr]⁴, [source]², [statQ], [precision]⁹, [periodic], [aperiodic], [burst], [irregular], [closed], [sporadic], [jitter]², [phase]², [distribution], [minInterarrival]², [maxInterarrival]², [minEventInterval], [maxEventInterval], [burstSize], [interarrivals], [population], [extDelay], [values], [clock]², [vectorElem], [matrixElem], [bound]⁴, [simplex], [halfDuplex], [fullDuplex], [discrete], [dense], [instant], [onClock], [ns], [TAI], [UT0], [UT1], [UTC], [Local], [TT], [TBD], [TCG], [TCB], [Sidereal], [GPS], [finish], [send], [receive], [consume], [size], [body]², [annotatedElement], [ownedType], [packageMerge], [packagedElement], [nestedPackage], [nestingPackage], [profileApplication], [datatype]², [owningAssociation], [association], [isDerived]², [isDerivedUnion], [default]³, [aggregation], [isComposite]², [redefinedProperty], [defaultValue]², [opposite], [subsettedProperty], [qualifier], [associationEnd], [public], [private], [protected], [package], [supplier], [client], [visibility]², [alias], [importedElement], [importingNamespace]², [importedPackage], [constrainedElement], [specification]², [ownedEnd], [endType], [memberEnd], [navigableOwnedEnd], [signature]³, [parameterSubstitution], [boundElement], [parameter]², [ownedParameter], [template], [parameteredElement], [ownedParameteredElement], [ownedDefault], [formal], [actual], [ownedActual], [templateBinding], [isSubstitutable], [general], [generalizationSet], [specific], [isCovering], [isDisjoint], [powertype], [generalization], [contract]³, [substitutingClassifier], [mergedPackage], [receivingPackage], [appliedProfile], [isStrict], [applyingPackage], [ownedStereotype], [metaclassReference], [metamodelReference], [icon], [nestedClassifier]², [ownedOperation]⁴, [superClass], [ownedReception]², [extension]², [subExpression], [owningExpression], [symbol], [operand], [ownedAttribute]⁴, [none], [shared], [composite], [roleBinding], [include], [extend], [extensionPoint], [subject], [mapping], [language], [result], [operation], [parameterSet], [isException], [isStream], [interface], [isQuery], [isOrdered], [lower], [upper], [precondition], [postcondition], [redefinedOperation], [bodyCondition], [signal], [isRequired], [metaclass], [enumeration], [isDimension], [isExternal], [node]⁴, [subpartition], [superPartition], [represents]², [edge]³, [ownedLiteral], [classifier], [slot], [observation]², [firstEvent]⁴, [event]⁴, [definingEnd], [partWithPort], [role], [isRelative], [when], [isBehavior], [isService], [redefinedPort], [protocol]², [messageKind], [messageSort], [receiveEvent], [sendEvent], [connector], [interaction]², [argument]³, [selector], [decomposedAs], [coveredBy], [redefinedConnector], [end], [collaborationRole], [redefinedInterface], [implementingClassifier], [port], [conformance], [region]², [submachineState], [connectionPoint]², [extendedStateMachine], [generalMachine], [specificMachine], [deployedArtifact], [configuration], [addition], [includingCase], [extendedCase], [condition]², [extensionLocation], [useCase], [subvertex], [transition], [state]³, [extendedRegion], [stateMachine]², [container], [redefinedTransition], [guard]², [trigger], [target], [internal], [local], [external], [isOrthogonal], [isSimple], [isSubmachineState], [submachine], [connection], [redefinedState], [stateInvariant], [entry]², [doActivity], [deferrableTrigger], [return], [create], [read], [update], [delete], [interruptingEdge], [definingFeature], [owningInstance], [isControl]³, [complete], [lost], [found], [unknown], [handlerBody], [exceptionInput], [exceptionType], [protectedNode], [unordered], [ordered], [synchCall], [asynchCall], [asynchSignal], [createMessage], [deleteMessage], [reply], [lifeline], [fragment]², [action], [formalGate], [message]², [refersTo]², [actualGate]², [assembly], [delegation], [initial], [deepHistory], [shallowHistory], [join], [junction], [choice], [entryPoint], [exitPoint], [terminate], [variable]², [mustIsolate], [scope], [activityScope], [structuredNode], [isReadOnly], [partition], [isSingleExecution], [group], [toBefore], [toAfter], [deploymentLocation], [executionLocation], [deployment], [fileName], [nestedArtifact], [manifestation], [before], [after], [utilizedElement], [minint], [maxint].

Syntax

ConstraintKind ::=
	[required]::ε
	[offered]::ε
	[constraint]::ε

NFP ::=
	[base_Property]::Property

Unit ::=
	[convFactor]::MARTE_PrimitivesTypes/Real [convOffset]::MARTE_PrimitivesTypes/Real [baseUnit]::MARTE_Foundations/NFPs/Unit [base_EnumerationLiteral]::EnumerationLiteral

NfpConstraint ::=
	[kind]::MARTE_Foundations/NFPs/ConstraintKind [base_Constraint]::Constraint

NfpType ::=
	[valueAttrib]::Property [unitAttrib]::Property [exprAttrib]::Property

Allocated ::=
	[base_NamedElement]::NamedElement

ApplicationAllocationEnd ::=
	[allocatedTo]::MARTE_Foundations/Alloc/ExecutionPlatformAllocationEnd+

ExecutionPlatformAllocationEnd ::=
	[allocatedFrom]::MARTE_Foundations/Alloc/ApplicationAllocationEnd+

AllocationNature ::=
	[spatialDistribution]::ε
	[timeScheduling]::ε

AllocationKind ::=
	[structural]::ε
	[behavioral]::ε
	[hybrid]::ε

AllocateActivityGroup ::=
	[isUnique]::MARTE_PrimitivesTypes/Boolean [base_ActivityPartition]::ActivityPartition

ClockRefine ::=
	[base_Dependency]::Dependency [constraint]::MARTE_Foundations/Time/ClockConstraint+

Allocate ::=
	[kind]::MARTE_Foundations/Alloc/AllocationKind [nature]::MARTE_Foundations/Alloc/AllocationNature [base_Abstraction]::Abstraction [impliedConstraint]::MARTE_Foundations/NFPs/NfpConstraint+

TimedDomain ::=
	[base_Package]::Package

Clock ::=
	[standard]::TimeLibrary/TimeStandardKind [base_InstanceSpecification]::InstanceSpecification [type]::MARTE_Foundations/Time/ClockType [unit]::MARTE_Foundations/NFPs/Unit

ClockType ::=
	[nature]::TimeTypesLibrary/TimeNatureKind [unitType]::Enumeration [isLogical]::MARTE_PrimitivesTypes/Boolean [resolAttrib]::Property [maxValAttrib]::Property [offsetAttrib]::Property [getTime]::Operation [setTime]::Operation [indexToValue]::Operation [base_Class]::Class

TimedElement ::=
	[on]::MARTE_Foundations/Time/Clock+

TimedValueSpecification ::=
	[interpretation]::TimeTypesLibrary/TimeInterpretationKind [base_ValueSpecification]::ValueSpecification

TimedConstraint ::=
	[interpretation]::TimeTypesLibrary/TimeInterpretationKind

TimedObservation ::=
	ε

TimedInstantObservation ::=
	[obsKind]::TimeLibrary/EventKind [base_TimeObservation]::TimeObservation

TimedDurationObservation ::=
	[obsKind]::TimeLibrary/EventKind [base_DurationObservation]::DurationObservation

TimedEvent ::=
	[repetition]::MARTE_PrimitivesTypes/Integer [base_TimeEvent]::TimeEvent [every]::ValueSpecification

TimedProcessing ::=
	[base_Action]::Action [base_Behavior]::Behavior [base_Message]::Message [duration]::ValueSpecification [start]::Event [stop]::Event

ClockConstraint ::=
	ε

Resource ::=
	[resMult]::MARTE_PrimitivesTypes/Integer [isProtected]::MARTE_PrimitivesTypes/Boolean [isActive]::MARTE_PrimitivesTypes/Boolean [base_Property]::Property [base_InstanceSpecification]::InstanceSpecification [base_Classifier]::Classifier [base_Lifeline]::Lifeline [base_ConnectableElement]::ConnectableElement

StorageResource ::=
	[elementSize]::MARTE_PrimitivesTypes/Integer

CommunicationEndPoint ::=
	[packetSize]::MARTE_PrimitivesTypes/Integer

SynchronizationResource ::=
	ε

ConcurrencyResource ::=
	ε

Scheduler ::=
	[isPreemptible]::MARTE_PrimitivesTypes/Boolean [schedPolicy]::GRM_BasicTypes/SchedPolicyKind [otherSchedPolicy]::MARTE_PrimitivesTypes/String [schedule]::OpaqueExpression [processingUnit]::MARTE_Foundations/GRM/ProcessingResource+ [host]::MARTE_Foundations/GRM/ComputingResource

ProcessingResource ::=
	[speedFactor]::MARTE_PrimitivesTypes/Real [scheduler]::MARTE_Foundations/GRM/Scheduler

ComputingResource ::=
	ε

MutualExclusionResource ::=
	[protectKind]::GRM_BasicTypes/ProtectProtocolKind [ceiling]::MARTE_PrimitivesTypes/Integer [otherProtectProtocol]::MARTE_PrimitivesTypes/String

SecondaryScheduler ::=
	ε

SchedulableResource ::=
	[schedParams]::GRM_BasicTypes/SchedParameters+

CommunicationMedia ::=
	[elementSize]::MARTE_PrimitivesTypes/Integer [base_Connector]::Connector

DeviceResource ::=
	ε

TimingResource ::=
	ε

ClockResource ::=
	ε

TimerResource ::=
	[duration]::BasicNFP_Types/NFP_Duration [isPeriodic]::MARTE_PrimitivesTypes/Boolean

GRService ::=
	[owner]::MARTE_Foundations/GRM/Resource [base_ExecutionSpecification]::ExecutionSpecification [base_BehavioralFeature]::BehavioralFeature [base_Behavior]::Behavior [base_Collaboration]::Collaboration [base_CollaborationUse]::CollaborationUse

Release ::=
	ε

Acquire ::=
	[isBlocking]::MARTE_PrimitivesTypes/Boolean

ResourceUsage ::=
	[execTime]::BasicNFP_Types/NFP_Duration+ [msgSize]::BasicNFP_Types/NFP_DataSize+ [allocatedMemory]::BasicNFP_Types/NFP_DataSize+ [usedMemory]::BasicNFP_Types/NFP_DataSize+ [powerPeak]::BasicNFP_Types/NFP_Power+ [energy]::BasicNFP_Types/NFP_Energy+ [base_NamedElement]::NamedElement [usedResources]::MARTE_Foundations/GRM/Resource+ [subUsage]::MARTE_Foundations/GRM/ResourceUsage+

FlowProperty ::=
	[direction]::MARTE_Foundations/GCM/DirectionKind [base_Property]::Property

DirectionKind ::=
	[in]::ε
	[out]::ε
	[inout]::ε

FlowPort ::=
	[isAtomic]::MARTE_PrimitivesTypes/Boolean [isConjugated]::MARTE_PrimitivesTypes/Boolean [direction]::MARTE_Foundations/GCM/DirectionKind [base_Port]::Port

MessagePort ::=
	[base_Port]::Port [isAtomic]::MARTE_PrimitivesTypes/Boolean [isConjugated]::MARTE_PrimitivesTypes/Boolean [direction]::MARTE_Foundations/GCM/DirectionKind

SendFlowAction ::=
	[base_InvocationAction]::InvocationAction

FlowSpecification ::=
	[direction]::MARTE_Foundations/GCM/DirectionKind [base_Interface]::Interface

SignalSpecification ::=
	[kind]::MARTE_Foundations/GCM/BFeatureKind [base_Interface]::Interface

BFeatureKind ::=
	[in]::ε
	[out]::ε
	[inout]::ε
	[required]::ε
	[provided]::ε
	[reqpro]::ε

FlowBFeature ::=
	[kind]::MARTE_Foundations/GCM/BFeatureKind [base_BehavioralFeature]::BehavioralFeature

DefaultLink ::=
	ε

InterRepetition ::=
	[repetitionShapeDependence]::MARTE_DataTypes/IntegerVector [isModulo]::MARTE_PrimitivesTypes/Boolean

Distribute ::=
	[patternShape]::RS_Library/ShapeSpecification [repetitionSpace]::RS_Library/ShapeSpecification [fromTiler]::RS_Library/TilerSpecification [toTiler]::RS_Library/TilerSpecification

Reshape ::=
	[patternShape]::RS_Library/ShapeSpecification [repetitonShape]::RS_Library/ShapeSpecification [srcTiler]::MARTE_Annexes/RSM/Tiler [targetTiler]::MARTE_Annexes/RSM/Tiler

Tiler ::=
	[origin]::MARTE_DataTypes/IntegerVector [paving]::MARTE_DataTypes/IntegerMatrix [fitting]::MARTE_DataTypes/IntegerMatrix [tiler]::RS_Library/TilerSpecification

VariableDirectionKind ::=
	[in]::ε
	[out]::ε
	[inout]::ε

Var ::=
	[dir]::MARTE_Annexes/VSL/Variables/VariableDirectionKind [base_Property]::Property

ExpressionContext ::=
	[base_NamedElement]::NamedElement

BoundedSubtype ::=
	[baseType]::DataType [minValue]::MARTE_PrimitivesTypes/String [maxValue]::MARTE_PrimitivesTypes/String [isMinOpen]::MARTE_PrimitivesTypes/Boolean [isMaxOpen]::MARTE_PrimitivesTypes/Boolean [base_DataType]::DataType

IntervalType ::=
	[intervalAttrib]::Property [base_DataType]::DataType

CollectionType ::=
	[collectionAttrib]::Property [base_DataType]::DataType

ChoiceType ::=
	[choiceAttrib]::Property+ [defaultAttrib]::Property [base_DataType]::DataType

TupleType ::=
	[tupleAttrib]::Property+ [base_DataType]::DataType

RtUnit ::=
	[isDynamic]::MARTE_PrimitivesTypes/Boolean [isMain]::MARTE_PrimitivesTypes/Boolean [poolSize]::MARTE_PrimitivesTypes/Integer [poolPolicy]::MARTE_DesignModel/RTEMoCC/PoolMgtPolicyKind [poolWaitingTime]::BasicNFP_Types/NFP_Duration [operationalMode]::Behavior [main]::Operation [memorySize]::BasicNFP_Types/NFP_DataSize [base_BehavioredClassifier]::BehavioredClassifier

PoolMgtPolicyKind ::=
	[infiniteWait]::ε
	[timedWait]::ε
	[dynamic]::ε
	[exception]::ε
	[other]::ε

PpUnit ::=
	[concPolicy]::MARTE_DesignModel/RTEMoCC/CallConcurrencyKind [memorySize]::BasicNFP_Types/NFP_DataSize [base_BehavioredClassifier]::BehavioredClassifier

CallConcurrencyKind ::=
	[sequential]::ε
	[guarded]::ε
	[concurrent]::ε

RtBehavior ::=
	[queueSchedPolicy]::GRM_BasicTypes/SchedPolicyKind [queueSize]::MARTE_PrimitivesTypes/Integer [msgMaxSize]::BasicNFP_Types/NFP_DataSize [base_Behavior]::Behavior

rtf ::=
	[base_BehavioralFeature]::BehavioralFeature [base_Action]::Action [base_Message]::Message [base_Signal]::Signal [utility]::MARTE_DataTypes/UtilityType [occKind]::BasicNFP_Types/ArrivalPattern [tRef]::MARTE_Foundations/Time/TimedInstantObservation [relDl]::BasicNFP_Types/NFP_Duration [absDl]::BasicNFP_Types/NFP_DateTime [boundDl]::BasicNFP_Types/NFP_BoundedDuration [rdTime]::BasicNFP_Types/NFP_Duration [miss]::BasicNFP_Types/NFP_Percentage [priority]::BasicNFP_Types/NFP_Integer

SynchronizationKind ::=
	[synchronous]::ε
	[asynchronous]::ε
	[delayedSynchronous]::ε
	[rendezVous]::ε
	[other]::ε

RtAction ::=
	[isAtomic]::MARTE_PrimitivesTypes/Boolean [synchKind]::MARTE_DesignModel/RTEMoCC/SynchronizationKind [msgSize]::BasicNFP_Types/NFP_DataSize [base_BehavioralFeature]::BehavioralFeature [base_InvocationAction]::InvocationAction

ExecutionKind ::=
	[deferred]::ε
	[remoteImmediate]::ε
	[localImmediate]::ε

ConcurrencyKind ::=
	[reader]::ε
	[writer]::ε
	[parallel]::ε

RtService ::=
	[concPolicy]::MARTE_DesignModel/RTEMoCC/ConcurrencyKind [exeKind]::MARTE_DesignModel/RTEMoCC/ExecutionKind [isAtomic]::MARTE_PrimitivesTypes/Boolean [synchKind]::MARTE_DesignModel/RTEMoCC/SynchronizationKind [base_BehavioralFeature]::BehavioralFeature

RteConnector ::=
	[bandwidth]::BasicNFP_Types/NFP_DataTxRate [packetT]::BasicNFP_Types/NFP_Duration [blockT]::BasicNFP_Types/NFP_Duration [transmMode]::MARTE_DataTypes/TransmModeKind [base_Connector]::Connector

HwResource ::=
	[description]::BasicNFP_Types/NFP_String [p_HW_Services]::MARTE_DesignModel/HRM/HwLogical/HwGeneral/HwResourceService+ [r_HW_Services]::MARTE_DesignModel/HRM/HwLogical/HwGeneral/HwResourceService+ [ownedHW]::MARTE_DesignModel/HRM/HwLogical/HwGeneral/HwResource+ [endPoints]::MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwEndPoint+

HwResourceService ::=
	ε

HwCommunicationResource ::=
	ε

HwArbiter ::=
	[controlledMedias]::MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwMedia+

HwMedia ::=
	[bandWidth]::BasicNFP_Types/NFP_DataTxRate [base_Association]::Association [arbiters]::MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwArbiter+

HwBus ::=
	[adressWidth]::BasicNFP_Types/NFP_DataSize [wordWidth]::BasicNFP_Types/NFP_DataSize [isSynchronous]::MARTE_PrimitivesTypes/Boolean [isSerial]::MARTE_PrimitivesTypes/Boolean

HwBridge ::=
	[sides]::MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwMedia+

HwEndPoint ::=
	[base_Port]::Port [connectedTo]::MARTE_DesignModel/HRM/HwLogical/HwCommunication/HwMedia+

ISA_Type ::=
	[RISC]::ε
	[CISC]::ε
	[VLIW]::ε
	[SIMD]::ε
	[Other]::ε
	[Undef]::ε

PLD_Technology ::=
	[SRAM]::ε
	[Antifuse]::ε
	[Flash]::ε
	[Other]::ε
	[Undef]::ε

PLD_Class ::=
	[SymetricalArray]::ε
	[RowBased]::ε
	[SeaOfGates]::ε
	[HierarchicalPLD]::ε
	[Other]::ε
	[Undef]::ε

PLD_Organization ::=
	[nbRows]::BasicNFP_Types/NFP_Integer [nbColumns]::BasicNFP_Types/NFP_Natural [class]::MARTE_DesignModel/HRM/HwLogical/HwComputing/PLD_Class

HwProcessor ::=
	[architecture]::BasicNFP_Types/NFP_DataSize [mips]::BasicNFP_Types/NFP_Natural [ipc]::BasicNFP_Types/NFP_Real [nbCores]::BasicNFP_Types/NFP_Natural [nbPipelines]::BasicNFP_Types/NFP_Natural [nbStages]::BasicNFP_Types/NFP_Natural [nbALUs]::BasicNFP_Types/NFP_Natural [nbFBUs]::BasicNFP_Types/NFP_Natural [ownedISAs]::MARTE_DesignModel/HRM/HwLogical/HwComputing/HwISA+ [predictors]::MARTE_DesignModel/HRM/HwLogical/HwComputing/HwBranchPredictor+ [caches]::MARTE_DesignModel/HRM/HwLogical/HwMemory/HWCache+ [ownedMMUs]::MARTE_DesignModel/HRM/HwLogical/HwStorageManager/HwMMU+

HwComputingResource ::=
	[op_Frequencies]::MARTE_DataTypes/NFP_FrequencyInterval

HwISA ::=
	[family]::BasicNFP_Types/NFP_String [inst_Width]::BasicNFP_Types/NFP_DataSize [type]::MARTE_DesignModel/HRM/HwLogical/HwComputing/ISA_Type

HwBranchPredictor ::=
	ε

HwASIC ::=
	ε

HwPLD ::=
	[technology]::MARTE_DesignModel/HRM/HwLogical/HwComputing/PLD_Technology [organization]::MARTE_DesignModel/HRM/HwLogical/HwComputing/PLD_Organization [nbLUTs]::BasicNFP_Types/NFP_Natural [ndLUT_Inputs]::BasicNFP_Types/NFP_Natural [nbFlipFlops]::BasicNFP_Types/NFP_Natural [blocksRAM]::MARTE_DesignModel/HRM/HwLogical/HwMemory/HwRAM+

HwMemory ::=
	[memorySize]::BasicNFP_Types/NFP_DataSize [adressSize]::BasicNFP_Types/NFP_DataSize [timings]::MARTE_DesignModel/HRM/HwLogical/HwMemory/Timing+

Timing ::=
	[notation]::BasicNFP_Types/NFP_String [description]::BasicNFP_Types/NFP_String [value]::BasicNFP_Types/NFP_Duration

Repl_Policy ::=
	[LRU]::ε
	[NFU]::ε
	[FIFO]::ε
	[Random]::ε
	[Other]::ε
	[Undef]::ε

WritePolicy ::=
	[WriteBack]::ε
	[WriteThrough]::ε
	[Other]::ε
	[Undef]::ε

CacheType ::=
	[Data]::ε
	[Instruction]::ε
	[Unified]::ε
	[Other]::ε
	[Undef]::ε

ROM_Type ::=
	[MaskedROM]::ε
	[EPROM]::ε
	[OTP_EPROM]::ε
	[EEPROM]::ε
	[Flash]::ε
	[Other]::ε
	[Undef]::ε

CacheStructure ::=
	[nsSets]::BasicNFP_Types/NFP_Natural [blockSize]::BasicNFP_Types/NFP_Natural [associativity]::BasicNFP_Types/NFP_Natural

MemoryOrganization ::=
	[nbRows]::BasicNFP_Types/NFP_Natural [nbColumns]::BasicNFP_Types/NFP_Natural [nbBanks]::BasicNFP_Types/NFP_Natural [wordSize]::BasicNFP_Types/NFP_DataSize

HwRAM ::=
	[organization]::MARTE_DesignModel/HRM/HwLogical/HwMemory/MemoryOrganization [isSynchronous]::BasicNFP_Types/NFP_Boolean [isStatic]::BasicNFP_Types/NFP_Boolean [isNonVolatile]::BasicNFP_Types/NFP_Boolean [repl_Policy]::MARTE_DesignModel/HRM/HwLogical/HwMemory/Repl_Policy [writePolicy]::MARTE_DesignModel/HRM/HwLogical/HwMemory/WritePolicy

HwROM ::=
	[type]::MARTE_DesignModel/HRM/HwLogical/HwMemory/ROM_Type [organization]::MARTE_DesignModel/HRM/HwLogical/HwMemory/MemoryOrganization

HwDrive ::=
	[sectorSize]::BasicNFP_Types/NFP_DataSize [buffer]::MARTE_DesignModel/HRM/HwLogical/HwMemory/HwRAM

HWCache ::=
	[level]::BasicNFP_Types/NFP_Natural [type]::MARTE_DesignModel/HRM/HwLogical/HwMemory/CacheType [structure]::MARTE_DesignModel/HRM/HwLogical/HwMemory/CacheStructure [repl_Policy]::MARTE_DesignModel/HRM/HwLogical/HwMemory/Repl_Policy [writePolicy]::MARTE_DesignModel/HRM/HwLogical/HwMemory/WritePolicy

HwStorageManager ::=
	[managedMemories]::MARTE_DesignModel/HRM/HwLogical/HwMemory/HwMemory+

HwDMA ::=
	[nbChannels]::BasicNFP_Types/NFP_Natural [transferWidth]::BasicNFP_Types/NFP_DataSize [drivenBy]::MARTE_DesignModel/HRM/HwLogical/HwComputing/HwProcessor+

HwMMU ::=
	[virtualAddrSpace]::BasicNFP_Types/NFP_DataSize [physicalAddrSpace]::BasicNFP_Types/NFP_DataSize [memoryProtection]::BasicNFP_Types/NFP_Natural [nbEntries]::BasicNFP_Types/NFP_Boolean [ownedTLBs]::MARTE_DesignModel/HRM/HwLogical/HwMemory/HWCache+

HwTimingResource ::=
	ε

HwClock ::=
	[frequency]::BasicNFP_Types/NFP_Frequency

HwTimer ::=
	[nbCounter]::BasicNFP_Types/NFP_Natural [counterWidth]::BasicNFP_Types/NFP_DataSize [inputClock]::MARTE_DesignModel/HRM/HwLogical/HwTiming/HwClock

HwDevice ::=
	ε

HwI_O ::=
	ε

HwSupport ::=
	ε

HwComponent ::=
	[kind]::MARTE_DesignModel/HRM/HwPhysical/HwLayout/ComponentKind [dimenssions]::BasicNFP_Types/NFP_Length [area]::BasicNFP_Types/NFP_Area [position]::MARTE_DataTypes/NFP_NaturalInterval [grid]::BasicNFP_Types/NFP_Natural [nbPins]::BasicNFP_Types/NFP_Natural [weight]::BasicNFP_Types/NFP_Real [price]::BasicNFP_Types/NFP_String [r_Conditions]::MARTE_DesignModel/HRM/HwPhysical/HwLayout/Env_Condition+ [poweredServices]::MARTE_DesignModel/HRM/HwLogical/HwGeneral/HwResourceService+ [staticConsumption]::BasicNFP_Types/NFP_Power [staticDissipation]::BasicNFP_Types/NFP_Power

ComponentKind ::=
	[Card]::ε
	[Channel]::ε
	[Chip]::ε
	[Port]::ε
	[Unit]::ε
	[Other]::ε
	[Undef]::ε

Env_Condition ::=
	[type]::MARTE_DesignModel/HRM/HwPhysical/HwLayout/ConditionType [status]::MARTE_DesignModel/HRM/HwPhysical/HwLayout/CompnentState [description]::BasicNFP_Types/NFP_String [range]::MARTE_DataTypes/Realnterval

ConditionType ::=
	[Temperature]::ε
	[Humidity]::ε
	[Altitude]::ε
	[Vibration]::ε
	[Shock]::ε
	[Other]::ε
	[Undef]::ε

CompnentState ::=
	[Operating]::ε
	[Storage]::ε
	[Other]::ε
	[Undef]::ε

HwPowerSupply ::=
	[suppliedPower]::BasicNFP_Types/NFP_Power [capacity]::BasicNFP_Types/NFP_Energy

HwCoolingSupply ::=
	[coolingPower]::BasicNFP_Types/NFP_Power

SwResource ::=
	[identifierElements]::TypedElement+ [stateElements]::TypedElement+ [memorySizeFootprint]::TypedElement [createServices]::BehavioralFeature+ [deleteServices]::BehavioralFeature+ [initializeServices]::BehavioralFeature+

SwAccessService ::=
	[isModifier]::MARTE_PrimitivesTypes/Boolean [accessedElement]::Property

InterruptKind ::=
	[HardwareInterruption]::ε
	[ProcessorDetectedException]::ε
	[ProgrammedException]::ε
	[Undef]::ε
	[Other]::ε

EntryPoint ::=
	[isReentrant]::MARTE_PrimitivesTypes/Boolean [routine]::BehavioralFeature [base_BehavioralFeature]::BehavioralFeature [base_Dependency]::Dependency

InterruptResource ::=
	[kind]::MARTE_DesignModel/SRM/SW_Concurrency/InterruptKind [isMaskable]::MARTE_PrimitivesTypes/Boolean [vectorElements]::TypedElement+ [maskElements]::TypedElement+ [routineConnectServices]::BehavioralFeature+ [routineDisconnectServices]::BehavioralFeature+

SwSchedulableResource ::=
	[isStaticSchedulingFeature]::MARTE_PrimitivesTypes/Boolean [isPreemptable]::MARTE_PrimitivesTypes/Boolean [schedulers]::NamedElement [deadlineElements]::TypedElement+ [deadlineTypeElements]::TypedElement+ [timeScliceElements]::TypedElement+ [delayServices]::BehavioralFeature+ [joinServices]::BehavioralFeature+ [yieldServices]::BehavioralFeature+

SwTimerResource ::=
	[durationElements]::TypedElement

MemoryPartition ::=
	[concurrentResources]::TypedElement+ [memorySpaces]::TypedElement+ [fork]::BehavioralFeature+ [exit]::BehavioralFeature+ [base_Namespace]::Namespace

Alarm ::=
	[isWatchdog]::MARTE_PrimitivesTypes/Boolean [timers]::TypedElement+

AccessPolicyKind ::=
	[Read]::ε
	[Write]::ε
	[ReadWrite]::ε
	[Undef]::ε
	[Other]::ε

DeviceBroker ::=
	[accessPolicy]::MARTE_DesignModel/SRM/SW_Brokering/AccessPolicyKind [isBuffered]::MARTE_PrimitivesTypes/Boolean [devices]::TypedElement+ [closeServices]::BehavioralFeature+ [controlServices]::BehavioralFeature+ [openServices]::BehavioralFeature+ [readServices]::BehavioralFeature+ [writeServices]::BehavioralFeature+

MemoryBroker ::=
	[accessPolicy]::MARTE_DesignModel/SRM/SW_Brokering/AccessPolicyKind [memories]::TypedElement+ [memoryBlockAdressSelements]::TypedElement+ [memoryBlockSizeElements]::TypedElement+ [lockServices]::BehavioralFeature+ [unlockServices]::BehavioralFeature+ [mapServices]::BehavioralFeature+ [unMapServices]::BehavioralFeature+

QueuePolicyKind ::=
	[FIFO]::ε
	[LIFO]::ε
	[Priority]::ε
	[Undef]::ε
	[Other]::ε

MessageResourceKind ::=
	[MessageQueue]::ε
	[Pipe]::ε
	[Blackboard]::ε
	[Undef]::ε
	[Other]::ε

NotificationKind ::=
	[Memorized]::ε
	[Bounded]::ε
	[Memoryless]::ε
	[Undef]::ε
	[Other]::ε

NotificationResourceKind ::=
	[Event]::ε
	[Barrier]::ε
	[Undef]::ε
	[Other]::ε

MutualExclusionResourceKind ::=
	[BooleanSemaphore]::ε
	[CountSemaphore]::ε
	[Mutex]::ε
	[Undef]::ε
	[Other]::ε

ConcurrentAccessProtocolKind ::=
	[PIP]::ε
	[PCP]::ε
	[NoPreemption]::ε
	[Undef]::ε
	[Other]::ε

SwSynchronizationResource ::=
	ε

SharedDataComResource ::=
	[readServices]::BehavioralFeature+ [writeServices]::BehavioralFeature+

MessageComResource ::=
	[isFixedMessageSize]::MARTE_PrimitivesTypes/Boolean [meachnism]::MARTE_DesignModel/SRM/SW_Interaction/MessageResourceKind [messageSizeElements]::TypedElement+ [messageQueueCapacityElements]::TypedElement+ [messageQueuePolicy]::MARTE_DesignModel/SRM/SW_Interaction/QueuePolicyKind [sendServices]::BehavioralFeature+ [receiveServices]::BehavioralFeature+

NotificationResource ::=
	[occurence]::MARTE_DesignModel/SRM/SW_Interaction/NotificationKind [mechanism]::MARTE_DesignModel/SRM/SW_Interaction/NotificationResourceKind [occurenceCountElements]::TypedElement+ [maskElements]::TypedElement+ [flushServices]::BehavioralFeature+ [signalServices]::BehavioralFeature+ [waitServices]::BehavioralFeature+ [clearServices]::BehavioralFeature+

SwMutualExclusionResource ::=
	[mechanism]::MARTE_DesignModel/SRM/SW_Interaction/MutualExclusionResourceKind [concurrentAccessProtocol]::MARTE_DesignModel/SRM/SW_Interaction/ConcurrentAccessProtocolKind [accessTokenElements]::TypedElement+ [releaseServices]::BehavioralFeature+ [acquireServices]::BehavioralFeature+

GaWorkloadGenerator ::=
	[pop]::BasicNFP_Types/NFP_Integer [base_Behavior]::Behavior

GaEventTrace ::=
	[content]::MARTE_PrimitivesTypes/String [format]::MARTE_PrimitivesTypes/String [location]::MARTE_PrimitivesTypes/String [base_NamedElement]::NamedElement

GaWorkloadEvent ::=
	[pattern]::BasicNFP_Types/ArrivalPattern [generator]::MARTE_AnalysisModel/GQAM/GaWorkloadGenerator [trace]::MARTE_AnalysisModel/GQAM/GaEventTrace [effect]::MARTE_AnalysisModel/GQAM/GaScenario [timedEvent]::TimeEvent [base_NamedElement]::NamedElement

GaScenario ::=
	[cause]::MARTE_AnalysisModel/GQAM/GaWorkloadEvent [hostDemand]::BasicNFP_Types/NFP_Duration+ [hostDemandOps]::BasicNFP_Types/NFP_Real+ [interOccT]::BasicNFP_Types/NFP_Duration+ [throughput]::BasicNFP_Types/NFP_Frequency+ [respT]::BasicNFP_Types/NFP_Duration [utilization]::BasicNFP_Types/NFP_Real+ [utilizationHost]::BasicNFP_Types/NFP_Real+ [root]::MARTE_AnalysisModel/GQAM/GaStep [timing]::MARTE_AnalysisModel/GQAM/GaTimingObs+ [behavior]::MARTE_AnalysisModel/GQAM/GaScenario

GaStep ::=
	[isAtomic]::BasicNFP_Types/NFP_Boolean [blockT]::BasicNFP_Types/NFP_Duration [rep]::BasicNFP_Types/NFP_Real [prob]::BasicNFP_Types/NFP_Real [priority]::BasicNFP_Types/NFP_Integer [concurRes]::MARTE_Foundations/GRM/SchedulableResource [host]::MARTE_AnalysisModel/GQAM/GaExecHost [serDemand]::MARTE_AnalysisModel/GQAM/GaRequestedService+ [servCount]::BasicNFP_Types/NFP_Real+

GaExecHost ::=
	[commTxOch]::BasicNFP_Types/NFP_Duration [commRcvOvh]::BasicNFP_Types/NFP_Duration [cntxtSwt]::BasicNFP_Types/NFP_Duration [clockOvh]::BasicNFP_Types/NFP_Duration [schedPriRange]::MARTE_DataTypes/IntegerInterval [memSize]::BasicNFP_Types/NFP_DataSize [utilization]::BasicNFP_Types/NFP_Real+ [throughput]::BasicNFP_Types/NFP_Frequency+

GaRequestedService ::=
	[base_Operation]::Operation

GaTimingObs ::=
	[laxity]::MARTE_AnalysisModel/GQAM/LaxityKind [startObs]::TimeObservation [stopObs]::TimeObservation

LaxityKind ::=
	[hard]::ε
	[soft]::ε
	[other]::ε

GaCommStep ::=
	ε

GaAcqStep ::=
	[acqRes]::MARTE_Foundations/GRM/Resource [resUnits]::BasicNFP_Types/NFP_Integer

GaRelStep ::=
	[relRes]::MARTE_Foundations/GRM/Resource [resUnits]::BasicNFP_Types/NFP_Integer

GaLatencyObs ::=
	[latency]::BasicNFP_Types/NFP_Duration+ [miss]::BasicNFP_Types/NFP_Real+ [utility]::MARTE_DataTypes/UtilityType+ [maxJitter]::BasicNFP_Types/NFP_Duration+

GaCommHost ::=
	[capacity]::BasicNFP_Types/NFP_DataTxRate+ [packetT]::BasicNFP_Types/NFP_Duration+ [blockT]::BasicNFP_Types/NFP_Duration+ [transmMode]::MARTE_DataTypes/TransmModeKind [utilization]::BasicNFP_Types/NFP_Real+ [throughput]::BasicNFP_Types/NFP_Frequency+

GaCommChannel ::=
	[packetSize]::BasicNFP_Types/NFP_DataSize [utlization]::BasicNFP_Types/NFP_Real+

GaWorkloadBehavior ::=
	[behavior]::MARTE_AnalysisModel/GQAM/GaScenario+ [demand]::MARTE_AnalysisModel/GQAM/GaWorkloadEvent+ [base_NamedElement]::NamedElement

GaAnalysisContext ::=
	[context]::BasicNFP_Types/NFP_String+ [workload]::MARTE_AnalysisModel/GQAM/GaWorkloadBehavior+ [platform]::MARTE_AnalysisModel/GQAM/GaResourcesPlatform+

GaResourcesPlatform ::=
	[resources]::MARTE_Foundations/GRM/Resource+ [base_Classifier]::Classifier

OptimallityCriterionKind ::=
	[meetHardDeadlines]::ε
	[minimizeMissedDeadlines]::ε
	[minimizedMeanTardiness]::ε
	[undef]::ε
	[other]::ε

SaAnalysisContext ::=
	[isSched]::BasicNFP_Types/NFP_Boolean [optCriterion]::MARTE_AnalysisModel/SAM/OptimallityCriterionKind

SaEnd2EndFlow ::=
	[isSched]::BasicNFP_Types/NFP_Boolean [schSlack]::BasicNFP_Types/NFP_Real [end2EndT]::BasicNFP_Types/NFP_Duration+ [end2EndD]::BasicNFP_Types/NFP_Duration+ [timing]::MARTE_AnalysisModel/GQAM/GaTimingObs+ [base_NamedElement]::NamedElement

SaCommStep ::=
	[deadline]::BasicNFP_Types/NFP_Duration [spareCap]::BasicNFP_Types/NFP_Duration [schSlack]::BasicNFP_Types/NFP_Real [base_BehavioralFeature]::BehavioralFeature

SaExecStep ::=
	[base_BehavioralFeature]::BehavioralFeature [deadline]::BasicNFP_Types/NFP_Duration [spareCap]::BasicNFP_Types/NFP_Duration [schSlack]::BasicNFP_Types/NFP_Real [preemptT]::BasicNFP_Types/NFP_Duration [readyT]::BasicNFP_Types/NFP_Duration [delayT]::BasicNFP_Types/NFP_Duration

SaSchedObs ::=
	[suspentions]::BasicNFP_Types/NFP_Integer+ [blockT]::BasicNFP_Types/NFP_Duration+ [overlaps]::BasicNFP_Types/NFP_Integer+

SaSharedResource ::=
	[capacity]::BasicNFP_Types/NFP_Integer [isPreemp]::BasicNFP_Types/NFP_Boolean [isConsum]::BasicNFP_Types/NFP_Boolean [acquisT]::BasicNFP_Types/NFP_Duration+ [releaseT]::BasicNFP_Types/NFP_Duration+

SaCommHost ::=
	[isSched]::BasicNFP_Types/NFP_Boolean [schSlack]::BasicNFP_Types/NFP_Real

SaExecHost ::=
	[isSched]::BasicNFP_Types/NFP_Boolean [schSlack]::BasicNFP_Types/NFP_Real [schedUtiliz]::BasicNFP_Types/NFP_Real [ISRswitchT]::BasicNFP_Types/NFP_Duration [ISRprioRange]::MARTE_DataTypes/IntegerInterval [schedPolicy]::GRM_BasicTypes/SchedPolicyKind [isPreempible]::BasicNFP_Types/NFP_Boolean

PaStep ::=
	[noSynch]::BasicNFP_Types/NFP_Boolean [extOpDemand]::MARTE_PrimitivesTypes/String+ [extOpCount]::BasicNFP_Types/NFP_Real+ [behavDemand]::MARTE_AnalysisModel/GQAM/GaScenario+ [behavCount]::BasicNFP_Types/NFP_Real+

PaRequestedStep ::=
	ε

PaCommStep ::=
	ε

PaResPassStep ::=
	[resource]::MARTE_Foundations/GRM/Resource [resUnits]::BasicNFP_Types/NFP_Integer

PaLogicalResource ::=
	[utilization]::BasicNFP_Types/NFP_Real [throughput]::BasicNFP_Types/NFP_Frequency [poolSize]::BasicNFP_Types/NFP_Integer

PaRunTInstance ::=
	[poolSize]::BasicNFP_Types/NFP_Integer [unbddPool]::MARTE_PrimitivesTypes/Boolean [instance]::MARTE_Foundations/GRM/Resource [host]::MARTE_Foundations/GRM/SchedulableResource [utilization]::BasicNFP_Types/NFP_Real [throughput]::BasicNFP_Types/NFP_Frequency [base_NamedElement]::NamedElement

TimeUnitKind ::=
	[s]::ε
	[tick]::ε
	[ms]::ε
	[us]::ε
	[min]::ε
	[hrs]::ε
	[dys]::ε

PowerUnitKind ::=
	[W]::ε
	[mW]::ε
	[KW]::ε

FrequencyUnitKind ::=
	[Hz]::ε
	[KHz]::ε
	[MHz]::ε
	[GHz]::ε
	[rpm]::ε

DataSizeUnitKind ::=
	[bits]::ε
	[Bytes]::ε
	[KB]::ε
	[MB]::ε
	[GB]::ε

DataTxRateUnitKind ::=
	[b_per_s]::ε
	[Kb_per_s]::ε
	[Mb_per_s]::ε

EnergyUnitKind ::=
	[J]::ε
	[KJ]::ε
	[Wh]::ε
	[KWh]::ε
	[mWh]::ε

LengthUnitKind ::=
	[m]::ε
	[cm]::ε
	[mm]::ε

AreaUnitKind ::=
	[mm2]::ε
	[um2]::ε

EDFParameters ::=
	[deadline]::BasicNFP_Types/NFP_Duration

SchedPolicyKind ::=
	[EarliestDeadlineFirst]::ε
	[FIFO]::ε
	[FixedPriority]::ε
	[LeastLaxityFirst]::ε
	[RoundRobin]::ε
	[TimeTableDriven]::ε
	[Undef]::ε
	[Other]::ε

ProtectProtocolKind ::=
	[FIFO]::ε
	[NoPreemption]::ε
	[PriorityCeiling]::ε
	[PriorityInheritance]::ε
	[StackBased]::ε
	[Undef]::ε
	[Other]::ε

PeriodicServerKind ::=
	[Sporadic]::ε
	[Deferrable]::ε
	[Undef]::ε
	[Other]::ε

SchedParameters ::=
	[edf]::GRM_BasicTypes/EDFParameters [fp]::GRM_BasicTypes/FixedPriorityParameters [pooling]::GRM_BasicTypes/PoolingParameters [server]::GRM_BasicTypes/PeriodicServerParameters

FixedPriorityParameters ::=
	[priority]::MARTE_PrimitivesTypes/Integer

PoolingParameters ::=
	[period]::BasicNFP_Types/NFP_Duration [overhead]::BasicNFP_Types/NFP_Duration+

PeriodicServerParameters ::=
	[kind]::GRM_BasicTypes/PeriodicServerKind [backgroundPriority]::MARTE_PrimitivesTypes/Integer [initialBudget]::BasicNFP_Types/NFP_Duration [replenishPeriod]::BasicNFP_Types/NFP_Duration [maxPendingReplenish]::MARTE_PrimitivesTypes/Integer

SourceKind ::=
	[est]::ε
	[meas]::ε
	[calc]::ε
	[req]::ε

BasicNFP_Types_DirectionKind ::=
	[incr]::ε
	[decr]::ε

StatisticalQualifierKind ::=
	[max]::ε
	[min]::ε
	[mean]::ε
	[range]::ε
	[percent]::ε
	[distrib]::ε
	[determ]::ε
	[other]::ε

NFP_CommonType ::=
	[expr]::MARTE_DataTypes/VSL_Expression [source]::BasicNFP_Types/SourceKind [statQ]::BasicNFP_Types/StatisticalQualifierKind [dir]::BasicNFP_Types/BasicNFP_Types_DirectionKind

NFP_Frequency ::=
	[unit]::MeasurementUnits/FrequencyUnitKind [precision]::MARTE_PrimitivesTypes/Real

NFP_Real ::=
	[value]::MARTE_PrimitivesTypes/Real

NFP_Natural ::=
	[value]::MARTE_PrimitivesTypes/UnlimitedNatural

NFP_Boolean ::=
	[value]::MARTE_PrimitivesTypes/Boolean

NFP_String ::=
	[value]::MARTE_PrimitivesTypes/String

NFP_Integer ::=
	[value]::MARTE_PrimitivesTypes/Integer

NFP_DateTime ::=
	[value]::MARTE_PrimitivesTypes/DateTime

NFP_DataTxRate ::=
	[unit]::MeasurementUnits/DataTxRateUnitKind [precision]::MARTE_PrimitivesTypes/Real

NFP_Power ::=
	[unit]::MeasurementUnits/PowerUnitKind [precision]::MARTE_PrimitivesTypes/Real

NFP_DataSize ::=
	[unit]::MeasurementUnits/DataSizeUnitKind [precision]::MARTE_PrimitivesTypes/Real

NFP_Energy ::=
	[unit]::MeasurementUnits/EnergyUnitKind [precision]::MARTE_PrimitivesTypes/Real

NFP_Length ::=
	[unit]::MeasurementUnits/LengthUnitKind [precision]::MARTE_PrimitivesTypes/Real

NFP_Area ::=
	[unit]::MeasurementUnits/AreaUnitKind [precision]::MARTE_PrimitivesTypes/Real

ArrivalPattern ::=
	[periodic]::BasicNFP_Types/PeriodicPattern [aperiodic]::BasicNFP_Types/AperiodicPattern [burst]::BasicNFP_Types/BurstPattern [irregular]::BasicNFP_Types/IrregularPattern [closed]::BasicNFP_Types/ClosedPattern [sporadic]::BasicNFP_Types/SporadicPattern

PeriodicPattern ::=
	[period]::BasicNFP_Types/NFP_Duration [jitter]::BasicNFP_Types/NFP_Duration [phase]::BasicNFP_Types/NFP_Duration

AperiodicPattern ::=
	[distribution]::BasicNFP_Types/NFP_CommonType

BurstPattern ::=
	[minInterarrival]::BasicNFP_Types/NFP_Duration [maxInterarrival]::BasicNFP_Types/NFP_Duration [minEventInterval]::BasicNFP_Types/NFP_Duration [maxEventInterval]::BasicNFP_Types/NFP_Duration [burstSize]::BasicNFP_Types/NFP_Integer

IrregularPattern ::=
	[phase]::BasicNFP_Types/NFP_Duration [interarrivals]::BasicNFP_Types/NFP_Duration+

ClosedPattern ::=
	[population]::BasicNFP_Types/NFP_Integer [extDelay]::BasicNFP_Types/NFP_Duration

SporadicPattern ::=
	[minInterarrival]::BasicNFP_Types/NFP_Duration [maxInterarrival]::BasicNFP_Types/NFP_Duration [jitter]::BasicNFP_Types/NFP_Duration

NFP_BoundedDuration ::=
	[values]::MARTE_PrimitivesTypes/Real [unit]::MeasurementUnits/TimeUnitKind [clock]::MARTE_PrimitivesTypes/String [precision]::MARTE_PrimitivesTypes/Real

NFP_Percentage ::=
	[unit]::MARTE_PrimitivesTypes/String

NFP_Duration ::=
	[unit]::MeasurementUnits/TimeUnitKind [clock]::MARTE_PrimitivesTypes/String [precision]::MARTE_PrimitivesTypes/Real

IntegerVector ::=
	[vectorElem]::MARTE_PrimitivesTypes/Integer+

IntegerMatrix ::=
	[matrixElem]::MARTE_DataTypes/IntegerVector+

IntegerInterval ::=
	[bound]::MARTE_PrimitivesTypes/Integer

TransmModeKind ::=
	[simplex]::ε
	[halfDuplex]::ε
	[fullDuplex]::ε

UtilityType ::=
	ε

Array ::=
	ε

Realnterval ::=
	[bound]::MARTE_PrimitivesTypes/Real

NFP_FrequencyInterval ::=
	[bound]::BasicNFP_Types/NFP_Frequency

MARTE_DataTypes_Interval ::=
	ε

NFP_NaturalInterval ::=
	[bound]::BasicNFP_Types/NFP_Natural

TimeNatureKind ::=
	[discrete]::ε
	[dense]::ε

TimeInterpretationKind ::=
	[duration]::ε
	[instant]::ε

TimedValueType ::=
	[unit]::TimeLibrary/TUK [value]::MARTE_PrimitivesTypes/Real [expr]::TimeLibrary/ClockedValueSpecification [onClock]::MARTE_PrimitivesTypes/String

TUK ::=
	ε

TimeLibrary_TimeUnitKind ::=
	[s]::ε
	[ms]::ε
	[us]::ε
	[ns]::ε
	[min]::ε
	[hrs]::ε
	[dys]::ε

TimeStandardKind ::=
	[TAI]::ε
	[UT0]::ε
	[UT1]::ε
	[UTC]::ε
	[Local]::ε
	[TT]::ε
	[TBD]::ε
	[TCG]::ε
	[TCB]::ε
	[Sidereal]::ε
	[GPS]::ε

LogicalTimeUnit ::=
	[tick]::ε

EventKind ::=
	[start]::ε
	[finish]::ε
	[send]::ε
	[receive]::ε
	[consume]::ε

IdealClock ::=
	ε

TilerSpecification ::=
	[origin]::MARTE_DataTypes/IntegerVector [paving]::MARTE_DataTypes/IntegerMatrix [fitting]::MARTE_DataTypes/IntegerVector

ShapeSpecification ::=
	[size]::MARTE_PrimitivesTypes/UnlimitedNatural+

Integer ::=
	integer

Boolean ::=
	"true"
	"false"

String ::=
	string

Element ::=
	Comment

Element ::=
	NamedElement

Element ::=
	TemplateableElement

Element ::=
	Relationship

Element ::=
	TemplateSignature

Element ::=
	TemplateParameter

Element ::=
	ParameterableElement

Element ::=
	TemplateParameterSubstitution

Element ::=
	MultiplicityElement

Element ::=
	Image

Element ::=
	ActivityGroup

Element ::=
	Slot

Element ::=
	ExceptionHandler

Comment ::=
	[body]::MARTE_PrimitivesTypes/String [annotatedElement]::Element+

Package ::=
	Profile

Package ::=
	[ownedType]::Type+ [packageMerge]::PackageMerge+ [packagedElement]::PackageableElement+ [nestedPackage]::Package+ [nestingPackage]::Package [profileApplication]::ProfileApplication+

NamedElement ::=
	Namespace

NamedElement ::=
	TypedElement

NamedElement ::=
	RedefinableElement

NamedElement ::=
	DeploymentTarget

NamedElement ::=
	CollaborationUse

NamedElement ::=
	Message

NamedElement ::=
	Lifeline

NamedElement ::=
	Trigger

NamedElement ::=
	Vertex

NamedElement ::=
	ParameterSet

NamedElement ::=
	DeployedArtifact

NamedElement ::=
	MessageEnd

NamedElement ::=
	InteractionFragment

NamedElement ::=
	GeneralOrdering

NamedElement ::=
	PackageableElement

NamedElement ::=
	ActivityPartition

NamedElement ::=
	Include

NamedElement ::=
	Extend

StructuralFeature ::=
	Property

ConnectableElement ::=
	Parameter

ConnectableElement ::=
	Variable

TemplateableElement ::=
	StringExpression

Property ::=
	Port

Property ::=
	[class]::Class [datatype]::DataType [owningAssociation]::Association [association]::Association [isDerived]::MARTE_PrimitivesTypes/Boolean [isDerivedUnion]::MARTE_PrimitivesTypes/Boolean [default]::MARTE_PrimitivesTypes/String [aggregation]::AggregationKind [isComposite]::MARTE_PrimitivesTypes/Boolean [redefinedProperty]::Property+ [defaultValue]::ValueSpecification [opposite]::Property [subsettedProperty]::Property+ [qualifier]::Property+ [associationEnd]::Property

VisibilityKind ::=
	[public]::ε
	[private]::ε
	[protected]::ε
	[package]::ε

Dependency ::=
	Abstraction

Dependency ::=
	Deployment

Dependency ::=
	[supplier]::NamedElement+ [client]::NamedElement+

DirectedRelationship ::=
	ElementImport

DirectedRelationship ::=
	PackageImport

DirectedRelationship ::=
	TemplateBinding

DirectedRelationship ::=
	Generalization

DirectedRelationship ::=
	PackageMerge

DirectedRelationship ::=
	ProfileApplication

DirectedRelationship ::=
	ProtocolConformance

DirectedRelationship ::=
	Dependency

DirectedRelationship ::=
	Include

DirectedRelationship ::=
	Extend

Relationship ::=
	DirectedRelationship

Relationship ::=
	Association

Namespace ::=
	Package

Namespace ::=
	Classifier

Namespace ::=
	BehavioralFeature

Namespace ::=
	Region

Namespace ::=
	Transition

Namespace ::=
	State

Namespace ::=
	InteractionOperand

ElementImport ::=
	[visibility]::VisibilityKind [alias]::MARTE_PrimitivesTypes/String [importedElement]::PackageableElement [importingNamespace]::Namespace

PackageImport ::=
	[visibility]::VisibilityKind [importedPackage]::Package [importingNamespace]::Namespace

Constraint ::=
	IntervalConstraint

Constraint ::=
	InteractionConstraint

Constraint ::=
	[constrainedElement]::Element+ [specification]::ValueSpecification [context]::Namespace

TypedElement ::=
	ConnectableElement

TypedElement ::=
	ValueSpecification

TypedElement ::=
	ObjectNode

Association ::=
	Extension

Association ::=
	[isDerived]::MARTE_PrimitivesTypes/Boolean [ownedEnd]::Property+ [endType]::Type+ [memberEnd]::Property [navigableOwnedEnd]::Property+

Classifier ::=
	BehavioredClassifier

Classifier ::=
	DataType

Classifier ::=
	Signal

Classifier ::=
	Interface

Classifier ::=
	StructuredClassifier

Classifier ::=
	Association

Classifier ::=
	Artifact

RedefinableElement ::=
	Feature

RedefinableElement ::=
	ExtensionPoint

RedefinableElement ::=
	ActivityNode

RedefinableElement ::=
	ActivityEdge

RedefinableElement ::=
	Region

RedefinableElement ::=
	Transition

TemplateBinding ::=
	[signature]::TemplateSignature [parameterSubstitution]::TemplateParameterSubstitution+ [boundElement]::TemplateableElement

TemplateSignature ::=
	[parameter]::TemplateParameter+ [ownedParameter]::TemplateParameter+ [template]::TemplateableElement

TemplateParameter ::=
	[signature]::TemplateSignature [parameteredElement]::ParameterableElement [ownedParameteredElement]::ParameterableElement [default]::ParameterableElement [ownedDefault]::ParameterableElement

ParameterableElement ::=
	ConnectableElement

ParameterableElement ::=
	PackageableElement

TemplateParameterSubstitution ::=
	[formal]::TemplateParameter [actual]::ParameterableElement+ [ownedActual]::ParameterableElement+ [templateBinding]::TemplateBinding

Generalization ::=
	[isSubstitutable]::MARTE_PrimitivesTypes/Boolean [general]::Classifier [generalizationSet]::GeneralizationSet+ [specific]::Classifier

GeneralizationSet ::=
	[isCovering]::MARTE_PrimitivesTypes/Boolean [isDisjoint]::MARTE_PrimitivesTypes/Boolean [powertype]::Classifier [generalization]::Generalization+

Feature ::=
	Connector

Feature ::=
	StructuralFeature

Feature ::=
	BehavioralFeature

Substitution ::=
	[contract]::Classifier [substitutingClassifier]::Classifier

PackageableElement ::=
	Constraint

PackageableElement ::=
	Type

PackageableElement ::=
	GeneralizationSet

PackageableElement ::=
	Observation

PackageableElement ::=
	Event

PackageableElement ::=
	Dependency

PackageableElement ::=
	ValueSpecification

PackageMerge ::=
	[mergedPackage]::Package [receivingPackage]::Package

ProfileApplication ::=
	[appliedProfile]::Profile [isStrict]::MARTE_PrimitivesTypes/Boolean [applyingPackage]::Package

Profile ::=
	[ownedStereotype]::Stereotype+ [metaclassReference]::ElementImport+ [metamodelReference]::PackageImport+

Stereotype ::=
	[icon]::Image+

Class ::=
	Stereotype

Class ::=
	Behavior

Class ::=
	[nestedClassifier]::Classifier+ [ownedOperation]::Operation+ [superClass]::Class+ [isActive]::MARTE_PrimitivesTypes/Boolean [ownedReception]::Reception+ [extension]::Extension+

StringExpression ::=
	[subExpression]::StringExpression+ [owningExpression]::StringExpression

Expression ::=
	StringExpression

Expression ::=
	[symbol]::MARTE_PrimitivesTypes/String [operand]::ValueSpecification+

ValueSpecification ::=
	Expression

ValueSpecification ::=
	OpaqueExpression

ValueSpecification ::=
	TimeExpression

ValueSpecification ::=
	Duration

ValueSpecification ::=
	Interval

BehavioredClassifier ::=
	UseCase

BehavioredClassifier ::=
	Collaboration

BehavioredClassifier ::=
	Class

Behavior ::=
	StateMachine

Behavior ::=
	Activity

Behavior ::=
	Interaction

MultiplicityElement ::=
	ConnectorEnd

MultiplicityElement ::=
	Parameter

MultiplicityElement ::=
	Pin

MultiplicityElement ::=
	Variable

DeploymentTarget ::=
	InstanceSpecification

DataType ::=
	Enumeration

DataType ::=
	[ownedAttribute]::Property+ [ownedOperation]::Operation+

AggregationKind ::=
	[none]::ε
	[shared]::ε
	[composite]::ε

CollaborationUse ::=
	[type]::Collaboration [roleBinding]::Dependency+

UseCase ::=
	[include]::Include+ [extend]::Extend+ [extensionPoint]::ExtensionPoint+ [subject]::Classifier+

Realization ::=
	Substitution

Realization ::=
	InterfaceRealization

Realization ::=
	Substitution
	InterfaceRealization

Abstraction ::=
	Realization

Abstraction ::=
	Manifestation

Abstraction ::=
	[mapping]::OpaqueExpression

Image ::=
	[content]::MARTE_PrimitivesTypes/String [location]::MARTE_PrimitivesTypes/String [format]::MARTE_PrimitivesTypes/String

OpaqueExpression ::=
	[body]::MARTE_PrimitivesTypes/String+ [language]::MARTE_PrimitivesTypes/String+ [result]::Parameter [behavior]::Behavior

Parameter ::=
	[direction]::ParameterDirectionKind [default]::MARTE_PrimitivesTypes/String [defaultValue]::ValueSpecification [operation]::Operation [parameterSet]::ParameterSet+ [isException]::MARTE_PrimitivesTypes/Boolean [isStream]::MARTE_PrimitivesTypes/Boolean [effect]::ParameterEffectKind

EncapsulatedClassifier ::=
	Class

Operation ::=
	[interface]::Interface [class]::Class [isQuery]::MARTE_PrimitivesTypes/Boolean [isOrdered]::MARTE_PrimitivesTypes/Boolean [isUnique]::MARTE_PrimitivesTypes/Boolean [lower]::MARTE_PrimitivesTypes/Integer [upper]::MARTE_PrimitivesTypes/UnlimitedNatural [precondition]::Constraint+ [postcondition]::Constraint+ [redefinedOperation]::Operation+ [datatype]::DataType [bodyCondition]::Constraint [type]::Type

Reception ::=
	[signal]::Signal

Extension ::=
	[isRequired]::MARTE_PrimitivesTypes/Boolean [metaclass]::Class

EnumerationLiteral ::=
	[enumeration]::Enumeration

ActivityPartition ::=
	[isDimension]::MARTE_PrimitivesTypes/Boolean [isExternal]::MARTE_PrimitivesTypes/Boolean [node]::ActivityNode+ [subpartition]::ActivityPartition+ [superPartition]::ActivityPartition [represents]::Element [edge]::ActivityEdge+

Enumeration ::=
	[ownedLiteral]::EnumerationLiteral+

InstanceSpecification ::=
	EnumerationLiteral

InstanceSpecification ::=
	[classifier]::Classifier+ [slot]::Slot+ [specification]::ValueSpecification

BehavioralFeature ::=
	Reception

BehavioralFeature ::=
	Operation

Signal ::=
	[ownedAttribute]::Property+

TimeExpression ::=
	[expr]::ValueSpecification [observation]::Observation+

Observation ::=
	TimeObservation

Observation ::=
	DurationObservation

Duration ::=
	[expr]::ValueSpecification [observation]::Observation+

DurationInterval ::=
	[min]::ValueSpecification [max]::ValueSpecification

Interval ::=
	DurationInterval

Interval ::=
	TimeInterval

Interval ::=
	[min]::ValueSpecification [max]::ValueSpecification

TimeConstraint ::=
	[firstEvent]::MARTE_PrimitivesTypes/Boolean

IntervalConstraint ::=
	TimeConstraint

IntervalConstraint ::=
	DurationConstraint

IntervalConstraint ::=
	TimeConstraint
	DurationConstraint

TimeInterval ::=
	[min]::ValueSpecification [max]::ValueSpecification

DurationConstraint ::=
	[firstEvent]::MARTE_PrimitivesTypes/Boolean

TimeObservation ::=
	[event]::NamedElement [firstEvent]::MARTE_PrimitivesTypes/Boolean

DurationObservation ::=
	[event]::NamedElement [firstEvent]::MARTE_PrimitivesTypes/Boolean

ConnectorEnd ::=
	[definingEnd]::Property [partWithPort]::Property [role]::ConnectableElement

TimeEvent ::=
	[isRelative]::MARTE_PrimitivesTypes/Boolean [when]::ValueSpecification

Event ::=
	TimeEvent

Port ::=
	[isBehavior]::MARTE_PrimitivesTypes/Boolean [isService]::MARTE_PrimitivesTypes/Boolean [required]::Interface+ [redefinedPort]::Port+ [provided]::Interface+ [protocol]::ProtocolStateMachine

Action ::=
	InvocationAction

Action ::=
	StructuredActivityNode

Message ::=
	[messageKind]::MessageKind [messageSort]::MessageSort [receiveEvent]::MessageEnd [sendEvent]::MessageEnd [connector]::Connector [interaction]::Interaction [argument]::ValueSpecification+ [signature]::NamedElement

Lifeline ::=
	[represents]::ConnectableElement [interaction]::Interaction [selector]::ValueSpecification [decomposedAs]::PartDecomposition [coveredBy]::InteractionFragment+

Connector ::=
	[type]::Association [redefinedConnector]::Connector+ [end]::ConnectorEnd [kind]::ConnectorKind [contract]::Behavior+

Collaboration ::=
	[collaborationRole]::ConnectableElement+

Interface ::=
	[ownedAttribute]::Property+ [ownedOperation]::Operation+ [nestedClassifier]::Classifier+ [redefinedInterface]::Interface+ [ownedReception]::Reception+ [protocol]::ProtocolStateMachine

InterfaceRealization ::=
	[contract]::Interface [implementingClassifier]::BehavioredClassifier

Trigger ::=
	[event]::Event [port]::Port+

ProtocolStateMachine ::=
	[conformance]::ProtocolConformance+

StateMachine ::=
	ProtocolStateMachine

StateMachine ::=
	[region]::Region+ [submachineState]::State+ [connectionPoint]::Pseudostate+ [extendedStateMachine]::StateMachine+

ProtocolConformance ::=
	[generalMachine]::ProtocolStateMachine [specificMachine]::ProtocolStateMachine

Deployment ::=
	[deployedArtifact]::DeployedArtifact+ [configuration]::DeploymentSpecification+ [location]::DeploymentTarget

Include ::=
	[addition]::UseCase [includingCase]::UseCase

Extend ::=
	[extendedCase]::UseCase [condition]::Constraint [extensionLocation]::ExtensionPoint+ [extension]::UseCase

ExtensionPoint ::=
	[useCase]::UseCase

Region ::=
	[subvertex]::Vertex+ [transition]::Transition+ [state]::State [extendedRegion]::Region [stateMachine]::StateMachine

StructuredClassifier ::=
	EncapsulatedClassifier

StructuredClassifier ::=
	Collaboration

Vertex ::=
	Pseudostate

Vertex ::=
	ConnectionPointReference

Transition ::=
	[kind]::TransitionKind [container]::Region [redefinedTransition]::Transition [guard]::Constraint [effect]::Behavior [trigger]::Trigger+ [target]::Vertex [source]::Vertex

TransitionKind ::=
	[internal]::ε
	[local]::ε
	[external]::ε

State ::=
	[isComposite]::MARTE_PrimitivesTypes/Boolean [isOrthogonal]::MARTE_PrimitivesTypes/Boolean [isSimple]::MARTE_PrimitivesTypes/Boolean [isSubmachineState]::MARTE_PrimitivesTypes/Boolean [submachine]::StateMachine [connection]::ConnectionPointReference+ [connectionPoint]::Pseudostate+ [redefinedState]::State [stateInvariant]::Constraint [entry]::Behavior [exit]::Behavior [doActivity]::Behavior [deferrableTrigger]::Trigger+ [region]::Region+

ParameterSet ::=
	[parameter]::Parameter+ [condition]::Constraint+

ActivityNode ::=
	ExecutableNode

ActivityNode ::=
	ObjectNode

ActivityGroup ::=
	InterruptibleActivityRegion

ActivityGroup ::=
	ActivityPartition

ParameterDirectionKind ::=
	[in]::ε
	[inout]::ε
	[out]::ε
	[return]::ε

ParameterEffectKind ::=
	[create]::ε
	[read]::ε
	[update]::ε
	[delete]::ε

InterruptibleActivityRegion ::=
	[node]::ActivityNode+ [interruptingEdge]::ActivityEdge+

DeployedArtifact ::=
	Artifact

Slot ::=
	[definingFeature]::StructuralFeature [value]::ValueSpecification+ [owningInstance]::InstanceSpecification

ExecutableNode ::=
	Action

OutputPin ::=
	[isControl]::MARTE_PrimitivesTypes/Boolean

Pin ::=
	OutputPin

Pin ::=
	InputPin

Pin ::=
	[isControl]::MARTE_PrimitivesTypes/Boolean

InputPin ::=
	[isControl]::MARTE_PrimitivesTypes/Boolean

MessageKind ::=
	[complete]::ε
	[lost]::ε
	[found]::ε
	[unknown]::ε

ExceptionHandler ::=
	[handlerBody]::ExecutableNode [exceptionInput]::ObjectNode [exceptionType]::Classifier+ [protectedNode]::ExecutableNode

ObjectNode ::=
	Pin

ObjectNodeOrderingKind ::=
	[unordered]::ε
	[ordered]::ε
	[LIFO]::ε
	[FIFO]::ε

MessageEnd ::=
	Gate

MessageSort ::=
	[synchCall]::ε
	[asynchCall]::ε
	[asynchSignal]::ε
	[createMessage]::ε
	[deleteMessage]::ε
	[reply]::ε

Interaction ::=
	[lifeline]::Lifeline+ [fragment]::InteractionFragment+ [action]::Action+ [formalGate]::Gate+ [message]::Message+

PartDecomposition ::=
	[refersTo]::Interaction [actualGate]::Gate+ [argument]::Action+

InteractionUse ::=
	PartDecomposition

InteractionUse ::=
	[refersTo]::Interaction [actualGate]::Gate+ [argument]::Action+

InteractionFragment ::=
	ExecutionSpecification

InteractionFragment ::=
	InteractionUse

InteractionFragment ::=
	OccurrenceSpecification

InteractionFragment ::=
	Interaction

InteractionFragment ::=
	InteractionOperand

ConnectorKind ::=
	[assembly]::ε
	[delegation]::ε

Pseudostate ::=
	[kind]::PseudostateKind [stateMachine]::StateMachine [state]::State

PseudostateKind ::=
	[initial]::ε
	[deepHistory]::ε
	[shallowHistory]::ε
	[join]::ε
	[fork]::ε
	[junction]::ε
	[choice]::ε
	[entryPoint]::ε
	[exitPoint]::ε
	[terminate]::ε

ConnectionPointReference ::=
	[entry]::Pseudostate+ [exit]::Pseudostate+ [state]::State

StructuredActivityNode ::=
	[variable]::Variable+ [edge]::ActivityEdge+ [mustIsolate]::MARTE_PrimitivesTypes/Boolean [node]::ActivityNode+

Variable ::=
	[scope]::StructuredActivityNode [activityScope]::Activity

Activity ::=
	[structuredNode]::StructuredActivityNode+ [variable]::Variable+ [node]::ActivityNode+ [isReadOnly]::MARTE_PrimitivesTypes/Boolean [edge]::ActivityEdge+ [partition]::ActivityPartition+ [isSingleExecution]::MARTE_PrimitivesTypes/Boolean [group]::ActivityGroup+

OccurrenceSpecification ::=
	[toBefore]::GeneralOrdering+ [event]::Event [toAfter]::GeneralOrdering+

DeploymentSpecification ::=
	[deploymentLocation]::MARTE_PrimitivesTypes/String [executionLocation]::MARTE_PrimitivesTypes/String [deployment]::Deployment

Gate ::=
	[message]::Message

Artifact ::=
	DeploymentSpecification

Artifact ::=
	[fileName]::MARTE_PrimitivesTypes/String [nestedArtifact]::Artifact+ [manifestation]::Manifestation+ [ownedOperation]::Operation+ [ownedAttribute]::Property+

GeneralOrdering ::=
	[before]::OccurrenceSpecification [after]::OccurrenceSpecification

Manifestation ::=
	[utilizedElement]::PackageableElement

InteractionOperand ::=
	[guard]::InteractionConstraint [fragment]::InteractionFragment+

InteractionConstraint ::=
	[minint]::ValueSpecification [maxint]::ValueSpecification

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]