참고문헌
- S.Satyanarayana, "CLOUD COMPUTING : SAAS," GESJ: Computer Science and Telecommunications 2012, No.4(36), pp.76-79, 2012.
- Jeong-rhan Choi, Young-choon Woo, Chang-hwan Bae, "A Study on Workflow Verification for Business Process," KCC2012, Vol.39, No.1B, pp.220-222, 2012.
- M. Beranrdo, L. Padovani, G. Zavattaro, "Formal Methods for Web Services," SFM 2009, LNCS Vol. 5569, 2009.06.
- Kim S.D., "Software Reusability," Wiley Encyclopedia of Computer Science and Engineering, Vol 4, pp.2679-2689, 2009.
- G. Salun, L. Bordeaux, M. Schaerf, "Describing and Reasoning on Web Services using Process Algebra," In Proc. of ICWS'04, San Diego, IEEE Computer Society Press, 2004.