Scholars@Duke

Integration of specification for modeling and specification for system design

Publication ,  Conference
Wang, CY; Trivedi, KS
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
January 1, 1993
Published version (DOI)

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.

Duke Scholars

Kishor S. Trivedi
Author Kishor S. Trivedi Electrical and Computer Engineering

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

10.1007/3-540-56863-8_62

EISSN

1611-3349

ISSN

0302-9743

Publication Date

January 1, 1993

Volume

691 LNCS

Start / End Page

473 / 492

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
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). https://doi.org/10.1007/3-540-56863-8_62
Wang, C. Y., and K. S. Trivedi. “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), 691 LNCS:473–92, 1993. https://doi.org/10.1007/3-540-56863-8_62.
Wang CY, Trivedi KS. 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). 1993. p. 473–92.
Wang, C. Y., and K. S. Trivedi. “Integration of specification for modeling and specification for system design.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 691 LNCS, 1993, pp. 473–92. Scopus, doi:10.1007/3-540-56863-8_62.
Wang CY, Trivedi KS. Integration of specification for modeling and specification for system design. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1993. p. 473–492.

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

10.1007/3-540-56863-8_62

EISSN

1611-3349

ISSN

0302-9743

Publication Date

January 1, 1993

Volume

691 LNCS

Start / End Page

473 / 492

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences