Behavioral Compatibility of Active Components

摘要

In this paper we present a new approach for dealing with the components compatibility in connection with their suitable properties be it safety or liveness ones. Hence, instead of using behavior models of components or their interaction protocols alone to check their compatibility, we suggest to combine them to achieve this purpose. Furthermore we explore to what extent different kinds of timing constraints may influence the compatibility of active components.