Skip to main content
SpringerLink
Log in

The dimension of time in protocol specification

  • Specification, Implementation And Conformance Of Protocols
  • Chapter
  • First Online:
Networking in Open Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 248))

Abstract

The importance — and even the necessity — of formal description techniques for computer-communication protocols is now widely accepted. A dimension usually neglected in formal protocol specification is that of time. When the dimension of time is included, protocols can be validated, including their timeout specifications, and performance (e.g., throughput and/or response time) can be estimated, direct from the formal specification. Here, the state-of-the art is summarized and a recent result wherein the distribution of response time is determined direct from the formal specification is presented. An extensive bibliography is included.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Aggarwal and R. P. Kurshan, “Modelling elapsed time in protocol specification,” Proc. Workshop on Protocol Specification, Testing, and Verification, III, Rüschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 51–62.

    Google Scholar 

  2. N. Barghouti, N. Nounou, and Y. Yemini, “An interactive protocol development environment,” Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification, G. Bochmann and B. Sarikaya, Eds., Gray Rocks — Montreal, June 10–13, 1986, (North-Holland, Amsterdam, Dec. 1986), to be published.

    Google Scholar 

  3. B. Beizer, “Analytical techniques for the statistical evaluation of program running time,” Proc. Fall Joint Computer Conference, 1970, pp. 519–524.

    Google Scholar 

  4. T. Bolognesi and H. Rudin, “On the analysis of time-constrained protocols by network flow algorithms,” Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 491–513.

    Google Scholar 

  5. E. Brinksma, “A specification of the OSI transport service in LOTOS,” Proc. Workshop on Protocol Specification, Testing, and Verification, IV, Sky Top, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 227–251.

    Google Scholar 

  6. C.C.I.T.T., Red Book, Volume VI-Fascile VI.10, Functional Specification and Description Language (SDL), Recommendation Z.101–Z.104, VIIIth Plenary Assembly, Torremolinos, Oct. 8–19, 1984.

    Google Scholar 

  7. J. Engelbrecht, P. Kritzinger, and H. Rudin, “Predicting protocol performance from a meta-implementation,” Proc. Fifth Workshop on Protocol Specification, Testing, and Verification, M. Diaz, Ed., Moissac-Toulouse, June 10–13, 1985, (North-Holland, Amsterdam, 1985), pp. 349–362.

    Google Scholar 

  8. H. C. Folts and R. desJardins, Eds., Special issue of the Proceedings of the IEEE on OSI, Vol. 71, No. 12, Dec. 1983, pp. 1331–1448.

    Google Scholar 

  9. M. G. Gouda, “Protocol machines: towards a logical theory of communication protocols,” PhD. thesis, University of Waterloo, Jan. 1978 (see especially Chapter 11).

    Google Scholar 

  10. A. Gravey and A. Dupuis, “Performance evaluation of two mutual exclusion distributed protocols via Markovian modeling,” Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification, G. Bochmann and B. Sarikaya, Eds., Gray Rocks — Montreal, June 10–13, 1986, (North-Holland, Amsterdam, Dec. 1986), to be published.

    Google Scholar 

  11. Y. W. Han, “Performance evaluation of a digital system using a Petri-net-like approach,” Proc. National Electronics Conference, Chicago, 1978, pp. 166–172.

    Google Scholar 

  12. P. Kritzinger, “Analyzing the time efficiency of a communication protocol,” Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 527–539.

    Google Scholar 

  13. P. Kritzinger, “A performance model of the OSI communication architecture,” IEEE Trans. on Commun., Vol. COM-34, No. 6, June 1986, pp. 554–563.

    Article  Google Scholar 

  14. S. S. Lam and A. U. Shankar, “An illustration of protocol projections,” C. A. Sunshine, Ed., Proc. Second International Workshop on Protocol Specification, Testing, and Verification, Idylwild, May 17–20, 1982, (North-Holland, Amsterdam, 1982), pp. 343–360.

    Google Scholar 

  15. M. A. Marsan, G. Balbo, and K. Trivedi, Eds., Proc. International Workshop on Timed Petri Nets, Torino, Italy, (IEEE Comp. Soc. Press), July 1–3, 1985.

    Google Scholar 

  16. M. Menasche and B. Berthomieu, “Time Petri nets for analyzing and verifying time dependent communication protocols”, Proc. Workshop on Protocol Specification, Testing, and Verification, III, Rüschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 161–172.

    Google Scholar 

  17. P. Merlin and D. J. Farber, “Recoverability of communication protocols: implications of a theoretical study,” IEEE Trans. Commun., Vol. COM-24, Sept. 1976, pp. 1036–1043.

    Article  Google Scholar 

  18. M. K. Molloy, “Performance analysis using stochastic Petri nets,” IEEE Trans. Computers, Vol. C-31, No. 9, Sept. 1982, pp. 913–917.

    Google Scholar 

  19. N. Nounou and Y. Yemini, “Algebraic specification-based performance analysis of communication protocols”, Proc. Workshop on Protocol Specification, Testing, and Verification, IV, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 541–560.

    Google Scholar 

  20. Pozefsky, D. P. and F. D. Smith, “A meta-implementation for Systems Network Architecture,” IEEE Trans. Commun., Vol. COM-30, No. 6, June 1982, pp. 1348–1355.

    Article  Google Scholar 

  21. C. V. Ramamoorthy and G. S. Ho, “Performance evaluation of asynchronous concurrency systems using Petri nets”, IEEE Trans. Software Eng., Vol. SE-6, Sept. 1980, pp. 440–449.

    Google Scholar 

  22. C. Ramchandani, “Analysis of asynchronous concurrent systems by timed Petri nets”, Ph.D. Thesis, M. I. T., Dept. of E. E., AD-775618, July 1973.

    Google Scholar 

  23. R. R. Razouk and C. V. Phelps, “Performance analysis using timed Petri nets,” Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 561–576.

    Google Scholar 

  24. H. Rudin, “From formal protocol specification towards automated performance prediction,” Proc. Workshop on Protocol Specification, Testing, and Verification, III, Rüschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 257–269.

    Google Scholar 

  25. H. Rudin, “An improved algorithm for estimating protocol performance,” Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 515–525.

    Google Scholar 

  26. H. Rudin, “An informal overview of formal protocol specification”, IEEE Communications Magazine, Vol. 23, No. 3, March 1985, pp. 46–52.

    Article  Google Scholar 

  27. H. Rudin, “Time in formal protocol specifications”, Proc. GI/NTG Conference on Communication in Distributed Systems, Karlsruhe, March 11–15, 1985, pp. 575–587.

    Google Scholar 

  28. M. Sajkowski, “On verifying time-dependent protocols”, Proc. Sixth Intl. Conference on Software Engineering for Telecommunication Switching Systems, Eindhoven, April 14–18, 1986, pp. 46–51.

    Google Scholar 

  29. M. Sajkowski, “Protocol verification in the presence of time”, Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification, G. Bochmann and B. Sarikaya, Eds., Gray Rocks — Montreal, June 10–13, 1986, (North-Holland, Amsterdam, Dec. 1986), to be published.

    Google Scholar 

  30. A. U. Shankar and S. S. Lam, “On time-dependent communication protocols and their projections,” C. A. Sunshine, Ed., Proc. Second International Workshop on Protocol Specification, Testing, and Verification, Idylwild, May 17–20, 1982, (North-Holland, Amsterdam, 1982), pp. 215–235.

    Google Scholar 

  31. F. J. W. Symons, “Modeling and analysis of communication protocols using numerical Petri nets”, Ph.D. Thesis at University of Essex, England, May, 1978.

    Google Scholar 

  32. C. A. Vissers, R. L. Tenney, and G. V. Bochmann, “Formal description techniques”, Special issue on OSI, Proc. IEEE, Vol. 71, No. 12, Dec. 1983, pp. 1356–1364.

    Google Scholar 

  33. B. Walter, “Timed Petri-nets for modelling and analyzing protocols with real-time characteristics,” Proc. Workshop on Protocol Specification, Testing, and Verification, III, Rüschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 149–159.

    Google Scholar 

  34. C.H. West, “General technique for communications protocol validation,” IBM J. Res. Develop., Vol. 22, July 1978, pp. 393–404.

    Google Scholar 

  35. W. M. Zuberek, “Timed Petri nets and preliminary performance evaluation”, Proc. 7th Annual IEEE Symposium on Computer Architecture, 1980, pp. 88–96.

    Google Scholar 

  36. W. M. Zuberek, “Performance evaluation using extended Petri nets,” in M. A. Marsan, G. Balbo, and K. Trivedi, Eds., Proc. Intl. Workshop on Timed Petri Nets, Torino, Italy, (IEEE Comp. Soc. Press), July 1–3, 1985, pp. 272–278.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Zurich Research Laboratory, 8803, Rüschlikon, Switzerland

    Harry Rudin

Authors
  1. Harry Rudin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Günter Müller Robert P. Blanc

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Rudin, H. (1987). The dimension of time in protocol specification. In: Müller, G., Blanc, R.P. (eds) Networking in Open Systems. Lecture Notes in Computer Science, vol 248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026971

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17707-4

  • Online ISBN: 978-3-540-47777-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation