Abstract
When extending timed process algebra with discrete stochastic time, typical standard notions like time additivity are hard to preserve in the presence of the race condition. We propose context-sensitive interpolation as a restricted form of time additivity to accommodate the extension with stochastic time. We also present a stochastic process algebra featuring an explicit account of two types of race conditions in terms of conditional random variables. The approach enables compositional modeling, a non-trivial expansion law, and explicit manipulation of maximal progress.
This is a preview of subscription content, log in via an institution to check access.
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
Nicollin, X., Sifakis, J.: An overview and synthesis of timed process algebras. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 526–548. Springer, Heidelberg (1992)
Hermanns, H., Mertsiotakis, V., Rettelbach, M.: Performance analysis of distributed systems using TIPP. In: Proc. UKPEW 1994, pp. 131–144 (1994)
Bravetti, M., Bernardo, M., Gorrieri, R.: From EMPA to GSMPA: Allowing for general distributions. In: Proc. PAPM 1997, pp. 17–33 (1997)
D’Argenio, P., Katoen, J.P.: A theory of stochastic systems, part II: Process algebra. Information and Computation 203(1), 39–74 (2005)
Bravetti, M.: Specification and Analysis of Stochastic Real-time Systems. PhD thesis, Universitá di Bologna (2002)
López, N., Núñez, M.: NMSPA: A non-Markovian model for stochastic processes. In: Proc. ICDS 2000, pp. 33–40. IEEE, Los Alamitos (2000)
Bohnenkamp, H., D’Argenio, P., Hermanns, H., Katoen, J.-P.: MODEST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering 32, 812–830 (2006)
Katoen, J.P., D’Argenio, P.R.: General distributions in process algebra. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 375–429. Springer, Heidelberg (2001)
D’Argenio, P.: From stochastic automata to timed automata: Abstracting probability in a compositional manner. In: Proc. WAIT 2003(2003)
Markovski, J., de Vink, E.P.: Embedding real-time in stochastic process algebras. In: Horváth, A., Telek, M. (eds.) EPEW 2006. LNCS, vol. 4054, pp. 47–62. Springer, Heidelberg (2006)
Markovski, J., de Vink, E.-P.: Real-time process algebra with stochastic delays. In: Proc. ACSD 2007, pp. 177–186. IEEE Computer Society Press, Los Alamitos (2007)
Markovski, J., de Vink, E.: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. In: Proc. ACSD 2008 (to be published, 2008)
Cattani, S., Segala, R., Kwiatkowska, M., Norman, G.: Stochastic transition systems for continuous state spaces and non-determinism. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 125–139. Springer, Heidelberg (2005)
Markovski, J., de Vink, E.P.: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. Technical Report CS 08/10, Eindhoven University of Technology (2008)
D’Argenio, P., Katoen, J.P.: A theory of stochastic systems, part I: Stochastic automata. Information and Computation 203(1), 1–38 (2005)
Howard, R.: Dynamic Probabilistic Systems. Wiley, Chichester (1971)
Baeten, J., Middelburg, C.: Process Algebra with Timing. Monographs in Theoretical Computer Science. Springer, Heidelberg (2002)
López, N., Núñez, M.: Weak stochastic bisimulation for non-Markovian processes. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, pp. 454–468. Springer, Heidelberg (2005)
van Niftrik, W.: Context sensitive interpolation. Master thesis, Eindhoven University of Technology (in progress, 2008)
Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: On the consistency of Koomen’s fair abstraction rule. Theoretical Computer Science 51(1), 129–176 (1987)
Bravetti, M., D’Argenio, P.: Tutte le algebre insieme – concepts, discussions and relations of stochastic process algebras with general distributions. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 44–88. Springer, Heidelberg (2004)
Bryans, J., Bowman, H., Derrick, J.: Model checking stochastic automata. ACM Transactions on Computational Logic 4(4), 452–492 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Markovski, J., de Vink, E.P. (2008). Extending Timed Process Algebra with Discrete Stochastic Time. In: Meseguer, J., Roşu, G. (eds) Algebraic Methodology and Software Technology. AMAST 2008. Lecture Notes in Computer Science, vol 5140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79980-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-79980-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79979-5
Online ISBN: 978-3-540-79980-1
eBook Packages: Computer ScienceComputer Science (R0)