Esprit ’89 pp 1052-1064 | Cite as

Cactus: A Retrospective View

  • J. Saras
  • A. Lanceros
  • J. Berrocal
  • A. Azcorra
  • J. Seoane
  • J. Riera
  • J. Delgado
  • F. Jordan
  • M. Medina
Conference paper

Abstract

This paper outlines some of the experience gained from the development of the CACTUS project. The paper focuses on four more or less independent subjects:
  • The use of Formal Description Techniques to develop higher layer protocols;

  • Problems and experiences found when implementing the P7 protocol;

  • General reflections about ASN. 1;

  • Comments on the underlying OSI tower used in X.400.

A brief description of CACTUS goals and practical achievements is also included.

Keywords

User Agent Abstract Syntax Incoming Message Data Link Layer Session Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

Some CACTUS documents are not available outside the consortium. For information, contact one of the authors

  1. [1]
    “CACTUS: Opening X.400 to the low PC world”, J.Saras et al, ESPRIT Conference Week 1988.Google Scholar
  2. [2]
    ECMA, “Mailbox Service Description and Mailbox Access Protocol Specification” Standard ECMA-122, July 1987.Google Scholar
  3. [3]
    CACTUS, “CACTUS Functional Specification”, March 1987Google Scholar
  4. [4]
    CACTUS, “CACTUS Architectural Specification”, September 1987Google Scholar
  5. [5]
    ISO, “Estelle - A Formal Description Technique Based on an Extended State Transition Model”, ISO DIS 9074, July 2, 1987.Google Scholar
  6. [6]
    ISO, “LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour”, ISO DIS 8807, July, 1986.Google Scholar
  7. [7]
    “The SRTS experience: Using LOTOS from Requirements Capture to Implementation”, Arturo Azcorra, DIT internal paper (to be published).Google Scholar
  8. [8]
    Manros, C., “The X.400 Blue Book Companion”, Technology Appraisals, 1989.Google Scholar
  9. [9]
    CCITT, “Recommendation X.411 - Message Handling Systems: Message Transfer Layer”, Fascicle VIII.7, Red Book, Malaga-Torremolinos, October 1984.Google Scholar
  10. [10]
    CCITT/ISO, “Message Handling Systems (MHS)/Message Oriented Text Interchange System (MOTIS)”, CCITT Recommendations X.400-X.420 / ISO DIS 10021 Parts 1–7, April 1988.Google Scholar
  11. [11]
    CACTUS, “MBS Formal Specification - Part 0: Internal Refinement”, September 1988.Google Scholar
  12. [12]
    CACTUS, “MBS Formal Specification - Part 1: Mailbox Delivery (MBD)”, September 1988.Google Scholar
  13. [13]
    CACTUS, “MBS Formal Specification - Part 2: Mailbox Access (MBA)”, September 1988.Google Scholar
  14. [14]
    Shaw, S., “Required Extension to P7”, ISO/IEC JTC 1/SC 18/WG 4 N1006, Expert Contribution, January 1989.Google Scholar

Copyright information

© ECSC, EEC, EAEC, Brussels and Luxembourg 1989

Authors and Affiliations

  • J. Saras
    • 1
  • A. Lanceros
    • 1
  • J. Berrocal
    • 1
  • A. Azcorra
    • 1
  • J. Seoane
    • 1
  • J. Riera
    • 1
  • J. Delgado
    • 2
  • F. Jordan
    • 2
  • M. Medina
    • 2
  1. 1.Dpto: Ingenieria Telematica ETSI TelecomunicacionUniversidad Politecnica de MadridMadridSpain
  2. 2.Dpto. Arquitectura de Computadores ETSE TelecommunicaciónUniversidad Politecnica de CatalunyaBarcelonaSpain

Personalised recommendations