Y. Zhu, R. Y. Shtykh, Q. Jin and J. Ma, “A Flowable Service Model for Seamless Integration of Services,” Proceedings of the 4th International Conference on Advances in Computer Science and Engineering (ACSE’2009), Phuket, 16-18 March 2009, pp. 199-204.

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.