Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis

The development of service-oriented applications grows rapidly these years and gains more and more attention both from industry and from academe. Service-oriented applications are assembled from building blocks called service components whose profiles are defined by service specifications. When the dynamic changes happen in the service-oriented architectures, the service discovery and substitution should follow the inheritance of behavior so that the systems can be conformance. Inheritance of behavior can be formalized based on both in simple process-algebraic setting and in Petri-net framework. In this paper, we presented some necessary/sufficient conditions for the inheritance relations based on the invariant analysis.