UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 9357

An Introduction to Pervasive Automata
Calder,M. Gray,P. Miller,A. Unsworth,C.

Publication Type: Conference Proceedings
Appeared in: Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 2010
Page Numbers :
Publisher: Springer
Year: 2010
ISBN/ISSN:

Note: To appear in LNCS

Abstract:

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.

Keywords: Pervasive Intervase Automata, Interface automata, pervasive systems


PDF Bibtex entry Endnote XML