This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Formal Model for Module Interconnection Languages
January 1994 (vol. 20 no. 1)
pp. 88-101

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] F. deRemer and H. H. Kron, "Programming-in-the-large versus programming-in-the-small,"IEEE Trans. Software Eng., vol. 2, pp. 80-86, 1976.
[2] J. Goguen, "Reusing and Interconnecting Software Components,"Computer, Feb. 1986, pp. 16-28.
[3] I. Hayes, Ed.,Specification Case Studies (Series in Computer Science). Englewood Cliffs, NJ: Prentice-Hall International, 1987.
[4] R. Karp and R. Miller, "Properties of a model for parallel computations: Determinacy, termination, queuing,"SIAM J. Applied Mathematics, vol. 14, pp. 1390-1411, 1966.
[5] J. Kramer, "Configuration Programming: A Framework for the Development of Distributable Systems,"Proc. 7th Int'l Conf. Computer Systems and Software Eng. (CompEuro '90), IEEE Computer Society Press, Los Alamitos, Calif., 1990, pp. 374-383.
[6] T. J. LeBlanc and S. A. Friedberg, "HPC: A model of structure and change in distributed systems,"IEEE Trans. Comput., vol. 34, pp. 1114-1129, 1985.
[7] R. Perlman,Interconnections: Bridges and Routers, Addison-Wesley, New York, 1993, p. 258.
[8] R. Milner,Communication and Concurrency. Englewood Cliffs, NJ: Prentice-Hall International, 1989.
[9] MacSTILE User's Guide. Columbus, OH: Software Originals, 1988.
[10] J. Magee, J. Kramer, and S. Sloman, "Constructing distributed systems in Conic,"IEEE Trans. Software Eng., vol. 15, pp. 663-675, 1989.
[11] K. Marczullo and D. Wiebe, "Jasmine: A Software System Modeling Facility,"Proc. ACM OOPSLA Conf., ACM, New York, N.Y., 1986.
[12] Naval Research Laboratory,Processing Graph Method Tutorial, 1990.
[13] M. M. Pett and S. B. Seidman, "A formal framework for the design of development environments,"Proc. 5th Int. Workshop on Software Specification and Design, Pittsburgh, PA: IEEE Computer Society Press, 1989, pp. 284-286.
[14] J. Reed and R. T. Yeh, "Specification and verification of liveness properties of cyclic, concurrent processes,"ACM Trans. Programming Languages and Syst., vol. 10, pp. 156-177, 1988.
[15] J.M. Spivey,Introducing Z: A Specification Language and its Formal Semantics, Cambridge Univ. Press, 1988.
[16] J. M. Spivey,The Z Notation: A Reference Manual (Computer Science Series). Englewood Cliffs, NJ: Prentice Hall International, 1989.
[17] M. P. Stovsky and B. W. Weide, "Building interprocess communication models using STILE,"Proc. 21st Annual Hawaii International Conf. on Syst. Sci., 1988, vol. 2, pp. 639-647.
[18] W. F. Tichy, "Software development based on module interconnection," in4th Int. Conf. Software Engineering, Munich, Germany, Sept. 1979, pp. 29-41.

Index Terms:
formal specification; specification languages; systems analysis; programming environments; module interconnection languages; formal model; hierarchical module structure design; Z schema type definitions; generic parameters; application-specific declarations; constraints; Conic; configuration language; STILE; graphical design environment; development environment; specification language
Citation:
M.D. Rice, S.B. Seidman, "A Formal Model for Module Interconnection Languages," IEEE Transactions on Software Engineering, vol. 20, no. 1, pp. 88-101, Jan. 1994, doi:10.1109/32.263757
Usage of this product signifies your acceptance of the Terms of Use.