Advertisement

Software architecture of the EPOCA integrated environment

  • Susanna Donatelli
  • Giuliana Franceschinis
  • Nicola Mazzocca
  • Stefano Russo
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 794)

Abstract

We describe the software architecture of EPOCA (Environment for analysis and Performance evaluation Of Concurrent Applications), a tool for the analysis of concurrent programs. The analysis is based on a formal model of the application. The class of models chosen is that of stochastic Petri nets (in particular we adopt Generalized Stochastic Petri Nets — GSPN [1]): starting from a concurrent program written in DISC (DIStributed C), an extension of C to include concurrent constructs of the CSP type [12], a GSPN model is automatically generated, and GSPN analysis tools can then be applied. EPOCA is built as an integration of the DISC environment (a graphical interface based environment that provides compiling, monitoring and profiling facilities for DISC programs) and GreatSPN [6] (a graphical interface based environment for the definition and the analysis of GSPN).

Keywords

Software Architecture Communication Transition Concurrent Program Execution Trace Process Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.Google Scholar
  2. 2.
    M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, Cambridge, USA, 1986.Google Scholar
  3. 3.
    G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport's fast mutual exclusion algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(1), January 1992.Google Scholar
  4. 4.
    G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. Journal of Parallel and Distributed Computing, 15(3), july 1992. Special Issue on Petri Net Modelling of Parallel Computers.Google Scholar
  5. 5.
    G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo. On the Computation of Performance Characteristics of Concurrent Programs using GSPNs. Accepted for publication on Performance Evaluation, 1993.Google Scholar
  6. 6.
    Giovanni Chiola. GreatSPN 1.5 software architecture. In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.Google Scholar
  7. 7.
    F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed automata nets. In C. Girault and W. Reisig, editors, Application and Theory of Petri Nets. IFB 52, New York and London, 1982.Google Scholar
  8. 8.
    F. DeCindio and O. Botti. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.Google Scholar
  9. 9.
    A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with PRM-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989.Google Scholar
  10. 10.
    U. Goltz and W. Reisig. CSP programs as nets with individual tokens. In Proc. 5th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 1984.Google Scholar
  11. 11.
    G. Iannello, A. Mazzeo, C. Savy, and G. Ventre. Parallel software development in the DISC programming environment. Future Generation Computer Systems, 5(4), 1990.Google Scholar
  12. 12.
    G. Iannello, A. Mazzeo, and G. Ventre. Definition of the DISC Concurrent Language. SIGPLAN Notices, 24(6), June 1989.Google Scholar
  13. 13.
    S.M. Shatz and W.K. Cheng. A Petri net framework for automated static analysis of Ada tasking. The Journal of Systems and Software, 8:343–359, October 1987.Google Scholar
  14. 14.
    R. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of ACM, 26, May 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Susanna Donatelli
    • 1
  • Giuliana Franceschinis
    • 1
  • Nicola Mazzocca
    • 2
  • Stefano Russo
    • 2
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly
  2. 2.Dipartimento di Informatica e SistemisticaUniversità di NapoliNapoliItaly

Personalised recommendations