Abstract
In this chapter we use Interactive Markov Chains to investigate some illustrative examples and case studies. We first study the effect of symmetric composition by means of a simple producer—consumer example. In particular, we compare the growth of the state space to other methods to generate an aggregated state space. In a second case study, we use IMC to model a real world application, namely an ordinary telephony system. The constraint oriented specification of time dependencies will be a central issue. In order to circumvent state space sizes of more than 10 millions of states we make excessive use of the theoretical properties and concepts achieved so far, and obtain a Markov chain of manageable size. These two case studies show how performance estimation can be based on a Markov chain obtained from a highly modular and hierarchical IMC specification. A third example will then be used to highlight some implicit limitations to this approach. In particular, the issue of nondeterminism will discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hermanns, H. (2002). Interactive Markov Chains in Practice. In: Interactive Markov Chains. Lecture Notes in Computer Science, vol 2428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45804-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-45804-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44261-5
Online ISBN: 978-3-540-45804-3
eBook Packages: Springer Book Archive