Title :
A formal model for module interconnection languages
Author :
Rice, M.D. ; Seidman, S.B.
Author_Institution :
Dept. of Math., Wesleyan Univ., Middletown, CT, USA
fDate :
1/1/1994 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
