A higher-order graph calculus for autonomic computing

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

Volumn 5420 LNCS, Issue , 2009, Pages 15-26

  Andrei, Oana ^a   Kirchner, Hélène ^b  

^a INRIA   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMIC COMPUTING; AUTONOMIC SYSTEMS; GRAPH REWRITING; HIGHER ORDER; REWRITING CALCULUS;

ARTIFICIAL INTELLIGENCE; GRAPH THEORY;

COMPUTATION THEORY;

EID: 70249129780     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02029-2_2     Document Type: Conference Paper

References (26)

1. Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. IEEE Computer 36(1), 41-50 (2003)
2. Cardelli, L.: Brane Calculi. In: Danos, V., Scḧachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.3082, pp. 257-278. Springer, Heidelberg (2005)
3. Danos, V., Pradalier, S.: Projective Brane Calculus. In: Danos, V., Scḧachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.3082, pp. 134-148. Springer, Heidelberg (2005)
4. Paun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
5. Milner, R.: Pure bigraphs: Structure and dynamics. Inf. Comput. 204(1), 60-122 (2006)
6. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.Y.: BioAmbients: an abstraction for biological compartments. TCS 325(1), 141-167 (2004)
7. Chabrier-Rivier, N., Fages, F., Soliman, S.: The Biochemical Abstract Machine BIOCHAM. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.3082, pp. 172-191. Springer, Heidelberg (2005)
8. Laneve, C., Tarissan, F.: A simple calculus for proteins and cells. ENTCS 171(2), 139-154 (2007)
9. Banatre, J.P., Metayer, D.L.: A new computational model and its discipline of programming. Technical Report RR-566, INRIA (1986)
10. Ban̂atre, J.P., Fradet, P., Radenac, Y.: A Generalized Higher-Order Chemical Computation Model. ENTCS 135(3), 3-13 (2006)
11. Ban̂atre, J.P., Fradet, P., Radenac, Y.: Programming Self-Organizing Systems with the Higher-Order Chemical Language. International Journal of Unconventional Computing 3(3), 161-177 (2007)
12. Giavitto, J.L., Michel, O.: MGS: a Rule-Based Programming Language for Complex Objects and Collections. Electronic Notes in Theoretical Computer Science 59(4) (2001)
13. Chakravarti, A.J., Baumgartner, G., Lauria, M.: Application-Specific Scheduling for the Organic Grid. In: Buyya, R. (ed.) GRID, pp. 146-155. IEEE Computer Society, Los Alamitos (2004) (Pubitemid 40752136)
14. Andrei, O., Kirchner, H.: A Rewriting Calculus for Multigraphs with Ports. In: Proceedings of RULE 2007, International Workshop on Rule-Based Programming. Electronic Notes in Theoretical Computer Science, vol.219, pp. 67-82, November 20 (2008)
15. Andrei, O., Kirchner, H.: Graph Rewriting and Strategies for Modeling Biochemical Networks. In: SYNASC 2007, pp. 407-414. IEEE Computer Society, Los Alamitos (2007)
16. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L̈owe, M.: Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.1, pp. 163-246. World Scientific, Singapore (1997)
17. Ban̂atre, J.P., Radenac, Y., Fradet, P.: Chemical Specification of Autonomic Systems. In: IASSE 2004, pp. 72-79. ISCA (2004)
18. Kirchner, C., Kirchner, F., Kirchner, H.: Strategic computations and deductions. In: Festchrift in honor of Peter Andrews. Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam (2008)
19. Borovansky, P., Kirchner, C., Kirchner, H., Ringeissen, C.: Rewriting with strategies in ELAN: a functional semantics. Int. J. Found. Comput. Sci. 12(1), 69-98 (2001)
20. Visser, E.: Stratego: A Language for Program Transformation based on Rewriting Strategies. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.2051, pp. 357-361. Springer, Heidelberg (2001)
21. Balland, E., Brauner, P., Kopetz, R., Moreau, P.E., Reilles, A.: Tom: Piggybacking rewriting on Java. In: Baader, F. (ed.) RTA 2007. LNCS, vol.4533, pp. 36-47. Springer, Heidelberg (2007)
22. Mart́i-Oliet, N., Meseguer, J., Verdejo, A.: A Rewriting Semantics for Maude Strategies. In: Proc. of WRLA 2008 (2008)
23. Andrei, O.: A Graph Rewriting Calculus: Applications to Biology and Autonomous Systems. Ph.D thesis, INPL, Nancy, France (2008)
24. Cirstea, H., Kirchner, C.: The rewriting calculus - Part I and II. Logic Journal of the IGPL 9(3), 427-498 (2001)
25. Bertolissi, C., Baldan, P., Cirstea, H., Kirchner, C.: A Rewriting Calculus for Cyclic Higher-order Term Graphs. ENTCS 127(5), 21-41 (2005)
26. Cirstea, H., Kirchner, C., Liquori, L., Wack, B.: Rewrite strategies in the rewriting calculus. ENTCS 86(4), 593-624 (2003)