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

Authors:
Hervé Paulino;Luís Lopes
Affiliations:
Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal;Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, Portugal
Venue:
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Year:
2006

Citing 13
Cited 2

A calculus of mobile processes, I

Information and Computation
The Jini architecture for network-centric computing

Communications of the ACM
Pict: a programming language based on the Pi-Calculus

Proof, language, and interaction
Programming and Deploying Java Mobile Agents Aglets

Programming and Deploying Java Mobile Agents Aglets
The m-calculus: a higher-order distributed process calculus

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nomadic Pict: Language and Infrastructure Design for Mobile Agents

IEEE Concurrency
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
The Architecture of the Ara Platform for Mobile Agents

MA '97 Proceedings of the First International Workshop on Mobile Agents
Jocaml: Mobile Agents for Objective-Caml

ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
Introducing Microsoft .NET, Third Edition

Introducing Microsoft .NET, Third Edition
Acute: high-level programming language design for distributed computation

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Mob: a scripting language for mobile agents based on a process calculus

ICWE'03 Proceedings of the 2003 international conference on Web engineering

SuMo: A Framework for Prototyping Distributed and Mobile Software

ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing
Deploying Mobile Computation in Cloud Service

CloudCom '09 Proceedings of the 1st International Conference on Cloud Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a service-oriented scripting language for programming mobile agents in distributed systems. The main novelty of the language we call Mob, is the integration of the service-oriented and mobile agent paradigms. Mob is also encoded onto a process calculus with a well studied semantics. The encoding provides a specification for the front-end of the language compiler and allows us to use, for the back-end and for the run-time system, a compiler and a virtual machine previously developed for the process calculus.