The main aim of this extended abstract is to discuss the requirements of a speci cation method for mobile code applications and analyze to what extent Graph Transformation Systems can be used to meet these requirements. We suggest some extensions to the theory of Graph Transformation which seem to be desirable to cope with this kind of applications.
A Graph Transformation View on the Specification of Applications using Mobile Code
CORRADINI, ANDREA;
2001-01-01
Abstract
The main aim of this extended abstract is to discuss the requirements of a speci cation method for mobile code applications and analyze to what extent Graph Transformation Systems can be used to meet these requirements. We suggest some extensions to the theory of Graph Transformation which seem to be desirable to cope with this kind of applications.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.