Abstract
The design of software systems that include mobility or dynamic reconfiguration of their components is becoming more frequent. Consequently, it is necessary to have the right tools to handle their description specially in the design phase. With this in mind and understanding the relevance of visual languages at the design level, we present in this paper a graphical model using Synchronized Hyperedge Replacement Systems with the addition of name mobility. This method gives a solid foundation for graphical mobile calculi which are well-suited for high level description of distributed and concurrent systems.
Partially supported by UBACyT Projects TW72 and X094.
Partially supported by CNR Projects Metodi per Sistemi Connessi mediante Reti; by MURST project Theory of Concurrency and Higher Order and Types; by TMR Network GETGRATS; and by Esprit Working Groups APPLIGRAPH.
This is a preview of subscription content, log in via an institution to check access.
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
Drewes, F., Kreowski, H-J., Hable, A.: Hyperedge Replacement Graph Grammars. Chapter 2, In [8]. 1997.
Ehrig, H., Kreowski, H.-J., Montanari, U. and Rozenberg, G., Editors: Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, volume 3, World Scientific, 1999.
Hirsch, D., Inverardi, P., Montanari, U.: Reconfiguration of Software Architecture Styles with Name Mobility. In Proceedings of 4th international Conference, Coordination 2000, LNCS, volume 1906, 2000.
Hirsch, D., Montanari, U.: Synchronized Hyperedge Replacement with Name Mobility. Technical Report TR-01-001, Department of Computer Science, Universidad de Buenos Aires, 2001. http://www.dc.uba.ar/people/proyinv/tr.html
König, B., Montanari, U.: Observational Equivalence for Synchronized Graph Rewriting with Mobility. Submitted for publication. 2001.
Milner, R.: Communicating and Mobile Systems: The pg-Calculus. Cambridge University Press, 1999.
Montanari, U., Pistore, M. and Rossi, F.: Modeling Concurrent, Mobile and Coordinated Systems via Graph Transformations. In Kreowski, H.-J., Montanari, U. and Rozenberg, G., Editors: Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, volume 3 [2]. 1999.
Rozenberg, G., editor: Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, volume I. World Scientific, 1997.
Sangiorgi, D.: pg-calculus, Internal Mobility and Agent-passing Calculi. Theoretical Computer Science 167(2), 1996.
Victor The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. PhD Thesis, Uppsala University, Dept. of Computer Science, June 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dan, H., Ugo, M. (2001). Synchronized Hyperedge Replacement with Name Mobility. In: Larsen, K.G., Nielsen, M. (eds) CONCUR 2001 — Concurrency Theory. CONCUR 2001. Lecture Notes in Computer Science, vol 2154. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44685-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-44685-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42497-0
Online ISBN: 978-3-540-44685-9
eBook Packages: Springer Book Archive