Skip to main content
SpringerLink
Log in

Towards performance evaluation with general distributions in process algebras

  • Conference paper
  • First Online:
CONCUR'98 Concurrency Theory (CONCUR 1998)

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

Included in the following conference series:

Abstract

We present a process algebra for the performance modeling and evaluation of concurrent systems whose activity durations are expressed through general probability distributions. We first determine the class of generalized semi-Markov processes (GSMPs) as being the class of stochastic processes on which we must rely for performance evaluation to be possible. Then we argue that in this context the right semantics for algebraic terms is a variant of the ST semantics which accounts for both functional and performance aspects. The GSMP based process algebra we propose is introduced together with its formal semantics, an example of performance evaluation, and a notion of probabilistic bisimulation based equivalence accounting for action durations which is shown to be a congruence.

The full version of the paper is available at ftp://ftp.cs.unibo.it/pub/techreports/98-06.ps.gz. This research has been partially funded by Progetto Strategico CNR “Modelli e Metodi per la Matematica e l'lngegneria”.

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. M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano, “A LOTOS Extension for the Performance Analysis of Distributed Systems”, in IEEE/ACM Trans. on Networking 2:151–164, 1994

    Article  Google Scholar 

  2. L. Aceto, M. Hennessy, “Adding Action Refinement to a Finite Process Algebra”, in Information and Computation 115:179–247, 1994

    Article  MATH  MathSciNet  Google Scholar 

  3. M. Bernardo, “An Algebra-Based Method to Associate Rewards with EMPA Terms”, in Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP '97), LNCS 1256:358–368, Bologna (Italy), 1997

    MathSciNet  Google Scholar 

  4. M. Bernardo, L. Donatiello, R. Gorrieri, “A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems”, to appear in Information and Computation, 1998

    Google Scholar 

  5. M. Bernardo, R. Gorrieri, “A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time”, to appear in Theoretical Computer Science, 1998

    Google Scholar 

  6. G. Boudol, I. Castellani, “Permutation of Transitions: An Event Structure Semantics for CCS and SCCS”, in Proc. of the Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354:411–427, Noordwijkerhout (The Netherlands), 1988

    MathSciNet  Google Scholar 

  7. M. Bravetti, M. Bernardo, R. Gorrieri, “Generalized Semi Markovian Process Algebra”, Technical Report UBLCS-97-9, University of Bologna (Italy), October 1997

    Google Scholar 

  8. N. Busi, R.J. van Glabbeek, R. Gorrieri, “Axiomatising ST-Bisimulation Equivalence”, in Proc. of the IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET '94), S. Miniato (Italy), 1994

    Google Scholar 

  9. E. Brinksma, J.-P. Katoen, R. Langerak, D. Latella, “A Stochastic Causality-Based Process Algebra”, in Computer Journal 38:553–565, 1995

    Article  Google Scholar 

  10. D. R. Cox, “The Analysis of non-Markovian Stochastic Processes by the Inclusion of Supplementary Variables”, in Proc. of the Cambridge Philosophical Society 51:433–440, 1955

    Article  MATH  Google Scholar 

  11. P.R. D'Argenio, J.-P. Katoen, E. Brinksma, “A Stochastic Automata Model and its Algebraic. Approach” in Proc. of the 5th Workshop on Process Algebras and Performance Modelling (PAPM '97), pp. 1–16, Enschede (The Netherlands), 1997

    Google Scholar 

  12. R.J. van Glabbeek, F.W. Vaandrager, “Petri Net Models for Algebraic Theories of Concurrency”, in Proc. of the Conf. on Parallel Architectures and Languages Europe (PARLE '87), LNCS 259:224–242, Eindhoven (The Netherlands), 1987

    MATH  Google Scholar 

  13. N. Götz, U. Herzog, M. Rettelbach, “Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras”, in Proc. of the 16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFORMANCE '93), LNCS 729:121–146, Rome (Italy), 1993

    Google Scholar 

  14. N. Götz, U. Herzog, M. Rettelbach, “TIPP — A Stochastic Process Algebra”, in Proc. of the 1st Workshop on Process Algebras and Performance Modelling (PAPM '93), pp. 31–36, Edinburgh (UK), 1993

    Google Scholar 

  15. W. Henderson, D. Lucic, “Aggregation and Disaggregation through Insensitivity in Stochastic Petri Nets”, in Performance Evaluation 17:91–114, 1993

    Article  MATH  MathSciNet  Google Scholar 

  16. H. Hermanns, M. Rettelbach, “Syntax, Semantics, Equivalences, and Axioms for MTIPP”, in Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM '94), pp. 71–87, Erlangen (Germany), 1994

    Google Scholar 

  17. J. Hillston, “A Compositional Approach to Performance Modelling”, Cambridge University Press, 1996

    Google Scholar 

  18. C.A.R. Hoare, “Communicating Sequential Processes”, Prentice Hall, 1985

    Google Scholar 

  19. L. Kleinrock, “Queueing Systems”, John Wiley & Sons, 1975

    Google Scholar 

  20. K.G. Larsen, A. Skou, “Bisimulation through Probabilistic Testing”, in Information and Computation 94:1–28, 1991

    Article  MATH  MathSciNet  Google Scholar 

  21. K. Matthes, “Zur Theorie der Bedienungsprozesse”, in Trans. of the 3rd Prague Conf. on Information Theory, Stat. Dec. Fns. and Random Processes, pp. 513–528, 1962

    Google Scholar 

  22. M. Nielsen, P.S. Thiagarajan, “Degrees of Nondeterminism and Concurrency”, in Proc. of the 4th Conf. on Foundations of Software Technologies and Theoretical Computer Science, LNCS 181:89–117, 1984

    MATH  MathSciNet  Google Scholar 

  23. C. Priami, “Stochastic π-Calculus with General Distributions”, in Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT, pp. 41–57, Torino (Italy), 1996

    Google Scholar 

  24. C. Tofts, “Processes with Probabilities, Priority and Time”, in Formal Aspects of Computing 6:536–564, 1994

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell'Informazione, Università di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Mario Bravetti, Marco Bernardo & Roberto Gorrieri

Authors
  1. Mario Bravetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Bernardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Roberto Gorrieri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Davide Sangiorgi Robert de Simone

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bravetti, M., Bernardo, M., Gorrieri, R. (1998). Towards performance evaluation with general distributions in process algebras. In: Sangiorgi, D., de Simone, R. (eds) CONCUR'98 Concurrency Theory. CONCUR 1998. Lecture Notes in Computer Science, vol 1466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055638

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64896-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation