Developing autonomic and secure virtual organisations with chemical programming

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

Volumn 5873 LNCS, Issue , 2009, Pages 75-89

  Arenas, Alvaro E ^a   Banâtre, Jean Pierre ^b   Priol, Thierry ^b  

^a RUTHERFORD APPLETON LABORATORY   (United Kingdom)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-ORIENTED; AUTONOMIC PROPERTIES; AUTONOMICITY; CHEMICAL PROGRAMMING; CROSS-CUTTING; DIGITAL PRODUCTS; HIGHER ORDER; POTENTIAL APPLICATIONS; PROGRAMMING PARADIGMS; SECURITY PROPERTIES; SELF-HEALING; SERVICE COMPUTING; TRANSFORMATION FUNCTIONS; VIRTUAL ORGANISATIONS; WHOLE SYSTEMS;

COMPUTER SCIENCE; NETWORK SECURITY; STABILIZATION;

GRID COMPUTING;

EID: 70549104898     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05118-0_6     Document Type: Conference Paper

References (16)

1. Banâtre, J.-P., Fradet, P., LeMétayer, D.: Gamma and the Chemical Reaction Model: Fifteen Years After. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 17-44. Springer, Heidelberg (2001)
2. Banâtre, J.-P., Fradet, P., Radenac, Y.: Chemical Specification of Autonomic Systems. In: Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2004) (July 2004)
3. Banâtre, J.-P., Priol, T., Radenac, Y.: Service Orchestration Using the Chemical Metaphor. In: Brinkschulte, U., Givargis, T., Russo, S. (eds.) SEUS 2008. LNCS, vol. 5287, pp. 79-89. Springer, Heidelberg (2008)
4. Banzhaf, W., Koza, J.R., Ryan, C., Spector, L., Jacob, C.: Genetic Programming. IEEE Intelligent Systems and their Applications 15(3), 74-84 (2000)
5. Camarihna-Matos, L.M., Afsarmanesh, H. (eds.): Collaborative Networked Organisations - A Research Agenda for Emerging Business Models. Kluwer, Dordrecht (2004)
6. Clarke, S., Walker, R.J.: Composition Patterns: An Approach to Designing Reusable Aspects. In: International Conference on Software Engineering (2001)
7. Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organizations. Int. Journal of Supercomputer Applications 15(3) (2001)
8. Garcia, A., Sant Anna, C., Figueiredo, E., Kulesza, U., Lucena, C., von Staa, A.: Modularizing Design Patterns with Aspects: A Quantitative Study. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, pp. 36-74. Springer, Heidelberg (2006)
9. Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer 36(1), 41-50 (2003)
10. Mentré, D., Le Métayer, D., Priol, T.: Formalization and Verification of Coherence Protocols with the Gamma Framework. In: Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000), pp. 105-113 (2000)
11. Mousavi, M.R., Reniers, M.A., Basten, T., Chaudron, M.R.V.: Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. In: ACSD, pp. 71-81. IEEE Computer Society, Los Alamitos (2003)
12. Muskulus, M.: Application of Page Ranking in P Systems. In: 9th Workshop on Membrane Computing. IEEE Computer Society, Los Alamitos (2008)
13. P'aun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)
14. Tschudin, C.: Fraglets - a Metabolistic Execution Model for Communication Protocols. In: 2nd Annual Symposium on Autonomous Intelligent Networks and Systems (AINS). IEEE Computer Society Press, Los Alamitos (2003)
15. Tschudin, C., Yamamoto, L.: A Metabolic Approach to Protocol Resilience. In: Smirnov, M. (ed.) WAC 2004. LNCS, vol. 3457, pp. 191-206. Springer, Heidelberg (2005)
16. Viega, J., Bloch, J.T., Chandra, P.: Applying Aspect-Oriented Programming to Security. Cutter IT Journal 14(2), 31-39 (2001)