Evolving SaaS based on reflective Petri nets
Ying Liu, Bin Zhang, Guoqi Liu, Mingwei Zhang, Jun Na · 2010
SaaS(Software as a service) is a new emerging software design, implement and deploy model. It provides personalized service to multi tenants by one instance over Internet. In order to meet the needs from tenant, it needs to continuously evolve. Most evolving systems utilize the reflective framework to adapt to the changes flexibly. Compared with other reflection framework, the reflection Petri Nets uses the formal verification method, which could help us to simulate the evolving process dynamically, and provide the reliable running for the evolving SaaS. We put forward to modeling the evolving SaaS based on Reflective Petri Nets, define the base-level and meta-level model in our work separately and propose the checking rules to verify the correctness of the evolutionary strategy. The modeling method could be referred as an application of Reflective Petri Nets.