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.

Provided by: IARIA Topic: Software Date Added: Oct 2011 Format: PDF

Find By Topic