Scholars@Duke publication: Integration of specification for modeling and specification for system design

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

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

ISBN

9783540568636

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

ISBN

9783540568636

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