Formal Specification of Compositional Architectures