A Formal Model for Module Interconnection Languages

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. >

[1]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[2]  Steven Lucco,et al.  Delirium: an embedding coordination language , 1990, Proceedings SUPERCOMPUTING '90.

[3]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[4]  Morris Sloman,et al.  Constructing Distributed Systems in Conic , 1989, IEEE Trans. Software Eng..

[5]  Walter F. Tichy.  Software development control based on module interconnection , 1979, ICSE 1979.

[6]  S. B. Seidman,et al.  A formal framework for the design of development environments , 1989, IWSSD '89.

[7]  Raymond T. Yeh,et al.  Specification and verification of liveness properties of cyclic, concurrent processes , 1988, TOPL.

[8]  Joseph A. Goguen,et al.  Reusing and Interconnecting Software Components , 1986, Computer.

[9]  Keith Marzullo,et al.  Jasmine: a software system modelling facility , 1987, SDE 2.

[10]  M.P. Stovsky,et al.  Building interprocess communication models using STILE , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[11]  Thomas J. LeBlanc,et al.  HPC: A model of structure and change in distributed systems , 1985, IEEE Transactions on Computers.

[12]  R. Karp,et al.  Properties of a model for parallel computations: determinacy , 1966 .

[13]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975 .

[14]  Jeff Kramer.  Configuration programming-a framework for the development of distributable systems , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.