Title :
A formal approach to modeling agents based on object semantics
Author :
Yuan, Mengting ; Yu, Chao
Author_Institution :
Dept. of Comput. Sci., Wuhan Univ., China
Abstract :
This paper presents a formal approach, OSA, which is based on object semantics, to model agent-based systems. Agent system is modeled as a set of objects, each of which is specified as a hierarchical automaton. These parallel automata run independently and communicate each other through corresponding communication gates. Compared with other modeling method (such as UML, SCR, Statecharts, Petri Net, etc.), OSA is a formal agent modeling approach with the advantage of: object-oriented, easy-to-use and reusable. The formal definition, operational semantics and a case study of OSA are given in the paper.
Keywords :
automata theory; formal specification; multi-agent systems; object-oriented methods; parallel processing; formal agent modeling; formal method; hierarchical automaton; object semantics; parallel automata; Automata; Chaotic communication; Computer science; Distributed computing; Multiagent systems; Object oriented modeling; Thyristors; Tree data structures; Unified modeling language;
Conference_Titel :
Services Systems and Services Management, 2005. Proceedings of ICSSSM '05. 2005 International Conference on
Print_ISBN :
0-7803-8971-9
DOI :
10.1109/ICSSSM.2005.1500145
