A mobile agent service-oriented scripting language encoded on a process calculus

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

Volumn 4228 LNCS, Issue , 2006, Pages 383-402

  Paulino, Hervé ^a   Lopes, Luís ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DISTRIBUTED COMPUTER SYSTEMS; ENCODING (SYMBOLS); PROGRAM COMPILERS; SEMANTICS;

MOBILE AGENTS; SERVICE ORIENTED SCRIPTING LANGUAGE; VIRTUAL MACHINES;

OBJECT ORIENTED PROGRAMMING;

EID: 33750721025     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11860990_24     Document Type: Conference Paper

References (30)

1. Horstmann, M., Kirtland, M.: DCOM Architecture. Microsoft. (1997)
2. Object Management Group: The Common Object Request Broker: Architecture and Specification. Object Management Group. (2001)
3. Platt, D.: Introducing Microsoft .NET, Third Edition. Microsoft Press (2003)
4. Waldo, J.: The Jini Architecture for Network-Centric Computing. Commun. ACM 42(7) (1999) 76-82
5. Openwings: Openwings: A Service-Oriented Component Architecture for Self-Forming, Self-Healing, Network-Centric Systems (Rev 2.0). http://www.openwings.org (2001)
6. Lange, D.B., Oshima, M.: Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley (1998)
7. Straber, M., Baumann, J., Hohl, F.: Mole - A Java Based Mobile Agent System. In M., M., ed.: Special Issues in Object Oriented Programming. (1997) 301-308
8. Glass, G.: Overview of Voyager: ObjectSpace's Product Family for State-of-the-art Distributed Computing. Technical report, CTO ObjectSpace (1999)
9. Gray, U.S.: Agent Tel: A Transportable Agent System. In: Proceedings of the CIKM Workshop on Intelligent Information Agents, Fourth International Conference on Information and Knowledge Management (CIKM 95). (1995)
10. Peine, H., Stolpmann, T.: The Architecture of the Ara Platform for Mobile Agents. In: Proc. of the First International Workshop on Mobile Agents MA'97. Volume 1219 of Lecture Notes in Computer Science., Springer-Verlag (1997) 316-323
11. Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: European Conference on Object-Oriented Programming (ECOOP'91). Volume 512 of Lecture Notes in Computer Science., Springer-Verlag (1991) 141-162
12. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (parts I and II). Information and Computation 100(1) (1992) 1-77
13. Conchon, S., Fessant, F.L.: Jocaml: Mobile Agents for Objective-Caml. In: ASA/MA'99, IEEE Computer Society (1999) 22-29
14. Vasconcelos, V., Lopes, L., Suva, F.: Distribution and Mobility with Lexical Scoping in Process Calculi. In: Workshop on High Level Programming Languages (HLCL'98). Volume 16(3) of Electronic Notes in Theoretical Computer Science., Elsevier Science (1998) 19-34
15. Bettini, L., de Nicola, R., Pugliese, R.: X-Klaim and Klava: Programming Mobile Code. In: TOSCA 2001. Volume 62., Elsevier Science (2001)
16. Wojciechowski, P.T., Sewell, P.: Nomadic Pict: Language and Infrastructure Design for Mobile Agents. IEEE Concurrency 8(2) (2000) 42-52
17. Sewell, P., Leifer, J.J., Wansbrough, K., Zappa Nardelli, F., Alien-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level Programming Language Design for Distributed Computation. In: ICFP '05: Proceedings of The 10th ACM SIGPLAN International Conference on Functional Programming, ACM Press (2005) 15-26
18. Smolka, G.: Concurrent Constraint Programming Based on Functional Programming. In Hankin, C., ed.: Programming Languages and Systems. Volume 1381 of Lecture Notes in Computer Science., Springer-Verlag (1998) 1-11
19. Paulino, H., Lopes, L., Suva, F.: Mob: A Scripting Language for Mobile Agents Based on a Process Calculus. In: Web Engineering - International Conference, ICWE 2003. Volume 2272 of Lecture Notes in Computer Science., Springer-Verlag (2003) 40-43
20. Ravara, A., Matos, A., Vasconcelos, V., Lopes, L.: Lexically Scoped Distribution: What You See Is What You Get. In: FGC: Foundations of Global Computing. Volume 85(1) of Electronic Notes in Theoretical Computer Science., Elsevier Science (2003)
21. TyCO (Typed Concurrent Objects) Programming Language. (Available at http://www.dec.fc.up.pt/tyco/)
22. White, J.E.: Telescript Technology: Scenes from the Electronic Marketplace. General Magic White Paper. General Magic edn. (1995)
23. Java Remote Method Invocation (Java RMI). (http://java.sun.com/products/ jdk/rmi/)
24. Paulino, H., Lopes, L.: Mob Core Language and Virtual Machine. Technical Report DCC-2005-05, DCC - FC & LIACC, Universidade do Porto, http://www.dcc.fc.up.pt/Pubs/treports.html (2005)
25. Vasconcelos, V., Lopes, L.: A Multi-threaded Assembly Language: Intermediate Language and Virtual Machine. (Unpublished)
26. Paulino, H., Marques, P., Lopes, L., Vasconcelos, V., Silva, F.: A Multi-Threaded Asynchronous Language. In: 7th International Conference on Parallel Computing Technologies (PaCT'03). Volume 2763 of Lecture Notes in Computer Science., Springer-Verlag (2003) 316-323
27. Schmitt, A., Stefani, J.B.: The M-calculus: A Higher-Order Distributed Process Calculus. In: Proceedings 30th Annual ACM Symposium on Principles of Programming Languages (POPL). (2003)
28. Germain, F., Lacoste, M., Stefani, J.B.: An Abstract Machine for a Higher-Order Distributed Process Calculus. In: EATCS Workshop on Foundations of Wide Area Network Computing (FWAN'02). Volume 66.3., Elsevier (2002)
29. Pierce, B., Turner, D.: Pict: A Programming Language Based on the Pi-Calculus. In: Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press (2000) 455-494
30. Asis Unyapoth: Nomadic Pi Calculi: Expressing and Verifying Infrastructure for Mobile Computation. PhD thesis, University of Cambridge (2001)