PERFORMANCE EVALUATION OF SYSTEMS DEFINED IN SPECIFICATION LANGUAGE ESTELLE

Article type: Research Article

Authors: Magott, Jan

Affiliations: Technical University of Wroclaw, Institute of Engineering Cybernetics, Wybrzeze Wyspianskiego 27, 50-370 Wroclaw, Poland

Note: [] This work was partially supported by French Ministere de la Recherche et de la Technologie while the author was visiting the LAAS-CNRS in Toulouse, FRANCE and by Polish State Committee for Scientific Research (Grant No. 331229)

Abstract: In the field of distributed computer systems, in order to specify, verify, and implement systems formally, Formal Description Techniques have been developed. Specification language Estelle, which is an ISO standard, is one of these techniques. Purpose of the present paper is to create a method of performance evaluation for the language Estelle that is based on Petri net methodology. The paper is oriented towards partially automatic generation of performance model for a distributed system - having Estelle specification of this system. A method for finding the performance characteristics of system defined in Estelle is given too.

DOI: 10.3233/FI-1995-2442

Journal: Fundamenta Informaticae, vol. 24, no. 4, pp. 333-357, 1995