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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/179088
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact