1. Ardagna D, Comuzzi M, Mussi E (2007) Paws: a framework for executing adaptive web service processes. IEEE Softw 24:39–46
2. Bezemer C-P, Zaidman A (2009) Multi-tenant SaaS applications maintenance dream or nightmare. Position Paper 4:88–89
3. 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)
4. 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)
5. 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)