Study Of Rule-Driven SaaS Process Customization And Verification Technology

Software as a service (SaaS) is an emerging software delivery mode according to the development of Internet and application software. SaaS eliminates the need for enterprises to purchase, construct and maintain infrastructure and software. Clients can acquire services through Internet to suit their needs, and pay according to the service usage amount and time. The typical features of SaaS is "Single-Instance Multi-Tenant",which refers to enabling a single software instance to serve multiple tenants, as if it were a dedicated application to each of these tenants simultaneously. However, the unified service model can not satisfy different business minds of tenants. So a successful SaaS application should support tenants to do customization to build their own business applications.Recently, there are still some questions in SaaS customization:First, it can not ensure the rationality of tenant's customization, because the standard defined by SaaS provider lack binding meaning. Second, special customization of service is not able to satisfy. Last, the result of customization is organized by BPEL, while the inherently static nature of BPEL is hard to support dynamic alteration during execution. If the problems can be resolved, it will provide wide space for SaaS application. In general, the research has important value.On the basis of the defects mentioned above, we mainly bring the following new ideas:1.Design rule-driven architecture. We make full use of rules to avoid the inherently static nature of BPEL, and realize flexible replacement and dynamic modification of business process.At the same time, it improves the handling ability and supports more complex business logic.2.Propose the service integration customization based on rules. Through packaging services and inserting rules, it allows tenants'to do some more complex service customization to meet their business need. In the meanwhile, it solves the problem that interfaces differ during organizing services and realizes receiving unified input for different services.3.Propose verification algorithm for process customization. Our research combines TLA with SaaS customization. It formalizes the customization states of data, service and process with TLA, and uses verification algorithm to check the state sets.This realizes the correctness check of customization and effectively ensures the result reasonable.In this paper, we proposed a rule-driven SaaS process customization and verification technology architecture. This architecture is independent of various external execution environments, with scalability and portability. It can realize tenant's complex customization, verify the result by interaction of various modules, and does well in performance overhead, function execution and multi-tenant support, so it has the feasibility and reliability.