A. K. Bandara, E. Lupu, and A. Russo, “Using event calculus to formalise policy specification and analysis,” 4th IEEE International Workshop on Policies for Distributed Systems and Networks, pp. 26-39, 2003.

has been cited by the following article:

• TITLE: Policy Based Self-Adaptive Scheme in Pervasive Computing

  AUTHORS: Jian Quan OUYANG, Dian Xi SHI, Bo DING, Jin FENG, Huai Min WANG

  KEYWORDS: Policy Ontology, Self-Adaptive, Policy Language, Pervasive Computing

  JOURNAL NAME: Wireless Sensor Network, Vol.1 No.1, April 10, 2009

  ABSTRACT: Nowadays, application systems in pervasive computing have to be self-adaptive, which means adapting themselves to dynamic environments. Our aim is to enable systematic development of self-adaptive compo-nent-based applications. The paper first introduces a novel policy based framework for self-adaptive scheme in pervasive computing. Then the proposed policy ontology and policy language are well expressive and eas-ily extensible to support the design of policy which is based on the Separation of Concerns principle. Fur-thermore, the context-driven event channel decouples the communication between the suppliers and con-sumers for asynchronous communication. The proposed framework can provide both a domain-independent and a flexible self-adaptation solution.