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.
The research is supported by the National Natural Science Foundation of China under Grant No.60673130 and No.90818001, the Natural Science Foundation of Shandong Province of China under Grant No.Y2006G29, No.Y2007G24 and No.Y2007G38.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Microsoft, Architecture Strategies for Catching the Long Tail (April 2006)
Stefan, A., Torsten, G.: Multi-Tenant Databases for Software as a Service: Schema-Mapping Techniques. In: ACM SIGMOD/PODS Conference, pp. 1195–1206 (2008)
Kuo, Z., Xin, Z.: A Policy-Driven Approach for Software-as-Services Customization. In: CEC/EEE 2007, pp. 123–130. IEEE Press, Tokyo (2007)
Wei, S., Kuo, Z.: Software as a Service: An Integration Perspective. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 558–569. Springer, Heidelberg (2007)
Corradini, F., Meschini, G.: A Rule-Driven Business Process Design. In: 29th International Conference on Information Technology Interfaces, Cavtat, pp. 401–406 (2007)
Mazzoleni, P., Srivastava, B.: Business Driven SOA customization. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 286–301. Springer, Heidelberg (2008)
Yang, B., Wang, H.: Management as a service for IT service management. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 664–677. Springer, Heidelberg (2008)
Yuan, W., Yushun, F.: Using Temporal Logics for Modeling and Analysis of Workflows. In: CEC-East 2004, pp. 169–174. IEEE Press, Beijing (2004)
Lamport, L.: The temporal logic of actions. DEC Systems Research Center, Palo Alto, CA: Technical Report 79 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Luan, S., Shi, Y., Wang, H. (2009). A Mechanism of Modeling and Verification for SaaS Customization Based on TLA. In: Liu, W., Luo, X., Wang, F.L., Lei, J. (eds) Web Information Systems and Mining. WISM 2009. Lecture Notes in Computer Science, vol 5854. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05250-7_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-05250-7_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05249-1
Online ISBN: 978-3-642-05250-7
eBook Packages: Computer ScienceComputer Science (R0)