A universal self-organization mechanism for role-based organic computing systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5586 LNCS, Issue , 2009, Pages 17-31

  Nafz, Florian ^a   Ortmeier, Frank ^a   Seebach, Hella ^a   Steghöfer, Jan Philipp ^a   Reif, Wolfgang ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC ADAPTATION; CONSTRAINT SOLVERS; DESIGN AND CONSTRUCTION; DESIGN GUIDELINES; DESIGN PATTERNS; ORGANIC COMPUTING; PRODUCTION AUTOMATION; RECONFIGURATION MECHANISMS; ROLE-BASED; SELF-HEALING; SELF-ORGANIZATION MECHANISMS;

DESIGN;

COMPUTER SCIENCE;

EID: 71049190955     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02704-8_3     Document Type: Conference Paper

References (15)

1. Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: A BDI Agent System Combining Middleware and Reasoning. Software Agent-Based Applications, Platforms and Development Kits (2005)
2. Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: Proceedings of the first workshop on Self-healing Systems, pp. 33-38. ACM Press, New York (2002)
3. Güdemann, M., Ortmeier, F., Reif, W.: Formal modeling and verification of systems with self-x properties. In: Yang, L.T., Jin, H., Ma, J., Ungerer, T. (eds.) ATC 2006. LNCS, vol. 4158, pp. 38-47. Springer, Heidelberg (2006)
4. Güdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: Brueckner, S., Robertson, P., Bellur, U. (eds.) Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 233-242. IEEE Computer Society Press, Los Alamitos (2008)
5. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2), 256-290 (2002)
6. Kephart, J., Chess, D.: The vision of autonomic computing. IEEE Computer (January 2003)
7. Kramer, J., Magee, J.: Self-Managed Systems: an Architectural Challenge. In: International Conference on Software Engineering, pp. 259-268. IEEE Computer Society, Washington (2007)
8. Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Schäfer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137-153. Springer, Heidelberg (1995)
9. Müller-Schloer, C.: Organic computing: on the feasibility of controlled emergence. In: CODES+ISSS 2004: Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, pp. 2-5. ACM, New York (2004)
10. OMG. Object Constraint Language, OMG Available Specification (2006)
11. Richter, U., Mnif, M., Branke, J., Müller-Schloer, C., Schmeck, H.: Towards a generic observer/controller architecture for Organic Computing. Informatik, 112-119 (2006)
12. Seebach, H., Ortmeier, F., Reif, W.: Design and Construction of Organic Computing Systems. In: Proceedings of the IEEE Congress on Evolutionary Computation 2007. IEEE Computer Society Press, Los Alamitos (2007)
13. Torlak, E., Jackson, D.: The Design of a Relational Engine. Technical report, Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory (2006)
14. Torlak, E., Jackson, D.: Kodkod: A Relational Model Finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632-647. Springer, Heidelberg (2007)
15. Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An Automated Formal Approach to Managing Dynamic Reconfiguration. In: 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006, pp. 37-46 (2006)