Invariant Preservation by Component Composition Using Semantical Interface Automata
Component assembly is based on the verification of the compatibility between the component interface specifications. In general, these specifications do not combine the three levels of the compatibility check: behavioral protocols, signatures, and semantics of operations. In this paper, the authors enrich the formalism of interface automata, used to specify component protocols, by the signatures and semantics of operations. They propose a new formalism, called "Semantical Interface Automata" (SIAs), endowed with a stronger compositional semantics than interface automata.