A Mechanism of Modeling and Verification for SaaS Customization Based on TLA

Authors:
Shuai Luan;Yuliang Shi;Haiyang Wang
Affiliations:
Shangdong University Software College, Jinan, Shandong Province, P.R. China;Shangdong University Software College, Jinan, Shandong Province, P.R. China;Shangdong University Software College, Jinan, Shandong Province, P.R. China
Venue:
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Year:
2009

Citing 5
Cited 0

Using Temporal Logics for Modeling and Analysis of Workflows

CEC-EAST '04 Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference
Multi-tenant databases for software as a service: schema-mapping techniques

Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Software as a Service: An Integration Perspective

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Business Driven SOA Customization

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Management as a Service for IT Service Management

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

With the gradually mature of SOA and the rapid development of Internet, SaaS has become a popular software service mode. The customized action of SaaS is usually subject to internal and external dependency relationships. This paper first introduces a method for modeling customization process based on Temporal Logic of Actions, and then proposes a verification algorithm to assure that each step in customization will not cause unpredictable influence on system and follow the related rules defined by SaaS provider.