FORMS: Unifying reference model for formal specification of distributed self-adaptive systems

ACM Transactions on Autonomous and Adaptive Systems

Volumn 7, Issue 1, 2012, Pages

  Weyns, Danny ^a   Malek, Sam ^b   Andersson, Jesper ^a  

^a LINNAEUS UNIVERSITY   (Sweden)

^b GEORGE MASON UNIVERSITY   (United States)

Author keywords

Autonomic computing; Formal methods; Self adaptation

Indexed keywords

ARCHITECTURAL PATTERN; ARCHITECTURAL SOLUTIONS; AUTONOMIC COMPUTING; EXISTING SYSTEMS; EXPRESSIVE POWER; FORMAL SPECIFICATION; MOBILE COMPUTING ENVIRONMENT; MODELING ELEMENTS; REFERENCE MODELS; SELF ADAPTATION; SELF-ADAPTIVE SOFTWARE; SELF-ADAPTIVE SYSTEM; TRADITIONAL SYSTEMS;

ADAPTIVE SYSTEMS; COMPUTER SOFTWARE REUSABILITY; FORMAL METHODS;

MODELS;

EID: 84862088448     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/2168260.2168268     Document Type: Article

References (52)

1. ANDERSSON, J., DE LEMOS, R., MALEK, S., AND WEYNS, D. 2009a. Modeling dimensions of self-adaptive software systems. In Hot Topics on Software Engineering for Self-Adaptive Systems, B. H. C. Cheng et al., Eds., Lecture Notes in Computer Science, vol. 5525, Springer.
2. ANDERSSON, J., DE LEMOS, R., MALEK, S., AND WEYNS, D. 2009b. Reflecting on self-adaptive software systems. In Proceedings of the Workshop on Software Engineering for Adaptive and Self-Managing Systems.
3. ANDRADE, L. F., FIADEIRO, J. L., GOUVEIA, J., LOPES, A., AND WERMELINGER, M. 2000. Patterns for coordination. In Proceedings of the International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, vol. 1906, Springer, 317-322.
4. ARBAB, F. 2004. Reo: A channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14, 3, 329-366. (Pubitemid 38729561)
5. rd Workshop on Adaptive and Reflective Middleware (ARM'04). ACM Press, New York.
6. BRAIONE, P. AND PICCO, G. P. 2004. On calculi for context-aware coordination. In Proceedings of the International Conference on Coordination Models and Languages. Lecture Notes in Computer Science, vol. 2949, Springer, 38-54.
7. BREWINGTON, B. AND CYBENKO, G. 2000. Keeping up the changing Web. Comput. 33, 5, 52-58.
8. CAPRA, L., EMMERICH, W., AND MASCOLO, C. 2001. Reflective middleware solutions for context-aware applications. In Proceedings of the International Conference on Metalevel Architectures and Separation of Crosscutting Concerns. 126-133. (Pubitemid 33348464)
9. CARDELLI, L. AND GORDON, A. D. 2000. Mobile ambients. Theor. Comput. Sci. 240, 1, 177-213.
10. CARZANIGA, A., PICCO, G. P., AND VIGNA, G. 1997. Designing distributed applications with mobile code paradigms. In Proceedings of the International Conference on Software Engineering. ACM Press, New York, 22-32.
11. CAZZOLA, W., SAVIGNI, A., SOSIO, A., AND TISATO, F. 1999. Rule-Based strategic reflection: Observing and modifying behavior at the architectural level. In Proceedings of the International Conference on Automated Software Engineering.
12. CHENG, B., DE LEMOS, R., GIESE, H., INVERARDI, P., AND MAFEE, J., ET AL. 2009. Software engineering for self-adaptive systems: A research road map. In Hot Topics on Software Engineering for Self-Adaptive Systems, B. H. C. Cheng et al., Eds., Lecture Notes in Computer Science, vol. 5525, Springer.
13. CZT. 2010. http://czt.sourceforge.net/.
14. DEY, A. 2000. Providing architectural support for building context-aware applications. Ph.D. thesis, Atlanta, USA.
15. DOWLING, J. AND CAHILL, V. 2001. The k-component architecture meta-model for self-adaptive software. In Proceedings of the International Conference on Metalevel Architectures and Separation of Crosscutting Concerns.
16. EDWARDS, G., GARCIA, J., TAJALLI, H., POPESCU, D., MEDVIDOVIC, N., SUKHATME, G., AND PETRUS, B. 2009. Architecture-Driven self-adaptation and self-management in robotics systems. In Proceedings of the International Workshop on Software Engineering for Adaptive and Self-Managing Systems.
17. ERICKSON, T. 2002. Some problems wit the notion of context-aware computing. Comm. ACM 45, 2, 102-104. (Pubitemid 135699989)
18. FOK, C.-L., ROMAN, G.-C., AND HACKMANN, G. 2004. A lightweight coordination middleware for mobile computing. In Proceedings of the COORDINATION Conference. R. D. Nicola, G. L. Ferrari, and G. Meredith, Eds., Lecture Notes in Computer Science, vol. 2949, Springer, 135-151.
19. GARLAN, D., CHENG, S.-W., HUANG, A.-C., SCHMERL, B., AND STEENKISTE, P. 2004. Rainbow: Architecture-Based self-adaptation with reusable infrastructure. IEEE Comput. 37, 46-54.
20. GEIHS, K., ET AL. 2009. Software Engineering for Self-Adaptive Systems. Springer. Chapter Modeling of context-aware self-adaptive applications in ubiquitous and service-oriented environments.
21. HAQUE, M. AND AHAMED, S. 2007. An omnipresent formal trust model (ftm) for pervasive computing environment. In Proceedings of the International Computer Software and Applications Conference. IEEE Computer Society, Los Alamitos, CA, 49-56. (Pubitemid 350301663)
22. HENRICKSEN, K., INDULSKA, J., AND RAKOTONIRAINY, A. 2002. Modeling context information in pervasive computing systems. In Pervasive, F. Mattern and M. Naghshineh, Eds., Lecture Notes in Computer Science, vol. 2414, Springer, 167-180.
23. HINCHEY, M. G. AND STERRITT, R. 2006. Self-Managing software. Comput. 39, 107-.
24. HUEBSCHER, M. C. AND MCCANN, J. A. 2008. A survey of autonomic computing- Degrees, models, and applications. ACM Comput. Surv. 40, 3.
25. IBM. 2006. An architectural blueprint for autonomic computing. Tech. rep., IBM.
26. KEPHART, J. O. AND CHESS, D. M. 2003. The vision of autonomic computing. IEEE Comput. 36, 1, 41-50.
27. KRAMER, J. AND MAGEE, J. 2007. Self-Managed systems: An architectural challenge. In Proceedings of the International Conference on Software Engineering.
28. MAES, P. 1987. Concepts and experiments in computational reflection. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'87).
29. MALEK, S., SEO, C., RAVULA, S., PETRUS, B., AND MEDVIDOVIC, N. 2007. Reconceptualizing a family of heterogeneous embedded systems via explicit architectural support. In Proceedings of the International Conference on Software Engineering. 591-601.
30. MALONE, T. AND CROWSTON, K. 1994. Toward an interdisciplinary theory of coordination. ACM Comput. Surv. 26, 1, 87-119.
31. MILLER, B. 2005. The autonomic computing edge: The role of knowledge in autonomic systems. Tech. rep., IBM.
32. MURPHY, A., PICCO, G. P., AND ROMAN, G.-C. 2006. Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Engin. Methodol. 15, 3, 279-328. (Pubitemid 44371449)
33. NAHRSTEDT, K., XU, D., WICHADAKUL, D., AND LI, B. 2001. QOS-Aware middleware for ubiquitous and heterogeneous environments. IEEE Comm. Mag. 39, 11, 140-148. (Pubitemid 33120697)
34. OREIZY, P., MEDVIDOVIC, N., AND TAYLOR, R. N. 1998. Architecture-Based runtime software evolution. In Proceedings of the International Conference on Software Engineering.
35. OSSOWSKI, S. AND MENEZES, R. 2006. On coordination and its significance to distributed and multi-agent systems: Research articles. Concurr. Comput. Pract. Exper. 18, 4, 359-370.
36. RANGANATHAN, A. AND CAMPBELL, R. H. 2003. An infrastructure for context-awareness based on first order logic. Person. Ubiq. Comput. 7, 6, 353-364.
37. ROMÁN, M., HESS, C., CERQUEIRA, R., RANGANATHAN, A., CAMPBELL, R. H., AND NAHRSTEDT, K. 2002. A middleware infrastructure for active spaces. IEEE Pervas. Comput. 1, 4, 74-83. (Pubitemid 44939963)
38. st Workshop on Mobile Computing Systems and Applications. IEEE Computer Society, Los Alamitos, CA, 85-90.
39. SCHMIDT, A., AIDOO, K. A., TAKALUOMA, A., TUOMELA, U., VAN LAERHOVEN, K., AND VAN DE VELDE, W. 1999. Advanced interaction in context. Lecture Notes in Computer Science, vol. 1707, Springer, 89-101.
40. SHAW, M. 1995. Beyond objects: A software design paradigm based on process control. ACM SIGSOFT Softw. Engin. Notes 20, 1, 27-38.
41. STERRITT, R. 2005. Autonomic computing. Innov. Syst. Softw. Engin. 1, 1, 79-88. (Pubitemid 41683853)
42. TISATO, F., SAVIGNI, A., CAZZOLA, W., AND SOSIO, A. 2001. Architectural reflection: Realising software architectures via reflective activities. In Proceedings of the International Workshop on Engineering Distributed Objects. Springer.
43. VASSEV, E. AND HINCHEY, M. 2011. The assl approach to specifying self-managing embedded systems. Concurr. Comput. Pract. Exper. doi: 10.1002/cpe.1758.
44. WEISER, M. 1993. Ubiquitous computing. Comput. 26, 71-72.
45. WERMELINGER, M. AND FIADEIRO, J. L. 1999. Algebraic software architecture reconfiguration. In Proceedings of the European Software Engineering Conference and International Symposium on Foundations of Software Engineering.
46. WEYNS, D., MALEK, S., AND ANDERSSON, J. 2010a. On decentralized self-adaptation: Lessons from the trenches and challenges for the future. In Proceedings of the International Workshop on Software Engineering for Adaptive and Self-Managing Systems.
47. WEYNS, D., HAESEVOETS, R., HELLEBOOGH, A., HOLVOET, T., AND JOOSEN, W. 2010b. The MACODO middleware for context-driven dynamic agent organizations. ACM Trans. Auton. Adapt. Syst. 5, 1.
48. WEYNS, D., MALEK, S., AND ANDERSSON, J. 2010c. FORMS: A formal reference model for self-adaptation. In Proceedings of the International Conference on Autonomic Computing and Communications.
49. WEYNS, D., MALEK, S., AND ANDERSSON, J. 2010d. Z specifications of FORMS. Tech. rep. CW 579, K.U. Leuven. www.cs.kuleuven.be/publicaties/rapporten/cw/ CW579.abs.html.
50. WOOLDRIDGE, M. AND JENNINGS, N. 1995. Intelligent agents: Theory and practice. Knowl. Engin. Rev. 10, 2, 115-152.
51. YE, J., COYLE, L., DOBSON, S., AND NIXON, P. 2007. Ontology-Based models in pervasive computing systems. Knowl. Engin. Rev. 22, 4, 315-347. (Pubitemid 351665096)
52. ZHANG, J. AND CHENG, B. H. C. 2006. Model-Based development of dynamically adaptive software. In Proceedings of the International Conference on Software Engineering.