Policies for Distributed Systems and Networks, IEEE International Workshop on (2009)
July 20, 2009 to July 22, 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 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.
policy-based management, self-managed cells, interactions, model-checking
E. Lupu, S. Eisenbach, A. Schaeffer-Filho and M. Sloman, "Verification of Policy-Based Self-Managed Cell Interactions Using Alloy," Policies for Distributed Systems and Networks, IEEE International Workshop on(POLICY), London, UK, 2009, pp. 37-40.