DocumentCode
1844649
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
Volume
2
fYear
2005
fDate
13-15 June 2005
Firstpage
1013
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Systems and Services Management, 2005. Proceedings of ICSSSM '05. 2005 International Conference on
Print_ISBN
0-7803-8971-9
Type
conf
DOI
10.1109/ICSSSM.2005.1500145
Filename
1500145
Link To Document