Y. Zhu, R. Y. Shtykh and Q. Jin, “Provision of Flowable Services in Cloud Computing Environments,” Proceedings of the 5th International Conference on Future Information Technology (FutureTech’2010), Busan, 21-23 May 2010, pp. 1-6.

has been cited by the following article:

• TITLE: Reasoning about Context Information in Cloud Computing Environments

  AUTHORS: Norihiro Kamide, Yishui Zhu

  KEYWORDS: Context Information; Context-Mixture Rule; Sequent Calculus; Resource-Sensitive Reasoning; Context-Aware Reasoning

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.5 No.11A, November 30, 2012

  ABSTRACT: The notion of context provides flexibility and adaptation to cloud computing services. Location, time identity and activity of users are examples of primary context types. The motivation of this paper is to formalize reasoning about context information in cloud computing environments. To formalize such context-aware reasoning, the logic LCM of context-mixture is introduced based on a Gentzen-type sequent calculus for an extended resource-sensitive logic. LCM has a specific inference rule called the context-mixture rule, which can naturally represent a mechanism for merging formulas with context information. Moreover, LCM has a specific modal operator called the sequence modal operator, which can suitably represent context information. The cut-elimination and embedding theorems for LCM are proved, and a fragment of LCM is shown to be decidable. These theoretical results are intended to provide a logical justification of context-aware cloud computing service models such as a flowable service model.