Title :
Verification of Policy-Based Self-Managed Cell Interactions Using Alloy
Author :
Schaeffer-Filho, Alberto ; Lupu, Emil ; Sloman, Morris ; Eisenbach, Susan
Author_Institution :
Dept. of Comput., Imperial Coll. London, London, UK
Abstract :
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 behavior 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.
Keywords :
alloys; feedback; formal specification; ubiquitous computing; alloy; autonomous administrative domain; autonomous components; formal model; formal specification; policy-based self-managed cell interactions; policy-driven feedback control-loop; ubiquitous computing; Adaptive control; Collaboration; Computer networks; Distributed computing; Environmental management; Formal specifications; Patient monitoring; Sliding mode control; Temperature sensors; Ubiquitous computing; interactions; model-checking; policy-based management; self-managed cells;
Conference_Titel :
Policies for Distributed Systems and Networks, 2009. POLICY 2009. IEEE International Symposium on
Conference_Location :
London
Print_ISBN :
978-0-7695-3742-9
Electronic_ISBN :
978-0-7695-3742-9
DOI :
10.1109/POLICY.2009.24
