Skip to main content
Log in

Deriving protocol specifications from service specifications written in LOTOS

  • Published:
Distributed Computing Aims and scope Submit manuscript

Summary.

 A complete communication system is broken down into a number of protocol layers each of which provides services to the layer above it and uses services provided by its underlying layer. A service specification defines a particular ordering of the operations that a given layer provides to the layer above it. The active elements in each layer are called entities and they use a protocol in order to implement their service definition. On the basis of this relation between the service and protocol concepts we have developed algorithms for deriving protocol entity specifications from a formal service specification. The derived protocol entities ensure the correct ordering of the service primitives by exchanging synchronization messages through an underlying communication medium. This paper presents an extended version of our earlier derivation algorithms. This version of the algorithm can handle all operators and unrestricted process invocation and recursion as defined by basis LOTOS. The correctness of this derivation algorithm is formally proved.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Author information

Authors and Affiliations

Authors

Additional information

Received: January 1992 / Accepted: February 1996

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kant, C., Higashino, T. & von Bochmann, G. Deriving protocol specifications from service specifications written in LOTOS. Distrib Comput 10, 29–47 (1996). https://doi.org/10.1007/s004460050022

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s004460050022

Keywords

Navigation