An Introduction to Pervasive Interface Automata

Calder, M. , Gray, P., Miller, A. and Unsworth, C. (2012) An Introduction to Pervasive Interface Automata. Lecture Notes in Computer Science, 6921, pp. 71-87. (doi: 10.1007/978-3-642-27269-1_5)

40453.pdf - Accepted Version



Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions.

Item Type:Articles
Additional Information:7th International Workshop on Formal Aspects of Component Software, 14-16 Oct 2010, Guimarães, Portugal. ISBN: 9783642272684
Glasgow Author(s) Enlighten ID:Gray, Mr Philip and Miller, Professor Alice and Calder, Professor Muffy and Unsworth, Dr Chris
Authors: Calder, M., Gray, P., Miller, A., and Unsworth, C.
Subjects:Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
Copyright Holders:Copyright © 2012 Springer-Verlag Berlin Heidelberg
First Published:First published in Lecture Notes in Computer Science 6921:71-87
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
443471Verifying interoperability requirements in Pervasive Systems (VPS)Muffy CalderEngineering & Physical Sciences Research Council (EPSRC)EP/F033206/1COM - COMPUTING SCIENCE