Ordering management actions in pervasive systems using specification- enhanced policies

Proceedings - Fourth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2006

Volumn 2006, Issue , 2006, Pages 234-238

  Shankar, Chetan ^a   Campbell, Roy ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION SPECIFICATIONS; EVENT-CONDITION-PRECONDITION-ACTION-POSTCONDITION (ECPAP); PERVASIVE SYSTEM; SYSTEMS MANAGEMENT;

FORMAL LOGIC; PROBLEM SOLVING; PUBLIC POLICY; SEMANTICS; SPECIFICATIONS; SYSTEMS ANALYSIS;

COMPUTATION THEORY;

EID: 33750339678     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PERCOM.2006.41     Document Type: Conference Paper

References (23)

1. C.Shankar and RCampbell, "A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule Actions", Fourth IEEE International Symposium on Network Computing and Applications (IEEE NCA05), MA, July 2005.
2. C.Shankar, A.Ranganathan and R.Campbell, "An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments", Mobiquitous 2005, July 2005.
3. R. Bhatia, et al., "Policy Evaluation for Network Management", INFOCOM 2000, pp. 1107-1116.
4. K. Amiri, et al., "Policy based management of content distribution networks," IEEE Network Magazine, 2002.
5. M. Sloman, "Policy Driven Management For Distributed Systems", Plenum Press Journal of Network and Systems Management, vol 2, no. 4, Dec. 1994, pp. 333-360.
6. L. Kagal et al., "A Policy Language for a Pervasive Computing Environment", IEEE 4th International Workshop on Policies for Distributed Systems and Networks, June 2003.
7. E. C. Lupu, "A Role-Based Framework for Distributed Systems Management", PhD Thesis, Imperial College.
8. E. C. Lupu, et al., "Conflicts in Policy-Based Distributed Systems Management", IEEE Transactions on Software Engineering, Vol. 25, Nov 99, pp. 852-869.
9. A. Ranganathan, et al., "Mobile Polymorphic Applications in Ubiquitous Computing Environments", Mobiquitous 2004.
10. A.Ranganathan et al., "MiddleWhere: A Middleware for Location-Awareness in Ubiquitous Computing Applications", Middleware 2004: ACM/IFIP/USENIX 5th International Middleware Conference, Toronto, Canada, Oct. 2004.
11. J.Chomicki et al., "Conflict Resolution Using Logic Programming", IEEE Transactions on Knowledge and Data Engineering, Vol. 15, 2003.
12. D.Verma, "Simplifying Network Administration using Policy based Management", IEEE Network Magazine, 2002.
13. J. Lobo, et al., "A policy description language", in Proc. of AAAI, Orlando, FL, July 1999.
14. M. Beigi et al. "Policy Transformation Techniques in Policy-based Systems Management", Policy 2004, USA, 2004.
15. N.Damianou et al., "The Ponder Specification Language", Workshop on Policies for Distributed Systems and Networks (Policy2001), HP Labs Bristol, 29-31 Jan 2001.
16. B.N. Roussev, "Self-checking Implementation of Boolean Interpreted Petri Nets", IEEE Symposium on Emerging Technologies and Factory Automation, 1994.
17. M.Roman et al., "Gaia: A Middleware Infrastructure to Enable Active Spaces", In IEEE Pervasive Computing, pp. 74-83, Oct-Dec 2002.
18. C.Hess, "The Design and Implementation of a Context-Aware File System for Ubiquitous Computing Applications", PhD Thesis, UIUC, 2003.
19. W.Reisig, "Petri Nets : An Introduction", Springer-Verlag, New York, 1984.
20. B.Srivastava et al., "The Case for Automated Planning in Autonomic Computing", ICAC 2005.
21. A.Andrzejak et al., "FeedbackFlow - An Adaptive Workflow Generator for System Management", ICAC 2005.
22. A.Ranganathan et al., "Pervasive Autonomic Computing Based on Planning", ICAC 2004.
23. C.Shankar and R.Campbell, "Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies", Technical Report No. UIUCDCS-R-2005-2666 (Engr. No. UILU-ENG-2005-1843) November 2005.