Skip to main content
SpringerLink
Log in
Book cover

Entwurf und Betrieb verteilter Systeme pp 172–190Cite as

Formal Description, Time and Performance Analysis a Framework

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 264))

Abstract

Designing distributed systems we need both functional specification and performance evaluation techniques. Usually both aspects are separated from each other, however, there is a clear trend observable: Specification techniques are being extended by time attributes, performance evaluation techniques have to be enhanced in order to capture functional dependencies. This paper reviews activities in both directions, defines important modeling features and rates the rich literature accordingly. Process algebras are emphasized because of their constructive properties. Based on these approaches we make a proposal for the integrated formal specification, time representation and performance analysis.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Bause and H. Beilner. Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz Modellen. In G. Stiege and J.S. Lie, editors, Proc. 5. GI/ITG-Fachtagung Messung, Modellierung und Bewertung von Rechensystemen und Netzen, pages 190–204. Springer Verlag, Informatik Fachbericht 218, 1989.

    Chapter  Google Scholar 

  2. H. Beilner. Messung, Modellierung und Bewertung von Rechensystemen. Tutorium, 1985.

    MATH  Google Scholar 

  3. R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: Operating Instructions. Technical report, Univ. of Edinburgh, Computer Science Department, 1988.

    Google Scholar 

  4. A. Duda and T. Czachorski. Performance Evaluation of Fork and Join Synchronization Primitives. Acta Informatica, 24:525–553, 1987.

    Article  MathSciNet  MATH  Google Scholar 

  5. W. Fleischmann. Leistungsbewertung paralleler Programme für MIMD-Architekturen: Modellierung und mathematische Analyse. PhD thesis, Universität Erlangen-Nürnberg, 1990.

    Google Scholar 

  6. HJ. Fromm. Multiprozessor-Rechenanlagen: Programmstrukturen, Maschinenstrukturen und Zuordnungsprobleme. PhD thesis, Universität Erlangen-Nürnberg, 1982.

    Google Scholar 

  7. G. Fleischmann and G. Werner. Beschreibung paralleler Softwarestrukturen durch stochastische Graphen und ihre Bewertung mit Hilfe von Markovketten. Technical report, Universität Erlangen-Nürnberg, IMMD IV, 1989.

    Google Scholar 

  8. M. Gente. GIGANT: Ein System zur semisymbolischen Analyse von serienparallelen Aufgabenstrukturen. Internal study, Universität Erlangen-Nürnberg, April 1989.

    Google Scholar 

  9. U. Goltz. Semantik paralleler Programme. lecture, summer 1990.

    Google Scholar 

  10. U. Herzog. Performance Characteristics for Hierarchically Organized Multiprozessor Systems with Generally Distributed Processing Times. AEÜ, 34, 1980.

    Google Scholar 

  11. U. Herzog. Flexibel Networks of Tightly and Loosely Coupled Processors. In Proc. Int. Seminar on Teletrafflc Analysis and Computer Performance Evaluation, pages 439–446. North-Holland, 1986.

    Google Scholar 

  12. U. Herzog and W. Hofmann. Synchronization Problems in Hierarchically Organized Multiprozessor Computer Systems. In M. Arato, A. Butrimenko, and E. Gelenbe, editors, Performance of Computer Systems — Proceedings of the, 4th International Symposium on Modelling and Performance Evaluation of Computer Systems, Vienna, Austria, Februar, 6–8 1979.

    Google Scholar 

  13. U. Herzog, W. Hofmann, and W. Kleinöder, editors. Performance Modeling and Evaluation for Hierarchically Organized Multiprocessor Computer Systems, Bellaire/USA, August 21–24 1979. Int. Conf. on Parallel Processing.

    Google Scholar 

  14. C.A.R. Hoare. Communicating Sequential Processes. CACM, 21(8):666–677, August 1978.

    MATH  Google Scholar 

  15. C.A. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.

    MATH  Google Scholar 

  16. P. Heidelberger and K.S. Trivedi. Analytic Queuing Models for Programs with Internal Concurrency. IEEE Transactions on Computers, C-32:73–82, Januar 1983.

    Google Scholar 

  17. L. Kleinrock. Queueing Systems, volume 1: Theorie. John Wiley & Sons, 1975.

    Google Scholar 

  18. L. Kleinrock. Queueing Systems, volume 2: Applications. John Wiley & Sons, 1976.

    Google Scholar 

  19. W. Kleinöder. Stochastische Bewertung von Aufgabenstrukturen für hierarchische Mehrrechnersysteme. PhD thesis, Universität Erlangen-Nürnberg, 1982.

    Google Scholar 

  20. W. Kleinöder. Evaluation of Task Structures for a Hierarchical Multiprocessor. In Proc. Int. Conference on Modeling Techniques and Tools for Performance Evaluation. North-Holland, 1983.

    Google Scholar 

  21. PJ.B. King and I. Mitrani. Numerical Methods for Infinite Markov Processes. In Proc. Performance 80, ACM Sigmatrics, pages 277–282, 1980.

    Google Scholar 

  22. K.G. Larsen. Ideal Specification Formalism = Expressivity + Compositionality + Decideability + Testibility +… In Lectures in Computer Science, pages 33–56. CONCUR 90, Springer, 1990. No. 458.

    Google Scholar 

  23. M.T. Liu. Protocol Engineering. Advances in Computers, 29:79–195, 1989.

    Article  Google Scholar 

  24. F.J. Lin and M.T. Liu. An Integrated Approach to Protocol Verification and Performance Analysis of Communication Protocols. In Proc. Int. Workshop on Protocol Specification, Testing and Verification, VIII, pages 125–139. IFIP, North Holland, 1988.

    Google Scholar 

  25. J.J. Martin. Distribution of the Time through a Directed, Acyclic Network. Operations Research, 13(l):46–66, 1965.

    Article  MathSciNet  MATH  Google Scholar 

  26. F. Marinuzzi, G. Iazeolla, and S. Fillippone. A Symbolic Technique for the Performance Analysis of Concurrent Systems. Technical report, Ricerche Di Informatica il Universita‘degli Studi di Roma, May 1990.

    Google Scholar 

  27. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes of Computer Science. Springer Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1980.

    Google Scholar 

  28. R. Milner. Process Constructors and Interpretations, pages 507–514. Elsevier Science Publishers, North-Holland, 1986.

    Google Scholar 

  29. R. Milner. A Calculus of Communicating Systems. Prentice Hall, London, 1989.

    Google Scholar 

  30. F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems. Lefs report series, Department of Computer Science, Univ. of Edinburgh, December 1989.

    Google Scholar 

  31. R. Nelson and A. Tantawi. Approximate Analysis of Fork/Join Synchronaization in Parallel Queues. IBM Research Report, RC 1148, 1985.

    Google Scholar 

  32. R. Nelson, D. Townsley, and A. Tantawi. Performance Analysis of Parallel Processing Systems. In Proc. ACM Sigmetrics Conference, pages 93–94, 1987.

    Google Scholar 

  33. N. Nounou and Y. Yemini. Algebraic specification-based performance analysis of communication protocols. In Proc. Int. Workshop on Protocol Specification, Testing and Verification, 4th, pages 541–560, 1985.

    Google Scholar 

  34. E.R. Olderog. Semantics of Cuncurrent Processes: The Search for Structure and Abstraction Part 1, Re. EATCS Bulletin, Februar 1986.

    Google Scholar 

  35. Heino Pingel. Stochastische Bewertung serien-paralleler Aufgaben strukturen. Internal study, Universität Erlangen-Nürnberg, 1988.

    Google Scholar 

  36. J. Quemada and A. Fernandez. Introduction of Quantitative Relative Time into LOTOS. In West Rudin, editor, Proc. Int. Workshop on Protocol Specification, Testing and Verification, VII, pages 105–121, North Holland, 1987. Elsevier Science Publishers.

    Google Scholar 

  37. J.H. Race and P.M. Dew. An Introduction to the Time-Related Theory of Interacting Sequential Processes. In Jesshope and Reinartz, editors, Proc. CONPAR 88, pages 290–298. CONPAR, Cambridge University Press, 1988.

    Google Scholar 

  38. G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. In Proc. Int. Colloquium on Automata, Languages and Programming, 13th, pages 314–321, 1986.

    Chapter  Google Scholar 

  39. H. Rudin. An Improved Algorithm for Estimating Protocol Performance. In Yemini, Strom, and Yemini, editors, Proc. Int. Workshop on Protocol Specification, Testing and Verification IV, pages 515–525, North Holland, 1985. IFIP 1985, Elsevier Science Publishers.

    Google Scholar 

  40. H. Rudin. Time in Formal Protocol Specification. In Proc. Kommunikation in Verteilten Systemen, Informatik Fachberichte No. 95, pages 575–587. Springer Verlag, 1985.

    Google Scholar 

  41. F. Sötz. A method for performance prediction of parallel programs. In H. Burkhart, editor, CONPAR 90-VAPP IV, pages 98–107. Springer Lecture Notes in Computer Science, 1990.

    Chapter  Google Scholar 

  42. R. Sahner and K. Trivedi. Performance Analysis and Reliability Analysis Using Directed Acyclic Graphs. IEEE Transactions on Software Engineering, SE-13(10), October 1987.

    Google Scholar 

  43. F. Sötz and G. Werner. Lastmodellierung mit stochastischen Graphen zur Verbesserung paralleler Programme auf Multiprozessoren mit Fallstudie. In ITG/GI-Fachtagung Architektur von Rechensystemen, 1990.

    Google Scholar 

  44. Alexander Thomasian and Paul F. Bay. Analytic Queueing Network Models for Parallel Processing of Task Systems. IEEE Transactions On Computers, C-35(12): 1045–1054, December 1986.

    Article  Google Scholar 

  45. G. T’Hooft. Four Operators to Express Time Constraints in a Process Algebra. In  Kuhn, editor, Proc. Kommunikation in verteilten Systemen, pages 174–188. Springer, 1989.

    Chapter  Google Scholar 

  46. S. Tripathi, S. Kaisler, S. Chandran, and A. Agrawala, editors. Report on the Workshop on Disign and Performance Issues in Parallel Architectures. Inst. for Advanced Computer Studies, University of Maryland, College Park, 1986.

    Google Scholar 

  47. L. Woo and U. Herzog. Design and Performance Analysis for Mulit-Microprocessor Communication Controller Models. Unpublished Memo, Yorktown Heights, October 1980.

    Google Scholar 

  48. J.J. Zic. Extensions to Communicating Sequential Processes to Allow Protocol Performance Specifications. In Proc. ACM Sigmetrics, pages 217–227, 1989.

    Google Scholar 

  49. W.M. Zuberek. PNPM’89. In The Third International Workshop on Petri-Nets and Performance Models, Conference Report, pages 67–73. North Holland, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Mathematical Machines and Data Processing, Friedrich-Alexander-University Erlangen-Nuernberg, Martensstr. 3, D-8520, Erlangen, Deutschland

    Ulrich Herzog

Authors
  1. Ulrich Herzog
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informatik, Universität Kaiserslautern, Postfach 30 49, W-6750, Kaiserslautern, Deutschland

    T. Härder  & G. Zimmermann  & 

  2. Informatik VI, Universität Erlangen-Nürnberg, Martensstraße 3, W-8520, Erlangen, Deutschland

    H. Wedekind

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Herzog, U. (1990). Formal Description, Time and Performance Analysis a Framework. In: Härder, T., Wedekind, H., Zimmermann, G. (eds) Entwurf und Betrieb verteilter Systeme. Informatik-Fachberichte, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76309-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76309-0_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53490-7

  • Online ISBN: 978-3-642-76309-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation