Abstract
In this paper we present a review of the aims, achievements and prospects of the EPOCA project. EPOCA is a Petri net based system for performance evaluation and analysis of concurrent applications. Research issues, current outcomes and future directions of the project are described.
Chapter PDF
Similar content being viewed by others
References
Ajmone Marsan, M., Balbo, G. and Conte, G. (1984) A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Trans. Comp. Systems, 2 (1).
G. Chiola. (1991) GreatSPN 1.5 software architecture. Proc. 5th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy.
Gorton, I., Gray, J. and Jelly, I.E. (1995) Object-Based Modelling of Parallel Programs. IEEE Parallel and Distributed Technology, 3 (2).
Iannello, G., Mazzeo, A., Savy, C. and Ventre, G. (1990) Parallel software development in the DISC programming environment. Future Generation Computer Systems, 5 (4), 365–372.
Shatz, S.M. and Cheng, W.K. (1987) A Petri net framework for automated static analysis of Ada tasking behaviour. The Journal of Systems and Software, 8, 343–359.
Epoca Bibliography
Balbo, G., Donatelli, S. and Franceschinis, G. (1992) Understanding parallel program behavior through Petri net models. Journal of Parallel and Distributed Computing, 15 (3), 171–187.
Balbo, G., Donatelli, S., Franceschinis, G., Mazzeo, A., Mazzocca, N. and Ribaudo, M. (1994) On the computation of performance characteristics of concurrent programs using GSPNs. Performance Evaluation, 19, 195–222.
Donatelli, S., Franceschinis, G., Ribaudo, M. and Russo, S. (1994) Use of GSPNs for concurrent software validation in EPOCA. Information and Software Technology, 36 (7), 443–448.
Donatelli, S., Franceschinis, G., Mazzocca, N. and Russo, S. (1994) Software architecture of the EPOCA integrated environment. Proc. 7th Int. Conf. Modelling Techniques and Tools for Computer Performance Evaluation, LNCS No.794, Springer-Verlag.
Mazzeo, A., Mazzocca, N., Russo, S. and Vittorini, V. (1996) A method for predictive performance evaluation of distributed programs. To appear in Simulation: Practice and Theory.
Russo, S., Savy, C., Jelly, I.E. and Collingwood, P. (1995) Petri net modelling of PARSE designs. Joint Tec. Rep. 7/95, Computing Research Centre, Sheffield Hallam Univ. and Univ. of Naples.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Donatelli, S.D., Mazzocca, N., Russo, S. (1996). EPOCA: status and prospects. In: Jelly, I., Gorton, I., Croll, P. (eds) Software Engineering for Parallel and Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34984-8_23
Download citation
DOI: https://doi.org/10.1007/978-0-387-34984-8_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2948-0
Online ISBN: 978-0-387-34984-8
eBook Packages: Springer Book Archive