In the large-scale software system development a special purpose language has been introduced for specifying the interconnection relations between modules and its processing system. This module interconnection language only considers the structural aspect of software components but not the complexity of module interconnections. Therefore, it is often difficult to evaluate the design for a program having high complexity of module interconnection, although the program is well-structured.
In this paper, we modify the existing module interconnection language (MILAN) to incorporate the concepts of the design stability to improve correctness and maintainability of the program design. For this purpose, we make MILAN include information about types of the parameters appearing in the connections. The program for processing the extended MILAN are also modified and a design analyzer is added which can suggest modules of bad design. It has been implemented with C-Prolog running under 4.2 BSD/UNIX.
