ACM Transactions on Computer Systems (TOCS)
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Simulating Estelle Specifications with Time Parameters
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Queueing network model for Estelle
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Integration of Specification for Modeling and Specification for System Design
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Protocol Analysis Using a Timed Version of SDL
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
| Hi-index | 0.00 |
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.