Computing Publications

Publications Home » Verification of Policy-based Self...

Verification of Policy-based Self-Managed Cell Interactions Using Alloy

Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach

Conference or Workshop Paper
10th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy)
July, 2009

Self-Managed Cells (SMCs) define an infrastructure for building ubiquitous computing applications. An SMC consists of an autonomous administrative domain based on a policy-driven feedback control-loop. SMCs are able to interact with each other and compose with other SMCs to form larger autonomous components. In this paper we present a formal specification of an SMC's behaviour for the analysis and verification of its operation in collaborations of SMCs. These collaborations typically involve SMCs originated from different administrative authorities, and the definition of a formal model has helped us to verify the correctness of their operation when SMCs are composed or federated.

PDF of full publication (217 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.