In: Proc. of the 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 335-352. 1994.
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): starting from a concurrent program written in DISC (DIStributed C), an extension of C to include concurrent constructs of the CSP type, 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 (a graphical interface based environment for the definition and the analysis of GSPN).