Evolving SaaS based on reflective Petri nets

Authors:
Ying Liu;Bin Zhang;Guoqi Liu;Mingwei Zhang;Jun Na
Affiliations:
Northeastern University, Shenyang, Liaoning, China;Northeastern University, Shenyang, Liaoning, China;Northeastern University, Shenyang, Liaoning, China;Northeastern University, Shenyang, Liaoning, China;Northeastern University, Shenyang, Liaoning, China
Venue:
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
Year:
2010

Citing 4
Cited 0

PKUAS: An Architecture-Based Reflective Component Operating Platform

FTDCS '04 Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems
A Software as a Service with Multi-tenancy Support for an Electronic Contract Management Application

SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
A Reflective Framework to Improve the Adaptability of BPEL-based Web Service Composition

SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 1
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.