Title: Modelling synchronisation of a coordination system

Authors: Anthony Y. Chang, Jason C. Hung

Addresses: Department of Information Technology, Overseas Chinese University, Taichung, Taiwan. ' Department of Information Technology, Overseas Chinese University, Taichung, Taiwan

Abstract: This paper develops a general, theoretical computational model for discussing synchronisation and specification schemes. We analyse the domains of relationships between agents in a coordination system. Possible conflicts in the agent specification are first detected and eliminated. The mechanism constructs partial order relations among actions. A temporal algebra is proposed to deal with qualitative and quantitative temporal relationships. The mechanism is efficient to handle synchronisation specifications to generate synchronisation scenarios, and to satisfy agent request.

Keywords: agent synchronisation; multi-agent systems; agent-based systems; scheduling; coordination systems; interval algebra; modelling; MAS.

DOI: 10.1504/IJWMC.2010.034219

International Journal of Wireless and Mobile Computing, 2010 Vol.4 No.3, pp.203 - 209

Published online: 28 Jul 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article