ISO-9506-MMS-1 { iso standard 9506 part(2) mms-abstract-syntax-version1(1) }
DEFINITIONS ::= BEGIN

     EXPORTS AlternateAccess,
     AttachToEventCondition,
     AttachToSemaphore,
     ConfirmedServiceRequest,
     Data,
     EE-State,
     FileName,
     Identifier,
     Integer8, 
     Integer32,
     MMSString,
     MMS255String,
     ObjectName, 
     TimeOfDay,
     TypeSpecification,
     Unsigned32,
     Unsigned8,
     VariableSpecification;

     IMPORTS ApplicationReference,
     Authentication-value FROM
     MMS-Environment-1 { iso standard 9506 part(2) mms-environment-version1 (4) }
     ObtainFile-Request,
     ObtainFile-Response,
     ObtainFile-Error,
     FileOpen-Request,
     FileOpen-Response,
     FileRead-Request,
     FileRead-Response,
     FileClose-Request,
     FileClose-Response,
     FileRename-Request,
     FileRename-Response,
     FileRename-Error,
     FileDelete-Request,
     FileDelete-Response,
     FileDirectory-Request,
     FileDirectory-Response,
     DefineScatteredAccess-Request,
     DefineScatteredAccess-Response,
     ScatteredAccessDescription,
     GetScatteredAccessAttributes-Request,
     GetScatteredAccessAttributes-Response FROM
     ISO-9506-MMS-1A { iso standard 9506 part(2) mms-annex-version1(3) }
     AccessCondition, 
     AdditionalCBBOptions, 
     AdditionalSupportOptions, 
     Address, 
     AlarmAckRule, 
     Control-State, 
     DomainState, 
     EC-State, 
     EC-Class, 
     EE-Duration, 
     EE-Class, 
     EventTime, 
     Journal-Variable, 
     LogicalStatus,
     Modifier, 
     normalPriority, 
     normalSeverity, 
     ParameterSupportOptions, 
     PhysicalStatus,
     Priority, 
     ProgramInvocationState, 
     Running-Mode, 
     ServiceSupportOptions, 
     Severity, 
     Transitions, 
     TypeDescription, 
     ULState, 
     VMDState 
     FROM MMS-Object-Module-1 
     { iso standard 9506 part(1) mms-object-model-version1(2) }; 

 MMSpdu ::= CHOICE {
     confirmed-RequestPDU     [0] IMPLICIT Confirmed-RequestPDU,
     confirmed-ResponsePDU    [1] IMPLICIT Confirmed-ResponsePDU,
     confirmed-ErrorPDU  [2] IMPLICIT Confirmed-ErrorPDU,
IF ( unsolicitedStatus informationReport eventNotification )
     unconfirmed-PDU     [3] IMPLICIT Unconfirmed-PDU,
ELSE
     unconfirmed-PDU     [3] IMPLICIT NULL,
ENDIF
     rejectPDU [4] IMPLICIT RejectPDU,
IF (cancel)
     cancel-RequestPDU   [5] IMPLICIT Cancel-RequestPDU,
     cancel-ResponsePDU  [6] IMPLICIT Cancel-ResponsePDU,
     cancel-ErrorPDU     [7] IMPLICIT Cancel-ErrorPDU,
ELSE
     cancel-RequestPDU   [5] IMPLICIT NULL,
     cancel-ResponsePDU  [6] IMPLICIT NULL,
     cancel-ErrorPDU     [7] IMPLICIT NULL,
ENDIF
     initiate-RequestPDU [8] IMPLICIT Initiate-RequestPDU,
     initiate-ResponsePDU     [9] IMPLICIT Initiate-ResponsePDU,
     initiate-ErrorPDU   [10] IMPLICIT Initiate-ErrorPDU,
     conclude-RequestPDU [11] IMPLICIT Conclude-RequestPDU,
     conclude-ResponsePDU     [12] IMPLICIT Conclude-ResponsePDU,
     conclude-ErrorPDU   [13] IMPLICIT Conclude-ErrorPDU
     } 

 Confirmed-RequestPDU ::= SEQUENCE {
     invokeID  Unsigned32,
IF (attachToEventCondition attachToSemaphore )
     listOfModifiers     SEQUENCE OF Modifier OPTIONAL,
ENDIF
     service   ConfirmedServiceRequest,
     ...
IF ( csr cspi ),
     service-ext    [79] Request-Detail OPTIONAL
ENDIF
     -- shall not be transmitted if value is the value
     -- of a tagged type derived from NULL
     } 

 ConfirmedServiceRequest ::= CHOICE {
IF ( status )
     status    
     [0] IMPLICIT Status-Request
ELSE
     status    
     [0] IMPLICIT NULL
ENDIF
IF ( getNameList )
,    getNameList    
     [1] IMPLICIT GetNameList-Request
ELSE
,    getNameList    
     [1] IMPLICIT NULL
ENDIF
IF ( identify )
,    identify  
     [2] IMPLICIT Identify-Request
ELSE
,    identify  
     [2] IMPLICIT NULL
ENDIF
IF ( rename )
,    rename    
     [3] IMPLICIT Rename-Request
ELSE
,    rename    
     [3] IMPLICIT NULL
ENDIF
IF ( read )
,    read 
     [4] IMPLICIT Read-Request
ELSE
,    read 
     [4] IMPLICIT NULL
ENDIF
IF ( write )
,    write     
     [5] IMPLICIT Write-Request
ELSE
,    write     
     [5] IMPLICIT NULL
ENDIF
IF ( vnam vadr )
IF ( getVariableAccessAttributes )
,    getVariableAccessAttributes   
     [6] GetVariableAccessAttributes-Request
ELSE
,    getVariableAccessAttributes   
     [6] IMPLICIT NULL
ENDIF
ELSE
,    getVariableAccessAttributes   
     [6] IMPLICIT NULL
ENDIF
IF ( vnam )
IF ( vadr )
IF ( defineNamedVariable )
,    defineNamedVariable 
     [7] IMPLICIT DefineNamedVariable-Request
ELSE
,    defineNamedVariable 
     [7] IMPLICIT NULL
ENDIF
ELSE
,    defineNamedVariable 
     [7] IMPLICIT NULL
ENDIF
ELSE
,    defineNamedVariable 
     [7] IMPLICIT NULL
ENDIF
IF ( vsca )
     --   [8] is reserved for a service defined in Annex E
IF ( defineScatteredAccess )  
,    defineScatteredAccess    
     [8] IMPLICIT DefineScatteredAccess-Request
ELSE
,    defineScatteredAccess    
     [8] IMPLICIT NULL
ENDIF
     --   [9] is reserved for a service defined in Annex E
IF ( getScatteredAccessAttributes )
,    getScatteredAccessAttributes  
     [9] GetScatteredAccessAttributes-Request
ELSE
,    getScatteredAccessAttributes  
     [9] IMPLICIT NULL
ENDIF
ELSE
,    defineScatteredAccess    
     [8] IMPLICIT NULL,
     getScatteredAccessAttributes  
     [9] IMPLICIT NULL
ENDIF
IF ( vnam )
IF ( deleteVariableAccess )
,    deleteVariableAccess     
     [10] IMPLICIT DeleteVariableAccess-Request
ELSE
,    deleteVariableAccess     
     [10] IMPLICIT NULL
ENDIF
ELSE
,    deleteVariableAccess     
     [10] IMPLICIT NULL
ENDIF
IF ( vlis )
IF ( vnam )
IF ( defineNamedVariableList )
,    defineNamedVariableList  
     [11] IMPLICIT DefineNamedVariableList-Request
ELSE
,    defineNamedVariableList  
     [11] IMPLICIT NULL
ENDIF
IF ( getNamedVariableListAttributes )
                                        ,    getNamedVariableListAttributes     
     [12] GetNamedVariableListAttributes-Request
ELSE
,    getNamedVariableListAttributes     
     [12] IMPLICIT NULL
ENDIF
IF ( deleteNamedVariableList )
,    deleteNamedVariableList  
     [13] IMPLICIT DeleteNamedVariableList-Request
ELSE
,    deleteNamedVariableList  
     [13] IMPLICIT NULL
ENDIF
ELSE
,    defineNamedVariableList  
     [11] IMPLICIT NULL,
     getNamedVariableListAttribute
     [12] IMPLICIT NULL,
     deleteNamedVariableList  
     [13] IMPLICIT NULL
ENDIF
ELSE
,    defineNamedVariableList  
     [11] IMPLICIT NULL,
     getNamedVariableListAttributes     
     [12] IMPLICIT NULL,
     deleteNamedVariableList  
     [13] IMPLICIT NULL
ENDIF
ENDIF
IF ( vnam )
IF ( defineNamedType )
,    defineNamedType     
     [14] IMPLICIT DefineNamedType-Request
ELSE
,    defineNamedType     
     [14] IMPLICIT NULL
ENDIF
IF ( getNamedTypeAttributes )
,    getNamedTypeAttributes   
     [15] GetNamedTypeAttributes-Request
ELSE
,    getNamedTypeAttributes   
     [15] IMPLICIT NULL
ENDIF
IF ( deleteNamedType )
,    deleteNamedType     
     [16] IMPLICIT DeleteNamedType-Request
ELSE
,    deleteNamedType     
     [16] IMPLICIT NULL
ENDIF
ELSE
,    defineNamedType     
     [14] IMPLICIT NULL,
     getNamedTypeAttributes   
     [15] IMPLICIT NULL,
     deleteNamedType     
     [16] IMPLICIT NULL
ENDIF
IF ( input )
,    input     
     [17] IMPLICIT Input-Request
ELSE
,    input     
     [17] IMPLICIT NULL
ENDIF
IF ( output )
,    output    
     [18] IMPLICIT Output-Request
ELSE
,    output    
     [18] IMPLICIT NULL
ENDIF
IF ( takeControl )
,    takeControl    
     [19] IMPLICIT TakeControl-Request
ELSE
,    takeControl    
     [19] IMPLICIT NULL
ENDIF
IF ( relinquishControl )
,    relinquishControl   
     [20] IMPLICIT RelinquishControl-Request
ELSE
,    relinquishControl   
     [20] IMPLICIT NULL
ENDIF
IF ( defineSemaphore )
,    defineSemaphore     
     [21] IMPLICIT DefineSemaphore-Request
ELSE
,    defineSemaphore     
     [21] IMPLICIT NULL
ENDIF
IF ( deleteSemaphore )
,    deleteSemaphore     
     [22] DeleteSemaphore-Request
ELSE
,    deleteSemaphore     
     [22] IMPLICIT NULL
ENDIF
IF ( reportSemaphoreStatus )
,    reportSemaphoreStatus    
     [23] ReportSemaphoreStatus-Request
ELSE
,    reportSemaphoreStatus    
     [23] IMPLICIT NULL
ENDIF
IF ( reportPoolSemaphoreStatus )
,    reportPoolSemaphoreStatus     
     [24] IMPLICIT ReportPoolSemaphoreStatus-Request
ELSE
,    reportPoolSemaphoreStatus     
     [24] IMPLICIT NULL
ENDIF
IF ( reportSemaphoreEntryStatus )
,    reportSemaphoreEntryStatus    
     [25] IMPLICIT ReportSemaphoreEntryStatus-Request
ELSE
,    reportSemaphoreEntryStatus    
     [25] IMPLICIT NULL
ENDIF
IF ( initiateDownloadSequence )
,    initiateDownloadSequence 
     [26] IMPLICIT InitiateDownloadSequence-Request,
     downloadSegment     
     [27] IMPLICIT DownloadSegment-Request,
     terminateDownloadSequence     
     [28] IMPLICIT TerminateDownloadSequence-Request
ELSE
,    initiateDownloadSequence 
     [26] IMPLICIT NULL,
     downloadSegment     
     [27] IMPLICIT NULL,
     terminateDownloadSequence     
     [28] IMPLICIT NULL
ENDIF
IF ( initiateUploadSequence )
,    initiateUploadSequence   
     [29] IMPLICIT InitiateUploadSequence-Request,
     uploadSegment  
     [30] IMPLICIT UploadSegment-Request,
     terminateUploadSequence  
     [31] IMPLICIT TerminateUploadSequence-Request
ELSE
,    initiateUploadSequence   
     [29] IMPLICIT NULL,
     uploadSegment  
     [30] IMPLICIT NULL,
     terminateUploadSequence  
     [31] IMPLICIT NULL
ENDIF
IF ( requestDomainDownload )
,    requestDomainDownload    
     [32] IMPLICIT RequestDomainDownload-Request
ELSE
,    requestDomainDownload    
     [32] IMPLICIT NULL
ENDIF
IF ( requestDomainUpload )
,    requestDomainUpload 
     [33] IMPLICIT RequestDomainUpload-Request
ELSE
,    requestDomainUpload 
     [33] IMPLICIT NULL
ENDIF
IF ( loadDomainContent )
,    loadDomainContent   
     [34] IMPLICIT LoadDomainContent-Request
ELSE
,    loadDomainContent   
     [34] IMPLICIT NULL
ENDIF
IF ( storeDomainContent )
,    storeDomainContent  
     [35] IMPLICIT StoreDomainContent-Request
ELSE
,    storeDomainContent  
     [35] IMPLICIT NULL
ENDIF
IF ( deleteDomain )
,    deleteDomain   
     [36] IMPLICIT DeleteDomain-Request
ELSE
,    deleteDomain   
     [36] IMPLICIT NULL
ENDIF
IF ( getDomainAttributes )
,    getDomainAttributes 
     [37] IMPLICIT GetDomainAttributes-Request
ELSE
,    getDomainAttributes 
     [37] IMPLICIT NULL
ENDIF
IF ( createProgramInvocation )
,    createProgramInvocation  
     [38] IMPLICIT CreateProgramInvocation-Request
ELSE
,    createProgramInvocation  
     [38] IMPLICIT NULL
ENDIF
IF ( deleteProgramInvocation )
,    deleteProgramInvocation  
     [39] IMPLICIT DeleteProgramInvocation-Request
ELSE
,    deleteProgramInvocation  
     [39] IMPLICIT NULL
ENDIF
IF ( start )
,    start     
     [40] IMPLICIT Start-Request
ELSE
,    start     
     [40] IMPLICIT NULL
ENDIF
IF ( stop )
,    stop 
     [41] IMPLICIT Stop-Request
ELSE
,    stop 
     [41] IMPLICIT NULL
ENDIF
IF ( resume )
,    resume    
     [42] IMPLICIT Resume-Request
ELSE
,    resume    
     [42] IMPLICIT NULL
ENDIF
IF ( reset )
,    reset     
     [43] IMPLICIT Reset-Request
ELSE
,    reset     
     [43] IMPLICIT NULL
ENDIF
IF ( kill )
,    kill 
     [44] IMPLICIT Kill-Request
ELSE
,    kill 
     [44] IMPLICIT NULL
ENDIF
IF ( getProgramInvocationAttributes )
,    getProgramInvocationAttributes     
     [45] IMPLICIT GetProgramInvocationAttributes-Request
ELSE
,    getProgramInvocationAttributes
     [45] IMPLICIT NULL
ENDIF
IF ( obtainFile )
,    obtainFile     
     [46] IMPLICIT ObtainFile-Request
ELSE
,    obtainFile     
     [46] IMPLICIT NULL
ENDIF
IF ( defineEventCondition )
,    defineEventCondition     
     [47] IMPLICIT DefineEventCondition-Request
ELSE
,    defineEventCondition     
     [47] IMPLICIT NULL
ENDIF
IF ( deleteEventCondition )
,    deleteEventCondition     
     [48] DeleteEventCondition-Request
ELSE
,    deleteEventCondition     
     [48] IMPLICIT NULL