Graph-based models of internetworking systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2757, Issue , 2003, Pages 242-266

  Ferrari, Gianluigi ^a   Montanari, Ugo ^a   Tuosto, Emilio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS; SOFTWARE ENGINEERING; SPECIFICATIONS;

ENGINEERING TECHNIQUES; GRAPH-BASED MODELS; GRAPHICAL NOTATION; INTERNETWORKING; SPECIFICATION AND DESIGNS; SYSTEM SPECIFICATION;

WIDE AREA NETWORKS;

EID: 35248873541     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40007-3_16     Document Type: Article

References (51)

1. M. Abadi and A. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1-70, 1999.
2. L. Andrade and J.L. Fiadeiro. Coordination for orchestration. In COORDINATION 2002. LNCS, 2002.
3. O. Angin, A. Campbell, M. Kounavis, and R. Liao. The Mobiware Toolkit: Programmable Support for Adaptive Mobile Networking. IEEE Personal Communications Magazine, August 1998.
4. L. Bettini, R. De Nicola, G. Ferrari, and R. Pugliese. Interactive Mobile Agents in X-KLAIM. In Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pages 110-115, 1998.
5. S. Blake, D. Black, M. Carlson, E. Davies, Z. Wand, and W. Weiss. An architecture for differentiated services. Technical Report RFC 2475, 1998.
6. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
7. R. Braden, L. Zhang, S. Berson, S. Herzog, and S. Jamin. Resource reservation protocol (rsvp) - version 1 functional specification.
8. R. Bruni, C. Laneve, and U. Montanari. Orchestrating Transactions in Join Calculus. In L. Brim, P. Jancar, and M. Kretinsky, editors, Proceedings of CONCUR 2002, 13th International Conference on Concurrency Theory, volume 2421 of Lecture Notes in Computer Science, 2002.
9. M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about Security in Mobile Ambients. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 102-120. Springer, 2001.
10. L. Caires and L. Cardelli. A spatial logic for concurrency (part H). In CONCUR'02, volume 2421 of Lecture Notes in Computer Science. Springer, 2002.
11. L. Cardelli and A.D. Gordon. Mobile Ambients. Theoretical Computer Science, 240(1):177-213, 2000.
12. An extended abstract appeared in Proceedings of FoSSaCS '98, number 1378 of LNCS, pages 140-155, Springer, 1998.
13. L. Cardelli and A. Gordon. Anytime, anywhere - modal logics for mobile ambients. In Proceedings of POPL '00, pages 365-377. ACM, 2000.
14. G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 82-101. Springer, 2001.
15. G. Castagna and J. Vitek. Seal: A Framework for Secure Mobile Computations. In H. Bal, B. Belkhouche, and L. Cardelli, editors, Internet Programming Languages, number 1686 in Lecture Notes in Computer Science, pages 47-77. Springer, 1999.
16. G. Cinciarone, M. Corson, and J. Macker. Internet-based mobile ad hoc networking. Internet Computing, 3(4), 1999.
17. E.M. Clarke, S. Jha, and W. Marrero. Using state space exploration and a natural deduction style message derivation engine to verify security protocols. In IFIP Working Conference on Programming Concepts and Methods (PROCOMET), 1998.
18. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A formal basis for reasoning on programmable qos, verification-theory and practice. Proceedings of an International Symposium in Honor of Zohar Manna's 64th Birthday, Springer LNCS, submitted for publication.
19. R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215-254, 2000.
20. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315-330, May 1998. Special Issue: Mobility and Network Aware Computing.
21. G. Engels, J.H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioural diagrams in UML. In UML 2000, number 1939 in Lecture Notes in Computer Science, pages 323-337. Springer, 2000.
22. G. Ferrari, U. Montanari, and E. Tuosto. A Its semantics of ambients via graph synchronization with mobility. In 7th Italian Conference on Theoretical Computer Science - ICTCS'01, volume 2202 of Lecture Notes in Computer Science. Springer, 2001.
23. G. Ferrari, C. Montangero, L. Semini, and S. Semprini. Mark: A reasoning kit for mobility. Automated Software Engineering, 9(2):137-150, 2002.
24. Robert, W. Floyd. Algorithm97 (shortestpath). Communication of the ACM, 5(6):345, 1962.
25. R. Focardi and R. Gorrieri. The Compositional Security Checker: A tool for the verification of information flow security properties. IEEE Transaction on Software Engineering, 23(9):550-571, 1997.
26. I. Foster, C. Kesselman, C. Lee, R. Lindell, K. Nahrstedt, and A. Roy. A distributed resource management architecture that supports advance reservations and co-allocation. In Proceedings of the International Workshop on Quality of Service, 1999.
27. C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pages 406-421. Springer, 1996.
28. A. Fuggetta, G. Picco, and G. Vigna. Understanging Code Mobility. IEEE Transactions on Software Engineering, 24(5), 1998.
29. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
30. M. Gogolla. Graph transformations on the UML Metamodel. In ICALP Workshop on Graph Transformations and Visual Modeling Techniques, pages 359-371. Carleton Scientific, 2000.
31. M. Hennessy and J. Riely. Resource Access Control in Systems of Mobile Agents. In Uwe Nestmann and Benjamin C. Pierce, editors, Proc. of HLCL '98: High-Level Concurrent Languages, volume 16.3 of ENTCS, pages 3-17. Elsevier, 1998. To appear in Information and Computation.
32. M. Hennessy and J. Riely. Distributed Processes and Location Failures. Theoretical Computer Science, 266, 2001.
33. D. Hirsch, P. Inverardi, and U. Montanari. Reconfiguration of Software Architecture Styles with Name Mobility. In Antonio Porto and Gruia-Catalin Roman, editors, Coordination 2000, volume 1906 of LNCS, pages 148-163. Springer, 2000.
34. D. Hirsch and U. Montanari. Synchronized hyperedge replacement with name mobility. In CONCUR 01, number 2154 in Lecture Notes in Computer Science, pages 121-135. Springer, 2001.
35. IBM Software Group. Web services conceptual architecture. In IBM White Papers, 2000.
36. S. Kuske, M. Gogolla, R. Kollmann, and H.J. Kreowski. An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation. In Michael Butler and Kaisa Sere, editors, 3rd Int. Conf. Integrated Formal Methods (IFM'02). Springer, Berlin, LNCS, 2002.
37. B. Li. Agilos: A Middleware Control Architecture for Application-Aware Quality of Service Adaptations, PhD thesis, University of Illinois, 2000.
38. G. Lowe. An attack on the needham-schroeder public-key authentication protocol. Information Processing Letter, 56(3):131-133, 1995.
39. P.J. McCann and G. Catalin-Roman. Compositional programming abstraction for mobile computing. IEEE Transactions on Software Engineering, 24(2):97-110, 1998.
40. U. Montanari and F. Rossi. Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization. In P. Ciancarini and C. Hankin, editors, Proceedings of the First International Conference COORDINATION '96, Cesena, Italy, volume 1061 of LNCS. Springer, April 1996.
41. OMG. Unified modelling language specification. Available at http://www.omg.org, 2001.
42. Oracle. Oracle 8i lite web page. In http://www.oracle.com/, 1999.
43. A.S. Park and P. Reichl. Personal Disconnected Operations with Mobile Agents. In Proc. of 3rd Workshop on Personal Wireless Communications, PWC'98, 1998.
44. G. Picco, A.L. Murphy, and G.C. Roman. LIME: Linda meets mobility. In International Conference on Software Engineering, pages 368-377, 1999.
45. M. Shaw and D. Garlan. Software Architecture: Perspective on an Emerging Discipline. Prentice Hall, 1996.
46. J.L. Sobrinho. Algebra and algotithms for qos path computation and hop-by-hop routing in the internet. IEEE Transactions on Networking, 10(4):541-550, August 2002.
47. U. Ster and M. Mitchell, J.C.and Mitchell. Automated analysis of cryptographic protocols using murφ. In 10th IEEE Computer Security Foundations Workshop, pages 141-151. IEEE Press, 1997.
48. J. Waldo, G. Wyant, A. Wollrath, and S. Kendall. A note on distributed computing. Technical Report SMLI TR-94-29, Sun Microsystems Laboratories, Inc., November 1994.
49. P.T. Wojciechowski and P. Sewell. Nomadic Pict: Language and infrastructure design for mobile agents. IEEE Concurrency, 8(2):42-52, 2000.
50. X. Xiao and L. M. Ni. Internet qos: A big picture. IEEE Network, 13(2):8-18, Mar 1999.
51. M. Yokoo and K. Hirayama. Algorithms for Distributed Constraint Satisfaction: A Review. Autonomous Agents and Multi-Agent Systems, 3(2): 185-207, 2000.