In order for a process algebraic architectural description language
to be effective, component-oriented modeling must be accompanied
by component-oriented verification. In this lecture we present
a component-oriented technique based on equivalence checking for
the detection of architecture-level mismatches and the provision
of related diagnostic information. Such a technique extends previous
techniques in terms of generality of the considered mismatches,
generality of the considered system topologies, and scalability
to system families.
|