Title: MODELING CONCURRENT, MOBILE AND COORDINATED SYSTEMS VIA GRAPH TRANSFORMATIONS
Abstract: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 189-268 (1999) No AccessMODELING CONCURRENT, MOBILE AND COORDINATED SYSTEMS VIA GRAPH TRANSFORMATIONSUGO MONTANARI, MARCO PISTORE, and FRANCESCA ROSSIUGO MONTANARIUniversity of Pisa, Computer Science Department, Corso Italia 40, 56125 Pisa, Italy, MARCO PISTOREUniversity of Pisa, Computer Science Department, Corso Italia 40, 56125 Pisa, Italy, and FRANCESCA ROSSIUniversity of Padova, Mathematics Department, Via Belzoni 7, 35131 Padova, Italyhttps://doi.org/10.1142/9789812814951_0004Cited by:15 (Source: Crossref) PreviousNext AboutSectionsPDF/EPUB ToolsAdd to favoritesDownload CitationsTrack CitationsRecommend to Library ShareShare onFacebookTwitterLinked InRedditEmail Abstract: In this chapter we describe how graph rewriting can be fruitfully used to model the behavior of concurrent and distributed systems. In particular, we use graph rewriting to describe the semantics of the concurrent constraint programming paradigm, which is a very general framework for asynchronous concurrent computing. Graph rewriting is here used both to model the operational semantics and to equip this class of languages with a concurrent semantics, where agent dependencies and possible parallelism can be easily identified. Then we show how graph grammars, with the help of constraint propagation, can be used to model the dynamics of distributed systems with synchronization. In particular, the notion of synchronized graph rewriting is used to describe the evolution of such systems, and constraint technology is employed to identify the possible moves of the systems. Finally, we exploit graph grammars to give both operational and abstract concurrent semantics for the π-calculus, a process algebra with the ability of handling channels as messages. FiguresReferencesRelatedDetailsCited By 15Cited by lists all citing articles based on Crossref citation.A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph TransformationsTraian Florin Şerbănuţă and Grigore Roşu1 Jan 2012Parallel Graph Transformations with Double Pushout GrammarsLeszek Kotulski and Adam Sȩdziwy1 Jan 2010Ugo Montanari and Graph TransformationAndrea Corradini1 Jan 2008Graph rewriting for the π-calculusFABIO GADDUCCI1 June 2007 | Mathematical Structures in Computer Science, Vol. 17, No. 3Adhesive and quasiadhesive categoriesStephen Lack and Paweł Sobociński15 July 2005 | RAIRO - Theoretical Informatics and Applications, Vol. 39, No. 3A Graph-based Semantics For Object-oriented Programming ConstructsAna Paula Lüdtke Ferreira and Leila Ribeiro1 Mar 2005 | Electronic Notes in Theoretical Computer Science, Vol. 122Adhesive CategoriesStephen Lack and Paweł Sobociński1 Jan 2004Derivations in Object-Oriented Graph GrammarsAna Paula Lüdtke Ferreira and Leila Ribeiro1 Jan 2004Term Graph Rewriting for the π-CalculusFabio Gadducci1 Jan 2003Distributed Graph Transformation UnitsPeter Knirsch and Sabine Kuske24 October 2002Tutorial Introduction to Graph Transformation: A Software Engineering PerspectiveLuciano Baresi and Reiko Heckel24 October 2002Visualization of Distributed Algorithms Based on Graph Relabelling Systems1 1This work has been supported by the European TMR research network GETGRATS, and by the "Conseil Régional d' Aquitane".M. Bauderon, S. Gruner, Y. Métivier, M. Mosbah and A. Sellami1 Aug 2001 | Electronic Notes in Theoretical Computer Science, Vol. 50, No. 3Synchronized Hyperedge Replacement with Name MobilityHirsch Dan and Montanari Ugo22 August 2001A Note on Modeling Agent Systems by Graph TransformationP. Knirsch and H. -J. Kreowski18 April 2003Specification of Mobile Code Systems Using Graph GrammarsFernando Luís Dotti and Leila Ribeiro1 Jan 2000 Recommended Handbook of Graph Grammars and Computing by Graph Transformation Metrics History PDF download
Publication Year: 1999
Publication Date: 1999-08-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 22
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot