A formal model for module interconnection languages

Author

Rice, M.D. ; Seidman, S.B.

Author_Institution

Dept. of Math., Wesleyan Univ., Middletown, CT, USA

Volume

20

Issue

1

fYear

1994

fDate

1/1/1994 12:00:00 AM

Firstpage

88

Lastpage

101

Abstract

A model is proposed that formalizes the design of hierarchical module structures. The model is specified by a collection of Z schema type definitions that is invariant across all applications. A particular application is described by specifying the values of generic parameters and adding application-specific declarations and constraints to the schema definitions. As applications, the definitions in the model are used to describe the Conic configuration language and the STILE graphical design and development environment

Keywords

formal specification; programming environments; specification languages; systems analysis; Conic; STILE; Z schema type definitions; application-specific declarations; configuration language; constraints; development environment; formal model; generic parameters; graphical design environment; hierarchical module structure design; module interconnection languages; specification language; Application software; Assembly systems; Formal verification; LAN interconnection; Libraries; Mathematics; Modular construction; Software reusability; Software systems; Specification languages;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.263757

Filename

263757