A theory model core for module interconnection languages

Authors:
Thomas R. Dean;David A. Lamb
Affiliations:
Department of Computing and Information Science, Queen's University, Kingston, Ontario, K7L 3N6;Department of Computing and Information Science, Queen's University, Kingston, Ontario, K7L 3N6
Venue:
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Year:
1994

Citing 12
Cited 2

Programming in MODULA-2 (3rd corrected ed.)

Programming in MODULA-2 (3rd corrected ed.)
Module interconnection languages

Journal of Systems and Software
Maintaining Configurations of Evolving Software Systems

IEEE Transactions on Software Engineering
A database foundation to support software system evolution

Journal of Systems and Software
The Turing programming language: design and definition

The Turing programming language: design and definition
Object-oriented modeling and design

Object-oriented modeling and design
The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
A technique for software module specification with examples

Communications of the ACM
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Module interconnection in programming systems supporting abstraction.

Module interconnection in programming systems supporting abstraction.
The representation of families of software systems.

The representation of families of software systems.
Software development control based on system structure description

Software development control based on system structure description

Using view-based models to formalize architecture description

ISAW '98 Proceedings of the third international workshop on Software architecture
Safe composition of product lines

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.