Formulae meet programs over the net: A framework for correct network aware programming

Automated Software Engineering

Volumn 11, Issue 3, 2004, Pages 245-288

  Bettini, Lorenzo ^a   De Nicola, Rocco ^a   Loreti, Michele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Concurrency; Mobile agents; Modal logics; Network aware programming; Programming languages; Verification

Indexed keywords

CONCURRENCY; MOBILE AGENT SYSTEMS; MODEL LOGIC; NETWORK AWARE PROGRAMMING; VERIFICATION;

CODES (SYMBOLS); COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; QUALITY OF SERVICE; SEMANTICS; SOFTWARE ENGINEERING;

COMPUTER PROGRAMMING;

EID: 3543116093     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AUSE.0000028536.34044.47     Document Type: Article

References (39)

1. Andersen, B.G. and Shasha, D. 1992. Persistent Linda: Linda + Transactions + Query processing. In J.P. Banatre and D. Le Metayer editors, Proc. of Research Directions in High-Level Parallel Programming Languages, vol. 574 of LNCS. Springer, pp. 93-109.
2. Arbarb, F. and Talcott, C. (eds.). 2002. Proc. of coordination models and languages, No. 2315 in LNCS. Springer.
3. Arnold, K., Gosling, J., and Holmes, D. 2000. The Java Programming Language. 3rd edition, Addison-Wesley.
4. Bettini, L. 2003. Linguistic constructs for object-oriented mobile code programming & their implementations. Ph.D. thesis, Dip. di Matematica, Università di Siena. Available at http://music.dsi.unifi.it.
5. Bettini, L., Bono, V., De Nicola, R., Ferrari, G., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., and Venneri, B. 2003a. The KLAIM project: Theory and practice. In C. Priami editors, Global Computing: Programming Environments, Languages, Security and Analysis of Systems, vol. 2874 of LNCS. Springer-Verlag, pp. 88-150.
6. Bettini, L., Bono, V., and Venneri, B. 2002a. Coordinating mobile object-oriented code. In (Arbarb and Talcott, 2002), vol. 2315 of LNCS. Springer, pp. 56-71.
7. Bettini, L., Bono, V., and Venneri, B. 2003b. Subtyping mobile classes and mixins. In Proc. of Int. Workshops on Foundations of Object-Oriented Languages, FOOL 10.
8. Bettini, L. and De Nicola, R. 2001. Translating strong mobility into weak mobility, In G.P. Picco, editor, Mobile Agents, vol. 2240 of LNCS. Springer, pp. 182-197.
9. Bettini, L., De Nicola, R., Ferrari, G., and Pugliese, R. 1998. Interactive mobile agents in X-KLAIM. In P. Ciancarini and R. Tolksdorf, editors, Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE). IEEE Computer Society Press, pp. 110-115.
10. Bettini, L., De Nicola, R., and Loreti, M. 2002b. A labelled operational semantics for X-KLAIM. Available at http://music.dsi.unifi.it/.
11. Bettini, L., De Nicola, R., and Loreti, M. 2002c. Formalizing properties of mobile agent systems. In (Arbarb and Talcott, 2002), vol. 2315 of LNCS. Springer, pp. 72-87.
12. Bettini, L., De Nicola, R., and Loreti, M. 2002d. Software update via mobile agent based programming. In Proc. of ACM SAC 2002, Special Track on Agents, Interactions, Mobility, and Systems. ACM Press, pp. 32-36.
13. Bettini, L., De Nicola, R., and Pugliese, R. 2002e. KLAVA: A Java package for distributed and mobile applications. Software - Practice and Experience, 32(14):1365-1394.
14. Bettini, L., Loreti, M., and Pugliese, R. 2002f. An infrastructure language for open nets. In Proc. of ACM SAC 2002, Special Track on Coordination Models, Languages and Applications. ACM, pp. 373-377.
15. Butcher, P., Wood, A., and Atkins, M. 1994. Global synchronisation in Linda. Concurrency: Practice and Experience, 6(6):505-516.
16. Caires, L. and Cardelli, L. 2001. A spatial logic for concurrency (Part I). In N. Kobayashi and B.C. Pierce, editors, Proc. of TACS2001.
17. Cardelli, L. and Gordon, A. 1998. Mobile ambients. In Foundations of Software Science and Computation Structures (FoSSaCS'98). Springer, pp. 140-155.
18. Cardelli, L. and Gordon, A.D. 2000. Anytime, anywhere: Modal logics for mobile ambients. In Proc. of POPL.
19. Cardelli, L. and Gordon, A.D. 2001. Logical properties of name restriction. In S. Abramsky, editor, Proc. of TLCA'01. Springer.
20. Carriero, N. and Gelernter, D. 1989. How to write parallel programs: A guide to the perplexed. ACM Computing Surveys, 21(3):323-351.
21. Carzaniga, A., Picco, G., and Vigna, G. 1997. Designing distributed applications with mobile code paradigms. In R. Taylor, editor, Proc. of the 19th Int. Conf. on Software Engineering (ICSE '97), ACM Press, pp. 22-33.
22. Chandy, K.M. and Misra, J. 1988. Parallel Program Design: A Foundation. Reading, MA: Addison-Wesley.
23. Conforti, G., Ferrara, O., and Ghelli, G. 2002. TQL algebra and its implementation. In Proc. of the 2nd IFIP International Conference on Theoretical Computer Science, Kluwer, pp. 422-434.
24. Dam, M. 1996. Model checking mobile processes. Journal of Information and Computation, 129(1):35-51.
25. De Nicola, R., Ferrari, G., and Pugliese, R. 1998. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315-330.
26. De Nicola, R. and Loreti, M. 2004. A modal logic for mobile agents. ACM Transactions on Computational Logic 5(1).
27. Ferrari, G., Montangero, C., Semini, L., and Semprini, S. 2002. Mark, a reasoning kit for mobility. Automated Software Engineering, 9:137-150.
28. Gelernter, D. 1985. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112.
29. Harrison, C., Chess, D., and Kershenbaum. A. 1994. Mobile agents: Are they a good idea?. Research Report 19887, IBM Research Division.
30. Hennessy, M. and Milner, R. 1985. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161.
31. Ianett, R. 2002. MOBILE_TQL: Interrogazione di database distribuiti XML con agenti mobili. Master's thesis, Dip. di Informatica, Univ. Pisa.
32. Leroy, X., Rémy, D., Vouillon, J., and Doligez, D. 1999. The objective caml system, documentation and user's guide. http://caml.inria.fr/ ocaml/htmlman/.
33. Loreti, M. 2002. Languages and logics for network aware programming. Ph.D. thesis, Università di Siena. Available at http://music.dsi.unifi. it.
34. Milner, R., Parrow, J., and Walker, D. 1993. Modal logics for mobile processes. Theoretical Computer Science, 114:149-171.
35. Milner, R., Parrow, J., and Walker, J. 1992. A calculus of mobile processes, I and II. Information and Computation, 100(1): 1-40, 41-77.
36. Picco, G.P., Roman, G.-C., and McCann, P.J. 2001. Reasoning about code mobility with mobile UNITY. ACM Transactions on Software Engineering and Methodology (TOSEM), 10(3):338-395.
37. Thorn, T. 1997. Programming languages for mobile code. ACM Computing Surveys, 29(3):213-239. Also Technical Report 1083, University of Rennes IRISA.
38. Thorn, T. 1997. Programming languages for mobile code. ACM Computing Surveys, 29(3):213-239. Also Technical Report 1083, University of Rennes IRISA.
39. White, J.E. 1996. Mobile agents. In J. Bradshaw, editor, Software Agents, AAAI Press and MIT Press.