Add to ORKGInternational audienceIn this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We show that this formalism is suitable for modeling autonomic systems and we illustrate its expressivity for modeling properties of such systems using an example of a mail delivery system
The biologically inspired framework of port-graphs has been successfully used to specify complex sys...
Les systèmes distribués modernes à large-échelle évoluent dans des contextes variables soumis à de n...
AbstractIn this paper, we define labeled multigraphs with ports, a graph model which specifies conne...
International audienceIn this paper, we present a high-level formalism based on port graph rewriting...
International audienceIn this paper, we first introduce port graphs as graphs with multiple edges an...
AbstractFrom our previous work on biochemical applications, the structure of port graph (or multigra...
International audienceWe present a general definition of labelled port graph that serves as a basis ...
International audienceWe present strategic portgraph rewriting as a basis for the implementation of ...
International audienceIn this paper we present a higher-order calculus inspired by biochemical syste...
International audienceIn the context of understanding, planning and anticipating the behaviour of co...
International audienceThis paper investigates the use of graph rewriting systems as a modelling tool...
International audienceIn this paper, we define labeled multigraphs with ports, a graph model which s...
The objective of this thesis is to explore formal descriptions for the structure and functioning of ...
International audienceWe propose an algebraic and logical approach to the study of social networks, ...
This paper investigates the use of graph rewriting systems as a modelling tool, and advocates the em...
The biologically inspired framework of port-graphs has been successfully used to specify complex sys...
Les systèmes distribués modernes à large-échelle évoluent dans des contextes variables soumis à de n...
AbstractIn this paper, we define labeled multigraphs with ports, a graph model which specifies conne...
International audienceIn this paper, we present a high-level formalism based on port graph rewriting...
International audienceIn this paper, we first introduce port graphs as graphs with multiple edges an...
AbstractFrom our previous work on biochemical applications, the structure of port graph (or multigra...
International audienceWe present a general definition of labelled port graph that serves as a basis ...
International audienceWe present strategic portgraph rewriting as a basis for the implementation of ...
International audienceIn this paper we present a higher-order calculus inspired by biochemical syste...
International audienceIn the context of understanding, planning and anticipating the behaviour of co...
International audienceThis paper investigates the use of graph rewriting systems as a modelling tool...
International audienceIn this paper, we define labeled multigraphs with ports, a graph model which s...
The objective of this thesis is to explore formal descriptions for the structure and functioning of ...
International audienceWe propose an algebraic and logical approach to the study of social networks, ...
This paper investigates the use of graph rewriting systems as a modelling tool, and advocates the em...
The biologically inspired framework of port-graphs has been successfully used to specify complex sys...
Les systèmes distribués modernes à large-échelle évoluent dans des contextes variables soumis à de n...
AbstractIn this paper, we define labeled multigraphs with ports, a graph model which specifies conne...