Table of Contents

 1 Scope and objectives             
        1.1 Conformance  
        1.2 Restrictions on SDL‑2010 and UML       
        1.3 Mapping          
 2 References 
 3 Definitions 
        3.1 Terms defined elsewhere           
        3.2 Terms defined in this Recommendation 
 4 Abbreviations and acronyms
 5 Conventions             
        5.1 Conventions   
        5.2 Names and name resolution: NamedElement       
        5.3 Transformation             
 6 Summary of stereotypes and metaclasses         
        6.1 Stereotype summary    
        6.2 Metaclass summary      
 7 Structure     
        7.1 Structure metamodel diagrams  
        7.2 ActiveClass    
        7.3 ChoiceType    
        7.4 Classifier         
        7.5 Connector       
        7.6 DataTypeDefinition     
        7.7 Interface          
        7.8 LiteralType     
        7.9 Operation        
       7.10 Package          
       7.11 Parameter       
       7.12 Port  
       7.13 Property         
       7.14 Signal             
       7.15 Specification 
       7.16 StructureType              
       7.17 Syntype          
       7.18 Timer              
 8 State machines         
        8.1 State machine metamodel diagrams        
        8.2 FinalState        
        8.3 Pseudostate     
        8.4 Region             
        8.5 State  
        8.6 StateMachine 
        8.7 Transition       
 9 Actions and activities            
        9.1 Action and activity metamodel diagrams              
        9.2 Activity           
        9.3 AssignValueAction      
        9.4 Break
        9.5 CallOperationAction    
        9.6 ConditionalNode          
        9.7 Continue         
        9.8 CreateObjectAction     
        9.9 ExpressionAction         
       9.10 LoopNode      
       9.11 ResetAction   
       9.12 Return            
       9.13 SequenceNode             
       9.14 SendSignalAction        
       9.15 SetAction       
       9.16 Stop 
       9.17 Variable         
10 ValueSpecification 
       10.1 ValueSpecification metamodel diagrams             
       10.2 ActiveAgentsExpression           
       10.3 AnyExpression            
       10.4 ClosedRange 
       10.5 ConditionalExpression              
       10.6 ConditionItem              
       10.7 EqualityExpression     
       10.8 ImperativeExpression
       10.9 LiteralValue  
      10.10 NowExpression          
      10.11 OpenRange   
      10.12 OperationApplication              
      10.13 PidExpression             
      10.14 PidExpressionKind    
      Page
      10.15 RangeCheckExpression           
      10.16 RangeCondition         
      10.17 SdlExpression             
      10.18 SizeConstraint            
      10.19 StateExpression          
      10.20 TimerActiveExpression           
      10.21 TimerRemainingDuration        
      10.22 TypeCheckExpression             
      10.23 TypeCoercion             
      10.24 Undefined    
      10.25 ValueReturningCallNode        
      10.26 VariableAccess          
11 Context parameters
       11.1 Context parameter metamodel diagrams              
       11.2 ActualContextParameter           
       11.3 AgentContextParameter            
       11.4 AgentTypeContextParameter   
       11.5 CompositeStateTypeContextParameter 
       11.6 FormalContextParameter          
       11.7 GateContextParameter              
       11.8 GateConstraint             
       11.9 InterfaceContextParameter       
      11.10 ProcedureContextParameter   
      11.11 SignalContextParameter          
      11.12 SortContextParameter              
      11.13 SynonymContextParameter     
      11.14 TimerContextParameter           
      11.15 VariableContextParameter      
12 Predefined data       
       12.1 Non-parameterized data types 
       12.2 Parameterized data types          
       12.3 Pid    
       12.4 UndefinedVariable     
Appendix I – Example language specification    
        I.1 Conventions    
        I.2 Lexical rules and names              
        I.3 Organization   
        I.4 Basic concepts
        I.5 Structure          
        I.6 Communication             
        I.7 State machine  
        I.8 Sequential behaviour    
        I.9 Data   
       I.10 Exceptions     
       I.11 Generic system definition         
Bibliography