PobSAM: Policy-based managing of actors in self-adaptive systems

Electronic Notes in Theoretical Computer Science

Volumn 263, Issue , 2010, Pages 129-143

  Khakpour, Narges ^a   Jalili, Saeed ^a   Talcott, Carolyn ^b   Sirjani, Marjan ^c,d   Mousavi, Mohammadreza ^e  

^a TARBIAT MODARES UNIVERSITY   (Iran)

^b SRI INTERNATIONAL   (United States)

^c REYKJAVIK UNIVERSITY   (Iceland)

^d UNIVERSITY OF TEHRAN   (Iran)

^e EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Actor models; Adaptive systems; Algebra; Component based design; Policy based computing

Indexed keywords

ALGEBRA; MANAGERS; SEMANTICS;

ACTOR MODELS; ACTOR-BASED MODELING; COMPONENT BASED DESIGN; FUNCTIONAL BEHAVIORS; LABELED TRANSITION SYSTEMS; OPERATIONAL SEMANTICS; POLICY-BASED COMPUTING; SELF-ADAPTIVE MODELS;

ADAPTIVE SYSTEMS;

EID: 80053076374     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.05.008     Document Type: Conference Paper

References (25)

1. C. Hofmeister, "Dynamic Reconfiguration, Ph. D. Thesis" in Computer Science Department, University of Maryland, College Park 1993.
2. J. Zhang and B. Cheng, "Model-Based Development of Dynamically Adaptive Software", in Proceedings of International Conference on Software Engineering, 2006, pp. 371-380. (Pubitemid 46600934)
3. J. Zhang, H. J. Goldsby, and B. H. C. Cheng, "Modular verification of dynamically adaptive systems", in the 8th ACM international conference on Aspect-oriented software development, Charlottesville, Virginia, 2009, pp. 161-172.
4. J. Zhang and B. H. C. Cheng, "Using temporal logic to specify adaptive program semantics", Journal of Systems and Software, Architecting Dependable Systems, vol. 79, pp. 1361-1369, 2006. (Pubitemid 44292343)
5. K. Schneider, T. Schuele, and M. Trapp, "Verifying the adaptation behavior of embedded systems", in Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, Shanghai, China, 2006, pp. 16-22.
6. R. Adler, I. Schaefer, T. Schuele, and E. Vecchie, "From Model-Based Design to Formal Verification of Adaptive Embedded Systems", in Proceedings of International Conference on Formal Engineering Methods, 2007, pp. 76-95.
7. S. S. Kulkarni and K. N. Biyani, "Correctness of Component-Based Adaptation", in Component-Based Software Engineering, 2004, pp. 48-58. (Pubitemid 39738013)
8. R. J. Anthony and C. Ekelin, "Policy-driven self-management for an automotive middleware", in Proceedings of 1st International Workshop on Policy-Based Autonomic Computing Florida, USA, 2007.
9. C. Efstratiou, K. Cheverst, N. Davies, and A. Friday, "An Architecture for the Effective Support of Adaptive Context-Aware Applications", in Proceedings of the 2nd International Conference in Mobile Data Management (MDM'01), Hong Kong, 2001, pp. 15-26. (Pubitemid 33213820)
10. C. Efstratiou, K. Cheverst, N. Davies, and A. Friday, "Utilising the Event Calculus for Policy Driven Adaptation in Mobile Systems", in Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks, Monterey, California., 2002, pp. 13-24.
11. G. Phil and B. Lynne, "A Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed Aspects", in Transactions on Aspect-Oriented Software Development II. vol. LNCS 4242, 2006, pp. 30-65.
12. "Autonomic computing", IBM Systems Journal, vol. 42, 2003.
13. M. Sloman and E. Lupu, "Engineering Policy-Based Ubiquitous Systems", The Computer Journal, to appear, 2009.
14. M. Sirjani, A. Movaghar, A. Shali, and F. S. d. Boer, "Modeling and Verification of Reactive Systems using Rebeca", Fundamenta Informaticae, vol. 63, pp. 385-410, 2004. (Pubitemid 41218154)
15. M. Sirjani, F. d. Boer, A. Movaghar, and A. Shali, "Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing", in Proceedings of the Fifth International Conference on Application of Concurrency to System Design: IEEE Computer Society, 2005.
16. M. Mousavi, I. Phillips, M. A. Reniers, and I. Ulidowski, "Semantics and expressiveness of ordered SOS", Information and Computation, vol. 207, pp. 85-119, 2009.
17. P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng, "A Taxonomy of Compositional Adaptation", Michigan State University Technical Report MSU-CSE-04-17, 2004.
18. N. H. Kacem, A. H. Kacem, and K. Drira, "A Formal Model of a Multi-step Coordination Protocol for Self-adaptive Software Using Coloured Petri Nets", International Journal of Computing and Information Sciences, 2009. To appear.
19. K. N. Biyani and S. S. Kulkarni, "Concurrency and Complexity in Verifying Dynamic Adaptation: A Case Study", Michigan State University Technical Report MSU-CSE-05-21, August 2005.
20. M. Gudemann, F. Ortmeier, and W. Reif, "Safety and Dependability Analysis of Self-Adaptive Systems", in the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2007, pp. 177-184.
21. J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger, "A survey of self-management in dynamic software architecture specifications", in Proceedings of the International Workshop on Self-Manages Systems, Newport Beach, USA, 2004.
22. B. H. C. Cheng, H. Giese, P. Inverardi, J. Magee, and R. d. Lemos, "Software Engineering for Self-Adaptive Systems: A Research Road Map", in Software Engineering for Self-Adaptive Systems 2008.
23. D. Pierre-Charles and L. Thomas, "Towards a Framework for Self-adaptive Component-Based Applications", in Proceedings of Distributed Applications and Interoperable Systems. LNCS2893, 2003, pp. 1-14.
24. L. Lymberopoulos, E. Lupu, and M. Sloman, "An Adaptive Policy Based Management Framework for Differentiated Services Networks", in Proceedings of IEEE Workshop on Policies for Distributed Systems and Networks, Monterey, California, Los Alamitos, California, 2002, pp. 147-158.
25. R. J. Anthony, "Generic Support for Policy-Based Self-Adaptive Systems", in Proceedings of the 17th International Conference on Database and Expert Systems Applications, 2006, pp. 108-113.