Abstract
Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used. The Möbius tool was built to provide multi-formalism multi-solution modeling, and allows the modeler to develop models in any supported formalism. A formalism can be implemented in Möbius if a mapping can be provided to the Möbius Abstract Functional Interface, which includes a notion of state and a notion of how state changes over time. We describe a way to map PEPA, a stochastic process algebra, to the abstract functional interface. This gives Mobius users the opportunity to make use of stochastic process algebra models in their performance and dependability models.
This material is based upon work supported in part by the National Science Foundation under Grant No. 9975019 and by the Motorola Center for High-Availability System Validation at the University of Illinois (under the umbrella of the Motorola Communications Center).
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
J. M. Doyle, “Abstract model specification using the Möbius modeling tool,” M.S. thesis, University of Illinois at Urbana-Champaign, 2000.
G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster, “ The Mobius modeling tool,” in Proc. of PNPM’01: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001.
J. F. Meyer, A. Movaghar, and W. H. Sanders, “Stochastic activity networks: Structure, behavior and applications,” Proc. International Workshop on Timed Petri Nets, pp. 106–115, 1985.
J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, 1996.
W. H. Sanders, “Integrated frameworks for multi-level and multi-formalism modeling,” in Proc. PNPM’99: 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999, pp. 2–9.
D. Deavours and W. H. Sanders, “Mobius: Framework and atomic models,” in Proc. PNPM’01: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001.
W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko, “The ultrasan modeling environment,” Performance Evaluation, vol. 24, No. 1, pp. 89–115, October–November 1995.
W. H. Sanders and J. F. Meyer, “Reduced base model construction methods for stochastic activity networks, ” IEEE Journal on Selected Areas in Communications, vol. 9, No. 1, pp. 25–36, Jan. 1991.
D. Montgomery, Design and Analysis of Experiments, John Wiley & Sons, Inc., 5th edition, 2001.
R. Milner, Communication and Concurrency, International Series in Computer Science. Prentice Hall, 2nd edition, 1989.
T. Bolognesi and E. Brinksma, “Introduction to the ISO specification language LOTOS,” Computer Networks and ISDN Systems, vol. 14, pp. 25–59, 1987.
H. Hermanns and M. Rettelbach, “Toward a superset of basic LOTOS for performance prediction,” Proc. of 4th Workshop on Process Algebras for Performance Modelling (PAPM), pp. 77–94, 1996.
M. Bernardo, Theory and Application of Extended Markovian Process Algebra, Ph.D. thesis, University of Bologna, Italy, 1999.
S. Gilmore, J. Hillston, and M. Ribaudo, “An efficient algorithm for aggregating PEPA models,” IEEE Transactions on Software Engineering, 2001.
J. Hillston, “The nature of synchronisation,” Proc. of 2nd Workshop on Process Algebras for Performance Modelling (PAPM), pp. 51–70, 1994.
S. Donatelli, “Superposed generalized stochastic Petri nets: Definition and efficient solution,” in Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain), R. Valette, Ed., pp. 258–277. Springer-Verlag, June 1994.
I. Rojas, Compositional Construction of SWN Models, Ph.D. thesis, The University of Edinburgh, 1997.
E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 2000.
W. D. Obal II, Measure-Adaptive State-Space Construction Methods, Ph.D. thesis, The University of Arizona, 1998.
W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Clark, G., Sanders, W.H. (2001). Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. In: de Alfaro, L., Gilmore, S. (eds) Process Algebra and Probabilistic Methods. Performance Modelling and Verification. PAPM-PROBMIV 2001. Lecture Notes in Computer Science, vol 2165. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44804-7_13
Download citation
DOI: https://doi.org/10.1007/3-540-44804-7_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42556-4
Online ISBN: 978-3-540-44804-4
eBook Packages: Springer Book Archive