A coordination model to specify systems including mobile agents

Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Volumn , Issue , 1998, Pages 96-105

  Ciancarini, P ^a   Franze F ^a   Mascolo, C ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; SPECIFICATIONS;

AUTOMATIC ANALYSIS; COMMUNICATION ACTIVITIES; COORDINATION MODEL; DISTRIBUTION AND MOBILITY; FORMAL FRAMEWORK; MODEL-CHECKING TECHNIQUES;

MOBILE AGENTS;

EID: 84942538763     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1998.667924     Document Type: Conference Paper

References (20)

1. R. Allen and D. Garlan. A Formal Basis for Ar chitectural Connection. ACM Transactions on Software Engineering and Methodology, 6(3):213-249, June 1997.
2. J. Andreoli, P. Ciancarini, and R. Pareschi. Inter-action Abstract Machines. In G. Agha, P. Weg-ner, and A. Yonezawa, editors, Trends in Object-Based Concurrent Computing, pages 257-280. MIT Press, Cambridge, MA, 1993.
3. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217-248, 1992.
4. L. Cardelli. Mobile Ambient Synchronization. Technical Report SRC Tech Note 1997-013, Digital, July 1997.
5. N. Carriero and D. Gelernter. Coordination Lan-guages and Their Significance. Communications of the ACM, 35(2):97-107, February 1992.
6. X. Chen, P. Inverardi, and C. Montangero. ESP-MC: An Experiment in the Use of Verification Tools. In K. Kanchanasut and J. Levy, editors, Proc. Asian Computing Science Conference, vol-ume 1023 of Lecture Notes in Computer Science, pages 396-406, Thailand, Dec 1995. Springer-Verlag, Berlin.
7. P. Ciancarini, M. Mazza, and L.Pazzaglia. A Logic for a Coordination Model with Multiple Spaces. Science of Computer Programming, (to appear), 1997.
8. E. Clarke, E. Emerson, and A. Sistla. Au-tomatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
9. R. DeNicola, G. Ferrari, and R. Pugliese. Coordi-nating mobile agents via blackboards and access rights. In D. Garlan and D. LeMetayer, editors, Proc. 2nd Int. Conf. on Coordination Models and Languages, volume 1282 of Lecture Notes in Com-puter Science, pages 220-237, Berlin, Germany, September 1997. Springer-Verlag, Berlin.
10. G. DiMarzoSerugendo, M. Muhugusa, and C. Tschudin. An Informal Survey of Theories for Mobile Agents. Web Journal, (to appear), 1998.
11. C. Fournet, G. Gonthier, J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. 7th Int. Conf. on Concurrency Theory (CONCUR), volume 1119 of Lecture Notes in Computer Sci-ence, pages 406-421, Pisa, Italy, August 1996. Springer-Verlag, Berlin.
12. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
13. D. Gelernter. Multiple Tuple Spaces in Linda. In E. Odijk, M. Rem, and J. Syre, editors, Proc. Conf. on Parallel Architectures and Lan-guages Europe (PARLE 89), volume 365 of Lec-ture Notes in Computer Science, pages 20-27. Springer-Verlag, Berlin, 1989.
14. P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans-actions on Software Engineering, 21(4):373-386, April 1995.
15. D. Lea. Concurrent Programming in Java. Design Principles and Patterns. Addison-Wesley, 1997.
16. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying Distributed Software Architectures. In W. Schafer and P. Botella, editors, Proc. 5th Eu-ropean Software Engineering Conf. (ESEC 95), volume 989 of Lecture Notes in Computer Sci-ence, pages 137-153, Sitges, Spain, September 1995. Springer-Verlag, Berlin.
17. G. Picco, G. Roman, and P. McCann. Expressing Code Mobility in Mobile Unity. In M. Jazayeri and H. Schauer, editors, Proc. 6th European Software Eng. Conf. (ESEC 97), volume 1301 of Lecture Notes in Computer Science, pages 500-518. Springer-Verlag, Berlin, 1997.
18. J. Riely and M. Hennessy. A Typed Language for Distributed Mobile Processes. In Proc. 25th ACM Symposium on Principles of Programming Languages (POPL), 1998.
19. G. Roman, P. McCann, and J. Plun. Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Transactions on Software En-gineering and Methodology, 6(3):250-282, June 1997.
20. T. Thorn. Programming Languages for Mobile Code. ACM Computer Surveys, 29(3):213-239, 1997.