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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Hillston, J., Kloul, L.: Formal Techniques for Performance Analysis: blending SAN and PEPA (submitted)
Hillston, J.: A compositional approach to performance modelling, PhD. The University of Edinburgh (1994)
Hillston, J.: The Nature of Synchronisation. In: Herzog, U., Rettelbach, M. (eds.) Proc. of 2nd Process Algebra and Performance Modelling Workshop (1994)
Fernandes, P., Plateau, B., Stewart, W.J.: Optimizing Tensor Product Computations in Stochastic Automata Networks. RAIRO - Operations Research 32(3), 325–351 (1998)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)