A layered semantics for mobile computation

Authors:
Jianghua Lv;Shilong Ma;Jing Pan;Li Ma
Affiliations:
National Lab of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China;National Lab of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China;School of Management, University of Science and Technology Beijing, Beijing, China;National Lab of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China
Venue:
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Year:
2006

Citing 9
Cited 0

Agent-oriented programming

Artificial Intelligence
The PLACA agent programming language

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Types for mobile ambients

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Denotational Description of Programming Languages: An Introduction

The Denotational Description of Programming Languages: An Introduction
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Mobile Multi-Agent Systems: A Programming Language and Its Semantics

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
An unified framework for programming autonomous, intelligent and mobile agents

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Since mobile computation involves variants information and different behaviors, it is very complicated in mobile computation systems. In order to analysis mobile computation and understand the essential of mobile computing, in the paper we develop a denotational semantics for mobile computation. Here we take CLAIM, a computational language for autonomous, intelligent and mobile agents, as our object language because it characterizes the essential ingredients in mobile computation. After abstracting the syntax construction of CLAIM, we give its semantics description. This is achieved by structuring the semantics in layers working at three different levels: internal ambient, ambients and programs based on the basic concept: ambient. For each of these three levels, their semantics are defined in detail as well as the relationship between levels. Through our approach, we can also obtain an explicit model of behaviors in mobile computation.