Mobile UNITY Schemas for Agent Coordination

Authors

Gruia-Catalin Roman, Washington University in St. Louis
Jamie Payton, Washington University in St. Louis

Document Type

Technical Report

Publication Date

2002-11-04

Filename

wucse-2002-38.pdf

Technical Report Number

WUCSE-2002-38

Abstract

Mobile UNITY refers to a notation system and proof logic initially designed to accommodate the special needs of the emerging field of mobile computing. The model allows one to define units of computation and mobility and the formal rules for coordination among them in a highly decoupled manner. In this paper, we reexamine the expressive power of the Mobile UNITY coordination constructs from a new perspective rooted in the notion that disciplined usage of a powerful formal model must rely on formally defined schemas. Several coordination schemas are introduced and formalized. They examine the relationship between Mobile UNITY and other computing models and illustrate the mechanics of employing Mobile UNITY as the basis for a formal semantic characterization of coordination models.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7P8497K

Recommended Citation

Roman, Gruia-Catalin and Payton, Jamie, "Mobile UNITY Schemas for Agent Coordination" Report Number: WUCSE-2002-38 (2002). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/1154