Towards an implementation-oriented specification of TP protocol in LOTOS

  • Ing Widya
  • Gert-Jan van der Heijden
Industrial Usage Reports
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


This paper presents an exercise in the specification and implementation design of a realistic OSI Application-layer protocol in accordance with the LotoSphere methodology. It also reports some of the experiences acquired during the design process. The main motivation of the work presented is the need to have a genuine assessment of the design methodology for its industrial applicability.

The OSI Transaction Processing protocol is selected as a design example due to its distributed nature and its entangled compositional structure, comprising of OSI common application service elements, i.e. AC-SE and CCR-SE, and TP specific elements. This paper focusses on the design trajectory of the TP specific parts.

The design process starts with an informal protocol description and after several design steps ends with an implementation specified in LOTOS. This process is globally constrained by realizability and open-endedness requirements. The derived implementation is expressed in a state(-machine) oriented way and is in a design sense close to a realization. UNIX workstations with a running ISODE are selected as realization environment. An alternative design approach which suitably fits ISODE is exposed but not elaborated. A second design cycle has been undertaken to enable some evaluation of the open-endedness of the specification.


Design Step Design Cycle Transaction Processing Realization Phase Service Element 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    C. A. Vissers, J. v.d. Lagemaat ”Report on LotoSphere” Proc.ESPRIT Technical Week, Brussels, Nov. 1989Google Scholar
  2. 2.
    J.Navarro and P.San Martin, ”Experience in the Development of an ISDN Layer 3 Service in LOTOS”, in J. Quemada (eds), Formal Description Techniques III, North Holland, 1991 pages 327–336.Google Scholar
  3. 3.
    R. E. Booth, V. M. Jones, R. J. Clark, F. Juillot, G-J. van der Heijden, and I. Widya, ”A formal development trajectory for OSI application layer protocols”, Proc. of the 5th International Conference on Putting into Practice Methods and Tools for Information System Design, Nantes, Sept. 1992.Google Scholar
  4. 4.
    ”LOTOS Industrial Application: Mini-Mail”, E.Wiedmer, LotoSphere Project ES-PRIT II 2304, Final Deliverable, Lo/WP3/T3.2/N0068, 1992Google Scholar
  5. 5.
    ISO/DIS 10026-3 Information Processing Systems — Open Systems Interconnection — Distributed Transaction Processing — Part 3: Protocol Specification, 1990.Google Scholar
  6. 6.
    ISO, ”Protocol Specification for the Association Control Service Element”, ISO/IS 8650, 1988.Google Scholar
  7. 7.
    ISO, ”Protocol Specification for the Commitment, Concurrency and Recovery Service Element” ISO/IS 9805.3.Google Scholar
  8. 8.
    M. T. Rose, ”The ISO Development Environment: User's Manual”, ISODE 6.0, Performance Systems Int. Inc., Jan. 1990.Google Scholar
  9. 9.
    A. M. Fletcher, ”An Overview of the OSI Transaction Processing Standard”, Proc. Int. Open Systems '89, Online Publ., 1989, page 153–162.Google Scholar
  10. 10.
    L. F. Pires and C. A. Vissers, ”Overview of the LotoSphere Design Methodology”, ESPRIT Conf. 1990, Brussels Nov. 12–15, 1990.Google Scholar
  11. 11.
    ISO, ”LOTOS — a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour”, ISO/IS 8807, 1988.Google Scholar
  12. 12.
    C. A. Vissers, G.Scollo and M.van Sinderen, ”Architecture and Specification Style in Formal Descriptions of Distributed Systems”, Proc. IFIP WG6.1, PSTV VIII, North Holland, 1989, page 189–204.Google Scholar
  13. 13.
    ISO, ”Guidelines for the Application Estelle, LOTOS and SDS, ISO-IEC/TR 10167, 1990.Google Scholar
  14. 14.
    ISO, ”Application Layer Structure”, ISO/IS 9545, 1989.Google Scholar
  15. 15.
    M. van Sinderen and I. Widya, ”On the Design and Formal Specification of a Transac-tion Processing Protocol”, In J. Quemada (eds), Formal Description Technique III, North Holland, 1991, pages 411–426.Google Scholar
  16. 16.
    ”The Lotosphere Design Methodology: Guidelines”, LotoSphere Project ESPRIT II 2304, Lo/WP1/T1.1/N0044/V04, March 1992.Google Scholar
  17. 17.
    ”LOTOS Specification of the OSI OCR Protocol: Architecture”, Val. Jones and Robert Clark, LotoSphere Project ESPRIT II 2304, Lo/WP3/T3.1/UST/N0003.Google Scholar
  18. 18.
    H. Eertink and D. Wolz, ”Symbolic Execution of LOTOS Specification”, Proceeding of the 5th International Conference on Formal Description Techniques, ed. M. Diaz and R. Groz, Lannion, France, Oct. 1992, pp. 289–304.Google Scholar
  19. 19.
    ”Implementation of the OSI Association Control Service Element Using C-ex”, R. Levy, Computer Networks Laboratory, EPF-Lausanne, Switzerland, 1991Google Scholar
  20. 20.
    ”Detailed Design Document: COLOS”, E. Dubuis and K. Warkentyne, LotoSphere Project ESPRIT II 2304, Lo/WP2/T2.2/ASCOM/N0024, 1992.Google Scholar
  21. 21.
    ”On the Use of Pre-Defined Implementation Constructs in Distributed Systems Design”, L. F. Pires, M. van Sinderen and C. A. Vissers, Third Workshop on Future Trends of Distributed Computing Systems in the 1990's, Taipei, April 1992Google Scholar
  22. 22.
    ”TP Protocol Version 3.0: a cycle 2 version”, E. van der Burg, and I. Widya, LotoSphere Project ESPRIT II 2304, Lo/WP3/T3.1/UT/N0020/V2, 1992.Google Scholar
  23. 23.
    M. Caneve and E. Salvatori (eds), ”Lite User Manual”, ESPRIT II 2304 internal report Lo/WP2/N0034, April, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Ing Widya
    • 1
  • Gert-Jan van der Heijden
    • 2
  1. 1.University of TwenteAE EnschedeThe Netherlands
  2. 2.Océ Nederland B.V.MA VenloThe Netherlands

Personalised recommendations