MMSAbstractService

-- Pretty-printed by Asnp, the pretty-printer of France Telecom R&D

MMSAbstractService {iso(1) identified-organization(3) nato(26) stanags(0)
  mmhs(4406) object-identifiers(0) module(0) abstract-service(3)} DEFINITIONS
IMPLICIT TAGS ::=
BEGIN

--Prologue
-- Exports Everything
IMPORTS
  -- IPMS information objects
  AutoForwardComment, Heading
    --
    FROM IPMSInformationObjects {joint-iso-ccitt mhs-motis(6) ipms(1)
      modules(0) information-objects(2)}
  -- MMS information objects
  MM, MN, MNRN, MRN, MON, InformationObject
    --
    FROM MMSInformationObjects {iso(1) identified-organization(3) nato(26)
      stanags(0) mmhs(4406) object-identifiers(0) module(0) mms(1)}
  -- MMS object identifiers
  id-mpt-management, id-mpt-origination, id-mpt-reception
    --
    FROM MMSObjectIdentifiers {iso(1) identified-organization(3) nato(26)
      stanags(0) mmhs(4406) object-identifiers(0)}
  -- MTS abstract service
  MessageDeliveryEnvelope, MessageSubmissionEnvelope,
    MessageSubmissionIdentifier, MessageSubmissionTime, ORName,
    ProbeSubmissionenvelope, ProbeSubmissionIdentifier, ProbeSubmissionTime,
    RecipientImproperlySpecified, ReportDeliveryEnvelope,
    SupplementaryInformation
    --
    FROM MTSAbstractService {joint-iso-ccitt mhs-motis(6) mts(3) modules(0)
      mts-abstract-service(1)}
  -- Abstract service definition conventions
  ABSTRACT-ERROR, ABSTRACT-OPERATION, PORT
    --
    FROM AbstractServiceNotation {joint-iso-ccitt mhs-motis(6) asdc(2)
      modules(0) notation(1)};

-- Ports
origination PORT ::= {
  CONSUMER INVOKES
    {OriginateProbe |
      
      --  Although, national implementation may
      -- support probes within their own domain, probes are not
      -- permitted across national boundaries
      OriginateMM | OriginateMRN}
  ID                id-pt-origination}

reception PORT ::= {
  CONSUMER INVOKES
    {ReceiveReport | ReceiveMM | ReceiveMRN | ReceiveMNRN | ReceiveMON}
  ID                id-pt-reception}

management PORT ::= {
  CONSUMER INVOKES
    {ChangeAutoDiscard | ChangeAutoAcknowledgment | ChangeAutoForwarding}
  ID                id-pt-management}

-- Origination abstract operations
-- Probes are prohibited across national boundaries.
originate-probe ABSTRACT-OPERATION ::= {
  ARGUMENT  OriginateProbeArgument
  RESULT    OriginateProbeResult
  ERROR     {SubcriptionError | RecipientImproperlySpecified}}

OriginateProbeArgument ::= SET {
  envelope  [0]  ProbeSubmissionEnvelope,
  content   [1]  MM}

OriginateProbeResult ::= SET {
  submission-identifier  [0]  ProbeSubmissionIdentifier,
  submission-time        [1]  ProbeSubmissionTime}

originate-mm ABSTRACT-OPERATION ::= {
  ARGUMENT  OriginateMMArgument
  RESULT    OriginateMMResult
  ERROR     {SubcriptionError | RecipientImproperlySpecified}}

OriginateMMArgument ::= SET {
  envelope  [0]  MessageSubmissionEnvelope,
  content   [1]  MM}

OriginateMMResult ::= SET {
  submission-identifier  [0]  MessageSubmissionIdentifier,
  submission-time        [1]  MessageSubmissionTime}

originate-mrn ABSTRACT-OPERATION ::= {
  ARGUMENT  OriginateMRNArgument
  RESULT    OriginateMRNResult
  ERROR     {SubcriptionError | RecipientImproperlySpecified}}

OriginateMRNArgument ::= SET {
  envelope  [0]  MessageSubmissionEnvelope,
  content   [1]  MRN}

OriginateMRNResult ::= SET {
  submission-identifier  [0]  MessageSubmissionIdentifier,
  submission-time        [1]  MessageSubmissionTime}

-- Reception abstract operations
receive-report ABSTRACT-OPERATION ::= {
  ARGUMENT      ReceiveReportArgument
  RESULT ERROR  {}}

ReceiveReportArgument ::= SET {
  envelope            [0]  ReportDeliveryEnvelope,
  undelivered-object  [1]  InformationObject OPTIONAL}

receive-mm ABSTRACT-OPERATION ::= {
  ARGUMENT      ReceiveMMArgument
  RESULT ERROR  {}}

ReceiveMMArgument ::= SET {
  envelope  [0]  MessageDeliveryEnvelope,
  content   [1]  MM}

receive-mrn ABSTRACT-OPERATION ::= {
  ARGUMENT      ReceiveMRNArgument
  RESULT ERROR  {}}

ReceiveMRNArgument ::= SET {
  envelope  [0]  MessageDeliveryEnvelope,
  content   [1]  MRN}

receive-mnrn ABSTRACT-OPERATION ::= {
  ARGUMENT      ReceiveMNRNArgument
  RESULT ERROR  {}}

ReceiveMNRNArgument ::= SET {
  envelope  [0]  MessageDeliveryEnvelope,
  content   [1]  MNRN}

receive-mon ABSTRACT-OPERATION ::= {
  ARGUMENT      ReceiveMONArgument
  RESULT ERROR  {}}

ReceiveMONArgument ::= SET {
  envelope  [0]  MessageDeliveryEnvelope,
  content   [1]  MON}

-- Management abstract operations
-- It should be noted that in cases where an implementation has dual 
-- IPM and MM functionality, the management abstract operations may be used 
-- for support of both types of messaging.
change-auto-discard ABSTRACT-OPERATION ::= {
  ARGUMENT       ChangeAutoDiscardArgument
  RESULT ERRORS  {}}

ChangeAutoDiscardArgument ::= SET {
  auto-discard-expired-MMs   [0]  BOOLEAN,
  auto-discard-obsolete-MMs  [1]  BOOLEAN}

change-auto-acknowledgement ABSTRACT-OPERATION ::= {
  ARGUMENT       ChangeAutoAcknowledgementArgument
  RESULT ERRORS  {SubscriptionError}}

ChangeAutoAcknowledgementArgument ::= SET {
  auto-acknowledge-MMs                 [0]  BOOLEAN,
  auto-acknowledge-suppl-receipt-info  [1]  SupplementaryInformation}

change-auto-forwarding ABSTRACT-OPERATION ::= {
  ARGUMENT       ChangeAutoForwardingArgument
  RESULT ERRORS  {SubscriptionError,
                  RecipientImproperlySpecified}}

ChangeAutoForwardingArgument ::= SET {
  autoforward-MMs          [0]  BOOLEAN,
  auto-forward-recipients  [1]  SEQUENCE OF ORName OPTIONAL,
  auto-forward-heading     [2]  Heading OPTIONAL,
  auto-forward-comment     [3]  AutoForwardComment OPTIONAL}

-- Abstract errors
subscription-error ABSTRACT-ERROR ::= {PARAMETER  SubscriptionErrorParameter
}

SubscriptionErrorParameter ::= SET {problem  [0]  SubscriptionProblem}

SubscriptionProblem ::= ENUMERATED {
  mms-eos-not-subcribed(0), mts-eos-not-subcribed(1)}

END --of MMSAbstractService