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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Berlin (1992)
Harel, D., Thiagarajan, P.S.: Message sequence charts. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real – Design of Embedded Real-Time Systems, pp. 77–105. Kluwer Academic Publishers, Dordrecht (2003)
Berry, G., Couronne, P., Gonthier, G.: Synchronous programming of reactive systems: an introduction to Esterel. In: 1st. Franco-Japanese Symposium on Programming of Future Generation Computers, pp. 35–56. Elsevier, Amsterdam (1988)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proceedings of the IEEE 79(9), 1305–1320 (1991)
LeGuernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proceedings of the IEEE 79(9), 1321–1336 (1991)
Seceleanu, C.C., Seceleanu, T.: Synchronization can improve reactive systems control and modularity. Universal Computer Science 10(10), 1429–1468 (2004)
Riesco, M., Tuya, J.: Synchronous Estelle: Just another synchronous language? In: 2nd. Synchronous Languages, Applications and Programming. ENTCS, vol. 88, pp. 71–86. Elsevier, Amsterdam (2004)
Damm, W., Harel, D.: Breathing live into message sequence charts. Formal Methods in System Design 19(1), 48–80 (2001)
Gazagnaire, T., Genest, B., Hélouët, L., Thiagarajan, P.S., Yang, S.: Causal message sequence charts. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 166–180. Springer, Heidelberg (2007)
Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools. World Scientific, River Edge (1999)
Foss, L., Machado, R., Ribeiro, L.: Graph productions with dependencies. In: 10th. Brazilian Symposium on Formal Methods, pp. 128–143. SBC, Ouro Preto (2007)
Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: 14th Annual Symposium on Foundations of Computer Science, pp. 167–180. IEEE Computer Society, Washington (1973)
Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3/4), 241–265 (1996)
Baldan, P., Corradini, A., Dotti, F.L., Foss, L., Gadducci, F., Ribeiro, L.: Towards a notion of transaction in graph rewriting. In: 5th International Workshop on Graph Transformation and Visual Modeling Techniques. ENTCS, vol. 211C, pp. 39–50. Elsevier, Amsterdam (2008)
Bruni, R., Montanari, U.: Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation 156(1-2), 46–89 (2000)
Baldan, P., Corradini, A., Foss, L., Gadducci, F.: Graph transactions as processes. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 199–214. Springer, Heidelberg (2006)
Foss, L.: Transactional Graph Transformation Systems. PhD Thesis, Federal University of Rio Grande do Sul - UFRGS (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corradini, A., Foss, L., Ribeiro, L. (2009). Graph Transformation with Dependencies for the Specification of Interactive Systems. In: Corradini, A., Montanari, U. (eds) Recent Trends in Algebraic Development Techniques. WADT 2008. Lecture Notes in Computer Science, vol 5486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03429-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-03429-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03428-2
Online ISBN: 978-3-642-03429-9
eBook Packages: Computer ScienceComputer Science (R0)