Hierarchical specification of reactive systems: a case study

Author

Ledru, Yves

Author_Institution

Univ. Catholique de Louvain, Belgium

fYear

1990

fDate

8-10 May 1990

Firstpage

109

Lastpage

116

Abstract

A development strategy is proposed which bases the specification of a reactive system on the description of its environment. This approach has numerous advantages: easier validation of the specification, availability of suitable modeling languages, and simulation of the environment during the testing phase of the product. The specification of the environment is expressed in the STATECHARTS formalism. It is developed in a top-down manner. This top-down approach calls for the enhancement of the STATECHART by a transition refinement construct. The development of an actual case study, i.e. development of the specification for a data transfer problem, demonstrates the methodological approach and shows the usefulness of this extension of the formalism. It also results in further development guidelines

Keywords

digital simulation; electronic data interchange; formal specification; systems analysis; STATECHARTS formalism; actual case study; data transfer problem; development guidelines; development strategy; hierarchical specification; methodological approach; modeling languages; reactive system; reactive systems; simulation; testing phase; top-down approach; top-down manner; transition refinement construct; validation; Application software; Artificial intelligence; Computer aided software engineering; Computer industry; Guidelines; Lakes; Refining; Software engineering; Synthesizers; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering

Conference_Location

Tel-Aviv

Print_ISBN

0-8186-2041-2

Type

conf

DOI

10.1109/CMPEUR.1990.113615

Filename

113615