Abstract
SaaS emphasizes the concept of “customization” and it can provide a higher level of service customizability, dynamic adaptability and customer transparency. By abstracting software functions into “services”, expanding the grammar of the typical Pi calculus, and identifying the mapping between the progress theory and service evolution, this paper proposes a cumulative evolution model of SaaS service based on an expanded Pi calculus. It first analyses four atom cumulative evolution models and then presents the integration among them. The four atom cumulative evolution models are respectively the sequential, the reverse, the simultaneous and the consecutive and for each of the models, the formula is accordingly demonstrated. The model this paper proposes is supposed to contribute to the customizability and dynamic adaptability of SaaS services so that the evolutionary process of the services should be more transparent for customers and thus the customers should have better on-line experiences.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ardagna D, Comuzzi M, Mussi E (2007) Paws: a framework for executing adaptive web service processes. IEEE Softw 24:39–46
Bezemer C-P, Zaidman A (2009) Multi-tenant SaaS applications maintenance dream or nightmare. Position Paper 4:88–89
Liang S, Shuai L, Zhong L (2010) TLA based customization and verification mechanism of business process for SaaS. Chin J Comput 33(11):2056–2058 (in Chinese)
Liang G, Jian C, Chen J (2011) Self-evolving for process model of software as a service. Comput Integr Manuf Syst 17(8):1603–1608 (in Chinese)
Liao J, Tan H, Liu J (2005) Based on Pi calculation of web services composition description and verification. Chin J Comput 33(4):635–643 (in Chinese)
Liu S, Wang H, Cui L (2010) Application of SaaS based on data dependency of the progressive pattern evolution method. In: The first national conference on service computing (CCF NCSC 2010) essays, pp 127–129
Luo X-l, Wu Q-l (2011) Research of business logic framework for SaaS software service SaSed on mass customization. Telecommun Sci 32:26–28 (in Chinese)
Milner R (1999) Communicating and mobile systems: the Pi calculus. Cambridge University Press, Cambridge
Papazoglou M (2008) The challenges of service evolution. In: Proceedings of the 20th international conference on advanced information systems engineering, pp 1–15
Ramil JF, Lehman MM (2002) Evolution in software and related areas. In: ACM
Sangiorgi D, Walker D (2003) The Pi calculus: a theory of mobile processes. Cambridge University Press, New York
Weber B, Reichert M, Rinderle-Ma S (2008) Change patterns and change support features-enhancing flexibility in process-aware information systems. Data Knowl Eng 64(3):438–466
Wei G (2011) Overview of SaaS theory and application. Agric Netw Inf 26:69–70 (in Chinese)
Wu X, Wang M, Zhang W (2011) Overview of cloud computing development. Sci Technol Vane 209:49–52 (in Chinese)
Zhou J, Ceng G (2007) Based on the CPi calculus grid service behavior research. Comput Sci 34(6):13–18 (in Chinese)
Zhou J, Zeng G (2009) A mechanism for grid service composition behavior specification and verification. Future Gen Comput Syst 25(3):378–383
Acknowledgments
Foundation item: National Natural Science Fund Project (No. 60963007); Software College of Yunnan University Construction Fund Project (No. 2010KS01).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
He, J., Li, T., Zhang, Dh. (2013). A Cumulative SaaS Service Evolution Model Based on Expanded Pi Calculus. In: Qi, E., Shen, J., Dou, R. (eds) The 19th International Conference on Industrial Engineering and Engineering Management. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38391-5_154
Download citation
DOI: https://doi.org/10.1007/978-3-642-38391-5_154
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38390-8
Online ISBN: 978-3-642-38391-5
eBook Packages: Business and EconomicsBusiness and Management (R0)