DOI: 10.3724/SP.J.1016.2010.02055

Chinese Journal of Computers (计算机学报) 2010/33:11 PP.2055-2067

TLA Based Customization and Verification Mechanism of Business Process for SaaS

SaaS model has become a popular form of software services. In order to meet personalized business service needs of tenants, SaaS model must provide flexible business process customization mechanism. This paper proposes a modeling and verification framework for business process customization. Following the guidance of Hierarchical Customized Behavior and Dependency Graph, the framework models the atomic customization action based on TLA (Temporal Logic of Actions), constructs the global customization behavior and designs the verification algorithm for tenants’ global customization based on business rule constraints. Based on multi-tenants’ feature and historical verified customization, this framework also constructs a customization recommendation algorithms to improve the efficiency of customization for tenants. Experiments demonstrate the efficiency and reliability of this customization and verification mechanism.

Key words:software as a service,business process,customization,verification,temporal logic of actions

ReleaseDate:2014-07-21 15:28:19

[1] IBM. Business Process Execution Language for Web Services (BPEL4WS)., 2002

[2] W3C. Web Service Choreography Interface (WSCI), World W3C., 2002

[3] Jaeger M C, Muhl G, Golze S. QoS-aware composition of Web services: A look at selection algorithm//Proceedings of the 2005 IEEE International Conference on Web Services (ICWS). Orlando, FL, USA, 2005: 807-808

[4] Menasc’e D A, Dubey V. Utility-based QoS brokering in service oriented architectures//Proceedings of the 2007 IEEE International Conference on Web Services (ICWS). Salt Lake City, Utah, USA, 2007: 422-430

[5] Alrifai M, Risse T. Combining global optimization with local selection for efficient QoS-aware service composition//Proceedings of the 18th International World Wide Web Conference (WWW). Madrid, Spain, 2009: 881-890

[6] Liu Shu-Lei, Liu Yun-Xiang, Zhang Fan, Tang Gui-Fen, Jing Ning. A dynamic Web services selection algorithm with QoS global optimal in Web services composition. Journal of Software, 2007, 18(3): 646-656(in Chinese) (刘书雷, 刘云翔, 张帆, 唐桂芬, 景宁. 一种服务聚合中QoS全局最优服务动态选择算法. 软件学报, 2007, 18(3): 646-656)

[7] Foster H, Uchitel S, Magee J, Kramer J. Compatibility verification for Web service choreography//Proceedings of the IEEE International Conference on Web Services (ICWS). San Diego, California, USA, 2004: 738-741

[8] Liu Fang-Fang, Shi Yu-Liang, Zhang Liang, Shi Bo-Le. Substitution analysis of Web service composition via process algebra. Chinese Journal of Computers, 2007, 30(11): 2033-2039(in Chinese) (刘方方, 史玉良, 张亮, 施伯乐. 基于进程代数的Web服务合成的替换分析. 计算机学报, 2007, 30(11): 2033-2039)

[9] Tang Xian-Fei, Jiang Chang-Jun, Ding Zhi-Jun, Wang Cheng. A Petri net-based semantic Web services automatic composition method. Journal of Software, 2007, 18(12): 2991-3000(in Chinese) (汤宪飞, 蒋昌俊,丁志军, 王成. 基于Petri网的语义Web服务自动组合方法. 软件学报, 2007, 18(12): 2991-3000)

[10] Li Xi-Tong, Fan Yu-Shun. Analyzing compatibility and similarity of Web service processes. Chinese Journal of Computers, 2009, 32(12): 2429-2437(in Chinese) (李喜彤, 范玉顺. Web服务流程相容性和相似性分析. 计算机学报, 2009, 32(12): 2429-2437)

[11] Ruopeng L, Shazia S, Guido G. On Managing business processes variants. Data and Knowledge Engineering, 2009, 68(7): 642-664

[12] Pietro M, Biplav S. Business driven SOA customization//Athman B, Ingolf K, Tiziana M eds. Proceedings of the 6th International Conference on Service-Oriented Computing. LNCS 5364. Berlin: Springer, 2008: 286-301

[13] Zhang Kuo, Zhang Xin, Sun Wei, Liang Hai-Qi, Huang Ying. A policy-driven approach for software-as-services customization//Proceedings of the 9th IEEE International Con-ference on E-Commerce Technology (CEC) and the 4th IEEE International Conference on Enterprise Computing (EEE). Tokyo, Japan, 2007: 123-130

[14] Sun Wei, Zhang Xin, Guo Chang-Jie, Sun Pei, Su Hui. Software as a service: Configuration and customization perspectives//Proceedings of the 2008 IEEE Congress on Service Part II. Beijing, China, 2008: 18-24

[15] Ralph M, Frank L. Generation of BPEL customization processes for SaaS applications from variability descriptors//Proceedings of the 2008 International Conference on Services Computing (SCC 2008). Honolulu, Hawaii, USA, 2008: 359-366

[16] Ralph M, Andreas M, Frank L, Klaus P. Variability modeling to support customization and deployment of multi-tenant-aware software as a service applications//Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009). Vancouver, Canada. 2009: 18-25

[17] Yuan W, Yushun F. Using temporal logics for modeling and analysis of workflows//Proceedings of the IEEE International Conference on the E-Commerce Technology for Dynamic E-Business (CEC-East). Beijing, China, 2004: 169-174

[18] Lamport L. The temporal logic of actions. DEC Systems Research Center, Palo Alto, CA: Technical Report 79, 1991