Utilising the event calculus for policy driven adaptation on mobile systems

Author

Efstratiou, Christos ; Friday, Adrian ; Davies, Nigel ; Cheverst, Keith

Author_Institution

Dept. of Comput., Lancaster Univ., UK

fYear

2002

fDate

2002

Firstpage

13

Lastpage

24

Abstract

Adaptation is an important requirement for mobile applications due to the varying levels of resource availability that characterises mobile environments. However, without proper control, multiple applications can each adapt independently in response to a range of different adaptive stimuli, causing conflicts or suboptimal performance. In this paper, we present a policy-driven approach for mobile adaptive systems that can overcome the aforementioned problems. Our system is based on a policy language derived from the event calculus logic programming formalism. Important characteristics of our policy language are its support for explicit time-dependency expressions and its simple and user-friendly syntax

Keywords

adaptive systems; algebraic specification; logic programming languages; mobile computing; software management; specification languages; temporal logic; adaptive stimuli; conflicts; event calculus; explicit expressions; logic programming formalism; mobile adaptive systems; mobile applications; multiple independently adaptive applications; policy language; policy-driven adaptation; resource availability; suboptimal performance; time dependencies; user-friendly syntax; Adaptive control; Adaptive systems; Application software; Availability; Calculus; Computer science; Logic; Mobile computing; Programmable control; Quality of service;

fLanguage

English

Publisher

ieee

Conference_Titel

Policies for Distributed Systems and Networks, 2002. Proceedings. Third International Workshop on

Conference_Location

Monterey, CA

Print_ISBN

0-7695-1611-4

Type

conf

DOI

10.1109/POLICY.2002.1011289

Filename

1011289