An implementation-oriented semantics for module composition
Joseph A. Goguen, Will Tracz · 2000
: This paper describes an approach to module composition by executing "module expressions" to build systems out of component modules. This approach extends the structural description capabilities of existing Architecture Description Languages (ADLs) to facilitate the manipulation of architectural components in a manner that results in either new components or complete instantiations of parameterized architectures. The paper also gives a novel semantics intended to aid with the implementation this approach. The semantics is based on set theory, and uses the technical notions of tuple set, partial signature, and institution, avoiding more difficult mathematics such as abstract algebra and category theory. Language features include information hiding, both vertical and horizontal composition, and views for binding modules to interfaces. Vertical composition refers to the hierarchical structuring of a system into layers, while horizontal composition refers to the structure of a given layer...