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.
KeywordsUser Agent Abstract Syntax Incoming Message Data Link Layer Session Service
Unable to display preview. Download preview PDF.
Some CACTUS documents are not available outside the consortium. For information, contact one of the authors
- “CACTUS: Opening X.400 to the low PC world”, J.Saras et al, ESPRIT Conference Week 1988.Google Scholar
- ECMA, “Mailbox Service Description and Mailbox Access Protocol Specification” Standard ECMA-122, July 1987.Google Scholar
- CACTUS, “CACTUS Functional Specification”, March 1987Google Scholar
- CACTUS, “CACTUS Architectural Specification”, September 1987Google Scholar
- ISO, “Estelle - A Formal Description Technique Based on an Extended State Transition Model”, ISO DIS 9074, July 2, 1987.Google Scholar
- ISO, “LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour”, ISO DIS 8807, July, 1986.Google Scholar
- “The SRTS experience: Using LOTOS from Requirements Capture to Implementation”, Arturo Azcorra, DIT internal paper (to be published).Google Scholar
- Manros, C., “The X.400 Blue Book Companion”, Technology Appraisals, 1989.Google Scholar
- CCITT, “Recommendation X.411 - Message Handling Systems: Message Transfer Layer”, Fascicle VIII.7, Red Book, Malaga-Torremolinos, October 1984.Google Scholar
- 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
- CACTUS, “MBS Formal Specification - Part 0: Internal Refinement”, September 1988.Google Scholar
- CACTUS, “MBS Formal Specification - Part 1: Mailbox Delivery (MBD)”, September 1988.Google Scholar
- CACTUS, “MBS Formal Specification - Part 2: Mailbox Access (MBA)”, September 1988.Google Scholar
- Shaw, S., “Required Extension to P7”, ISO/IEC JTC 1/SC 18/WG 4 N1006, Expert Contribution, January 1989.Google Scholar