Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Mobile UNITY Schemas for Agent Coordination

Gruia-Catalin RomanContact Information and Jamie PaytonContact Information

(7)  Department of Computer Science and Engineering, Washington University in St. Louis, One Brookings Drive, St., Campus Box 1045, 63130-4899 Louis, MO, USA
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.

Contact Information Gruia-Catalin Roman
Email: roman@cse.wustl.edu

Contact Information Jamie Payton
Email: payton@cse.wustl.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.105 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)