Skip to main content
SpringerLink
Log in

Phase-Type Approximations for Non-Markovian Systems: A Case Study

  • Conference paper
  • First Online:
Software Engineering and Formal Methods (SEFM 2014)

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

Included in the following conference series:

Abstract

Non-Markovian systems are usually difficult to represent and analyse using currently available stochastic process calculi. By relying on a combination between the newly introduced process algebra PHASE and the probabilistic model checker PRISM, we examine the dynamics of one such system, which involves a collaborative text review performed by two manuscript editors, and focus on the derivation of quantitative performance measures. We find that approximating non-Markovian transitions through single Markovian transitions is fast, but inaccurate, while employing more complex phase-type approximations is somewhat slow, but considerably more precise.

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

Access this chapter

Log in via an institution
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 EPUB and 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

Notes

  1. 1.

    If necessary, there are plenty of other solutions for dealing with non-determinism, which employ priority levels and weights, or more advanced schedulers [2].

References

  1. Asmussen, S., Nerman, O., Olsson, M.: Fitting phase-type distributions via the EM algorithm. Scand. J. Stat. 23(4), 419–441 (1996)

    MATH  Google Scholar 

  2. Bernardo, M., Gorrieri, R.: Extended Markovian process algebra. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 315–330. Springer, Heidelberg (1996)

    Google Scholar 

  3. Ciobanu, G., Rotaru, A.S.: PHASE: a stochastic formalism for phase-type distributions. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 91–106. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  4. Ciobanu, G., Rotaru, A.: Phase-type approximations for non-Markovian systems. Technical report FML-14-01, Formal Methods Laboratory, Iasi, Romania (2014)

    Google Scholar 

  5. Crovella, M.E.: Performance evaluation with heavy tailed distributions. In: Feitelson, D.G., Rudolph, L. (eds.) JSSPP 2001. LNCS, vol. 2221, pp. 1–10. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  6. Doherty, G., Massink, M., Faconti, G.: Reasoning about interactive systems with stochastic models. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, pp. 144–163. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. El-Rayes, A., Kwiatkowska, M., Norman, G.: Solving infinite stochastic process algebra models through matrix-geometric methods. In: Hillston, J., Silva, M. (eds.) Proceedings of PAPM 1999, pp. 41–62. Prensas Universitarias de Zaragoza, Zaragoza (1999)

    Google Scholar 

  8. Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.-P.: A compositional modelling and analysis framework for stochastic hybrid systems. Form. Methods Syst. Des. 43, 191–232 (2013)

    Article  MATH  Google Scholar 

  9. Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol. 2428. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  10. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

  11. Katoen, J.-P., D’Argenio, P.R.: General distributions in process algebra. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) FMPA 2000. LNCS, vol. 2090, pp. 375–429. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  13. Nelson, R.: Probability, Stochastic Processes, and Queueing Theory. Springer, New York (1995)

    Book  MATH  Google Scholar 

  14. Neuts, M.F.: Matrix-Geometric Solutions in Stochastic Models: An Algorithmic Approach. Dover Publications, New York (1981)

    MATH  Google Scholar 

  15. Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1998)

    MATH  Google Scholar 

  16. O’Cinneide, C.A.: Phase-type distributions: open problems and a few properties. Stoch. Models 15(4), 731–757 (1999)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Romanian Academy, Blvd. Carol I no. 8, 700505, Iaşi, Romania

    Gabriel Ciobanu & Armand Rotaru

Authors
  1. Gabriel Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Armand Rotaru
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gabriel Ciobanu .

Editor information

Editors and Affiliations

  1. University of Malaga, Malaga, Spain

    Carlos Canal

  2. LIG Lab, Saint Martin d'Hères Cedex, France

    Akram Idani

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Ciobanu, G., Rotaru, A. (2015). Phase-Type Approximations for Non-Markovian Systems: A Case Study. In: Canal, C., Idani, A. (eds) Software Engineering and Formal Methods. SEFM 2014. Lecture Notes in Computer Science(), vol 8938. Springer, Cham. https://doi.org/10.1007/978-3-319-15201-1_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-15201-1_21

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-15200-4

  • Online ISBN: 978-3-319-15201-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation