International journal of advanced smart convergence

The Institute of Internet, Broadcasting and Communication (한국인터넷방송통신학회)
권호 표지
DOI QR코드

DOI QR Code

A Study on Reuse Technique of Software for SaaS Using Process Algebra

  • Received : 2014.09.11
  • Published : 2014.11.30
Download PDF
⟨ Previous Next ⟩

Abstract

SaaS provides software hosted on the cloud computing in a form of service. Thus, it enables the extension of service functions by combining or reusing the existing software. As an analysis technique, this paper suggests a method of verifying the reusability of a process by analyzing it with the process algebra. The suggested method can confirm the reusability of existing software, ensure the consistency of modifications by tenants or requests, and provide probabilities of combining processes.

Keywords

References

  1. S.Satyanarayana, "CLOUD COMPUTING : SAAS," GESJ: Computer Science and Telecommunications 2012, No.4(36), pp.76-79, 2012.
  2. 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.
  3. M. Beranrdo, L. Padovani, G. Zavattaro, "Formal Methods for Web Services," SFM 2009, LNCS Vol. 5569, 2009.06.
  4. Kim S.D., "Software Reusability," Wiley Encyclopedia of Computer Science and Engineering, Vol 4, pp.2679-2689, 2009.
  5. 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.