Y. Zhu and Q. Jin, “An Adaptively Emerging Mechanism for Selection of Ambient Services,” Proceedings of the 2012 FTRA International Conference on Advanced IT, Engineering and Management (FTRA AIM’2012), Seoul, February 6-8 2012, pp. 157-158.

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.