A theory model core for module interconnection languages

Module Interconnection Languages (MILs) describe and enforce the modular structure of systems. Originally developed in the 1970's, research in the area has reemerged in several incarnations over the years. While there have been differences in each approach, there are many features common to all of the MILs. This paper characterizes the core features using the Theory-Model paradigm. In doing so, we hope to evaluate the use of the Theory-Model approach to making comparisons of this type.

[1]  Walter F. Tichy.  Software Development Control Based On System Structure Description , 1980 .

[2]  Joseph Wilson Thomas.  Module interconnection in programming systems supporting abstraction. , 1976 .

[3]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[4]  Rubén Prieto-Díaz,et al.  Module interconnection languages , 1986, J. Syst. Softw..

[5]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

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

[7]  Walt Scacchi,et al.  Maintaining Configurations of Evolving Software Systems , 1987, IEEE Transactions on Software Engineering.

[8]  Richard C. Holt,et al.  The Turing Programming Language: Design and Definition , 1987 .

[9]  Niklaus Wirth,et al.  Programming in Modula-2 , 1985, Texts and Monographs in Computer Science.

[10]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[11]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[12]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[13]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[14]  Lee Wendell Cooprider.  The representation of families of software systems. , 1978 .

[15]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[16]  Walt Scacchi,et al.  A database foundation to support software system evolution , 1987, J. Syst. Softw..

[17]  William A Wulf.  ALPHARD: Toward a Language to Support Structured Programs , 1974 .

[18]  David Lorge Parnas.  A technique for software module specification with examples , 1983, CACM.