Abstract
Self-Adaptation has gained wide attention in SOA (Service Oriented Architecture). Composite services adjust dynamically to the change of environment during execution through adaptation. Most existing performance analyzing methods on composite service neglect the distinguished feature of environment, which impedes their application in self-adaptive composite services. This paper proposes a stochastic Petri net based method on modeling an environment-aware self-adaptive strategy which is also suggested in this paper. Our method builds separate models for both service and environment, which would contribute to model the environment checking procedure in EaSA. As we discussed in the paper, the idea of separate model for service and environment would play a significant role in modeling self-adaptive composite services.