Chemical Specification of Autonomic Systems

13th International Conference on Intelligent and Adaptive Systems and Software Engineering 2004, IASSE 2004

Volumn , Issue , 2004, Pages 72-79

  Banatre J P ^a   Radenac, Y ^a   Fradet, P ^b  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; INFORMATION MANAGEMENT; SOFTWARE ENGINEERING; SPECIFICATIONS;

AUTONOMIC COMPUTING; AUTONOMIC SYSTEMS; CHEMICAL PROGRAMMING; CHEMICAL SPECIFICATIONS; HIGH-ORDER; MULTI-SETS; PROGRAMMING PARADIGMS; PROPERTY; REWRITE RULES; SELF MANAGEMENT;

CHEMICAL REACTIONS;

EID: 24644435979     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. J.-P. Banatre, P. Fradet, and D. Le Metayer. Gamma and the chemical reaction model: Fifteen years after. In Multiset Processing, volume 2235 of LNCS, pages 17-44. Springer-Verlag, 2001.
2. J.-P. Banatre, P. Fradet, and Y. Radenac. Principles of chemical programming. In RULE '04, ENTCS. Elsevier, 2004, (to appear).
3. J.-P. Banatre and D. Le Metayer. Programming by multiset transformation. Communications of the ACM (CACM), 36 (1):98-111, Jan. 1993.
4. H. Barradas. Systematic derivation of an operating system kernel in Gamma, Phd thesis (in french), University of Rennes, France, July 1993.
5. N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32 (4):444-458, 1989.
6. A. D'Angelo. Using a chemical metaphor to implement autonomous systems. In Topics in Artificial Intelligence, volume 992 of LNAI, pages 315-322, Florence, Oct. 1995.
7. N. Dershowitz and Z. Manna. Proving termination with multiset orderings. Communications of the ACM, 22 (8):465-476, Aug. 1979.
8. J. Kephart and D. Chess. The vision of autonomic computing. IEEE Computer, Jan. 2003.
9. D. Le Métayer. Software architecture styles as graph grammars. In Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pages 15-23. ACM Press, 1996.
10. D. Mentré, D. Le Métayer, and T. Priol. Formalization and verification of coherence protocols with the Gamma framework. In Proceedings of the 5 th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE-2000). ACM, June 2000.
11. D. Patterson, A. Brown, P. Broadwell, et al. Recovery oriented computing (ROC):Motivations, definition, techniques and case studies. T al Report CSD-02-1175, University of California at Berkeley, Mar. 2002.