Abstract:
|
The aim of this work is the definition of a generic framework for the modelling and development of component-based distributed applications with mobile processes in the internet. We describe component systems as typed attributed graphs, where nodes may represent localities, but also connections between components or bindings of components to localities. In this context, mobility is described in terms of graph transformation extending transformation rules to include (graph) variables. |