Dan Hirsch, Ugo Montanari  Home/Search
Context Related
| elet.polimi.it/Users/DEI/S...hirsch.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: elet.polimi.it/Users/DEI/Secti... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 at all stages of the development process. More specifically, it is fundamental to be able to cope with these type of requirements also in the design phase. With this in mind and understanding the relevance of visual languages specially at the design level, we present in this paper a... (Update)
Context of citations to this paper: More
...be speci ed in a more expressive and compact form than using calculus style languages for mobility. A related approach is presented in [HM01], where synchronization is modeled directly in the graph transformation formalism, by using Synchronized Hyperedge Replacement...
Cited by: More
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
Appligraph: Applications of Graph Transformation - Fourth.. - Kreowski, (eds.) (2001) (Correct)
Active bibliography (related documents): More All
0.6: A Formal Basis for Reasoning on Programmable QoS - De Nicola, Ferrari.. (2003) (Correct)
0.4: Non-Functional Aspects of Wide Area Network - Tuosto (Correct)
0.2: Appligraph: Applications of Graph Transformation - Fifth.. - Kreowski, (eds.) (2002) (Correct)
Similar documents based on text: More All
0.6: Modal Logic as a Software Engineering Tool - Areces, Hirsch (1996) (Correct)
0.5: Different Competitiveness Measures for Infinite.. - Feuerstein, de Loma (1998) (Correct)
0.5: On Multi-threaded Metrical Task Systems - Feuerstein, Seiden, de Loma (1999) (Correct)
Related documents from co-citation: More All
6: Computing raster images from grid picture grammars - Drewes, Ewert et al.
4: the syntactic structure of celtic knotwork (context) - Drewes, Klempien-Hinrichs et al. - 2000
4: Ecient Parsing of Visual Languages based on Critical Pair Analysis and Contextua.. (context) - Bottoni, Sch et al. - 2000
BibTeX entry: (Update)
D. Hirsch and U. Montanari. A graphical calculus for name mobility. In Proc. Workshop on Software Engineering and Mobility, http://citeseer.ist.psu.edu/493314.html More
@misc{ hirsch-graphical,
author = "D. Hirsch and U. Montanari",
title = "A graphical calculus for name mobility",
text = "D. Hirsch and U. Montanari. A graphical calculus for name mobility. In
Proc. Workshop on Software Engineering and Mobility,",
url = "citeseer.ist.psu.edu/493314.html" }
Citations (may not include all citations):148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
61 The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - Victor - 1998
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996
10 Synchronized hyperedge replacement with name mobility (context) - Hirsch, Montanari - 2001
7 Communicating and Mobile Systems: The #- Calculus (context) - Milner - 1999
4 Observational equivalence for synchronized graph rewriting w.. (context) - Konig, Montanari - 2001
3 Reconfiguration of software architecture styles with name mo.. (context) - Hirsch, Inverardi et al.
Documents on the same site (http://www.elet.polimi.it/Users/DEI/Sections/Compeng/GianPietro.Picco/ICSE01mobility/): More
Some Thoughts on Transiently Shared Dataspaces - Busi, Zavattaro (2001) (Correct)
A Framework for Dynamic Adaptation in Wireless Environments - Maria-Teresa Segarra.. (Correct)
Policy Controlled Mobility - Corradi, Montanari, Lupu, Stefanelli (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC