A Function-Equivalent Components Based Simplification Technique for PEPA Models

Jane Hillston, Leïla Kloul

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationFormal Methods and Stochastic Models for Performance Evaluation
Subtitle of host publicationThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
EditorsAndrás Horváth, Miklós Telek
PublisherSpringer Berlin Heidelberg
Pages16-30
Number of pages15
Volume4054
ISBN (Electronic)978-3-540-35365-2
ISBN (Print)978-3-540-35362-1
DOIs
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume4054

Fingerprint

Dive into the research topics of 'A Function-Equivalent Components Based Simplification Technique for PEPA Models'. Together they form a unique fingerprint.

Cite this