A compiler to implement LOTOS specifications in distributed environments
Computer Networks: The International Journal of Computer and Telecommunications Networking
LEAP: A FIPA Platform for Handheld and Mobile Devices
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Hi-index | 0.00 |
In this paper, we propose a middleware library for efficiently developing distributed cooperative applications consisting of a large number of cellular phone users. Our middleware provides (1) a dynamic group formation mechanism depending on users' locations and preferred subjectsand (2) a group communication mechanism called multiway synchronization for multicasting, synchronization and mutual exclusion. Due to some restrictions in cellular phones, in our middleware, most of user programs are executed on their servers as agents. Group communication is implemented as inter-process communication on the server, and only the user-interface parts are executed on the cellular phones.