This paper presents a procedure of transforming an Estelle specification into Stochastic Reward Net (SRN) formalism. Estelle is an ISO standard formal specification language which can help avoid ambiguity, incompleteness and inconsistency in system development. SRN is a well-developed modeling technique that is used to carry out performance and reliability analysis. Integration of specification for system design like Estelle and specification for modeling like SRN can minimize the effort and the cost in designing a functionally correct as well as reliable and performance satisfied system. The objective of transforming Estelle into SRN is to have a system designer specify a system using Estelle and then the specification is automatically transformed into SRN to carry out the performance and reliability analysis.
CITATION STYLE
Wang, C. Y., & Trivedi, K. S. (1993). Integration of specification for modeling and specification for system design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 691 LNCS, pp. 473–492). Springer Verlag. https://doi.org/10.1007/3-540-56863-8_62
Mendeley helps you to discover research relevant for your work.