Skip to main content

A Function-Equivalent Components Based Simplification Technique for PEPA Models

  • Conference paper
Formal Methods and Stochastic Models for Performance Evaluation (EPEW 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4054))

Included in the following conference series:

Abstract

PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an activity may be made dependent on the local state currently exhibited by one or more components. In this paper we demonstrate that these rates allow a systematic simplification of models in which there is appropriate indirect interaction between components. We investigate the interplay between this style of simplification and aggregation based on bisimulation, and establish a heuristic for applying both techniques in a complementary fashion.

This work was partially supported by the DEGAS IST-2001-32072, SENSORIA IST-3-016004-IP-09 funded by the FET Proactive Initiative on Global Computing and by EPSRC Advanced Research Fellowship EP/c543696/01.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Hillston, J., Kloul, L.: An Efficient Kronecker Representation for PEPA Models. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol. 2165, pp. 120–135. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  2. Hillston, J., Kloul, L.: Formal Techniques for Performance Analysis: blending SAN and PEPA (submitted)

    Google Scholar 

  3. Hillston, J.: A compositional approach to performance modelling, PhD. The University of Edinburgh (1994)

    Google Scholar 

  4. Hillston, J.: The Nature of Synchronisation. In: Herzog, U., Rettelbach, M. (eds.) Proc. of 2nd Process Algebra and Performance Modelling Workshop (1994)

    Google Scholar 

  5. Fernandes, P., Plateau, B., Stewart, W.J.: Optimizing Tensor Product Computations in Stochastic Automata Networks. RAIRO - Operations Research 32(3), 325–351 (1998)

    MathSciNet  Google Scholar 

  6. Groote, J.F., Ponse, A.: Proof Theory for μCRL: A Languages for Processes with Data. In: Semantics of Specification Languages 1993, pp. 232–251 (1993)

    Google Scholar 

  7. Groote, J.F., Ponse, A.: The Syntax and Semantics of μCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds.) Algebra of Communicating Processes, Workshops in Computing, pp. 26–62 (1994)

    Google Scholar 

  8. Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol. 794, pp. 353–368. Springer, Heidelberg (1994)

    Google Scholar 

  9. Trivedi, K.S., Malhotra, M.: Reliability and Performability Techniques and Tools: A Survey. In: Walke, B., Spaniol, O. (eds.) Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, pp. 27–48. Springer, Aachen (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hillston, J., Kloul, L. (2006). A Function-Equivalent Components Based Simplification Technique for PEPA Models. In: Horváth, A., Telek, M. (eds) Formal Methods and Stochastic Models for Performance Evaluation. EPEW 2006. Lecture Notes in Computer Science, vol 4054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11777830_2

Download citation

  • DOI: https://doi.org/10.1007/11777830_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35362-1

  • Online ISBN: 978-3-540-35365-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics