A Higher-Order Graph Calculus for Autonomic Computing

被引：0
|
作者：
Andrei, Oana [1 ,2 ]
Kirchner, Helene
机构：
[1] INRIA Nancy Grand Est & LORIA, Nancy, France
[2] INRIA Bordeaux Sud Ouest, Talence, France
来源：
GRAPH THEORY, COMPUTATIONAL INTELLIGENCE AND THOUGHT: ESSAYS DEDICATED TO MARTIN CHARLES GOLUMBIC ON THE OCCASION OF HIS 60TH BIRTHDAY | 2009年 / 5420卷
关键词：
REWRITING CALCULUS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We argue that this formalism is suitable for modeling autonomic systems and briefly illustrate its expressivity for modeling properties of such systems.
引用
收藏
页码：15 / +
页数：3
相关论文
共 50 条
  • [1] A Higher-Order Calculus for Graph Transformation
    Department of Computer Science, King's College, Strand, London WC2R 2LS, United Kingdom
    不详
    [J]. Electron. Notes Theor. Comput. Sci., 2007, 1 SPEC. ISS. (45-58):
  • [2] A Reflective Higher-order Calculus
    Meredith, L. G.
    Radestock, Matthias
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (05) : 49 - 67
  • [3] Reversibility in the higher-order π-calculus
    Lanese, Ivan
    Mezzina, Claudio Antares
    Stefani, Jean-Bernard
    [J]. THEORETICAL COMPUTER SCIENCE, 2016, 625 : 25 - 84
  • [4] Higher-order lazy narrowing calculus: A solver for higher-order equations
    Ida, T
    Marin, M
    Suzuki, T
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
  • [5] A Higher-Order Calculus of Computational Fields
    Audrito, Giorgio
    Viroli, Mirko
    Damiani, Ferruccio
    Pianini, Danilo
    Beal, Jacob
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (01)
  • [6] A HIGHER-ORDER CALCULUS AND THEORY ABSTRACTION
    LUO, ZH
    [J]. INFORMATION AND COMPUTATION, 1991, 90 (01) : 107 - 137
  • [7] On a Higher-Order Calculus of Computational Fields
    Audrito, Giorgio
    Viroli, Mirko
    Damiani, Ferruccio
    Pianini, Danilo
    Beal, Jacob
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 289 - 292
  • [8] Higher-order π-calculus with the mismatch operator
    Xu, Xian
    [J]. Ruan Jian Xue Bao/Journal of Software, 2014, 25 (11): : 2433 - 2451
  • [9] A CALCULUS OF HIGHER-ORDER COMMUNICATING SYSTEMS
    THOMSEN, B
    [J]. CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 143 - 154
  • [10] A Port Graph Calculus for Autonomic Computing and Invariant Verification
    Andrei, Oana
    Kirchner, Helene
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (04) : 17 - 38
12345