Verification of Policy-based Self-Managed Cell Interactions Using Alloy
File(s)verification-smc-alloy.pdf (359.38 KB)
Published version
Author(s)
Schaeffer Filho, A
Lupu, E
Sloman, M
Eisenbach, S
Type
Conference Paper
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 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.
Date Issued
2009-07
Citation
2009, pp.37-40
ISBN
978-0-7695-3742-9
Publisher
IEEE
Source Title
IEEE International Symposium on Policies for Distributed Systems and Networks (Policy)
Start Page
37
End Page
40
Copyright Statement
"©20xx IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE."
Source
IEEE International Symposium on Policies for Distributed Systems and Networks (Policy)
Source Place
London, UK
Start Date
2009-07-20
Finish Date
2009-07-22
Coverage Spatial
London, UK