Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).

2001; Elsevier BV; Volume: 50; Issue: 3 Linguagem: Inglês

10.1016/s1571-0661(04)00175-6

ISSN

1571-0661

Autores

Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro,

Tópico(s)

Model-Driven Software Engineering Techniques

Resumo

The main aim of this extended abstract is to discuss the requirements of a specification 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.

Referência(s)