We propose a notion of Graph Transformation Systems (gts) with dependency relation, more expressive than a previously proposed one, and suitable for the specification of interactions. We show how a specification using gts with dependencies can be implemented, at a lower level of abstraction, by a transactional gts, that is, a gts equipped with the notion of observable (stable) items in which computations that correspond to "complete" interactions are characterized as transactions.
Graph transformation with dependencies for the specification of interactive systems
CORRADINI, ANDREA;
2009-01-01
Abstract
We propose a notion of Graph Transformation Systems (gts) with dependency relation, more expressive than a previously proposed one, and suitable for the specification of interactions. We show how a specification using gts with dependencies can be implemented, at a lower level of abstraction, by a transactional gts, that is, a gts equipped with the notion of observable (stable) items in which computations that correspond to "complete" interactions are characterized as transactions.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.
