Union and actualization of module specifications: Some compatibility results

摘要

In recent papers, a notion of algebraic module specification has been introduced, along with operations to combine them. Here we take a closer look at the operations of union of module specifications with import and export interfaces and of actualization of the parameter specification that the two interfaces share. We show that both the standard and parametrized actualization are compatible with the previously introduced notion of submodule and with the union operation.