By Topic

A formal approach to modeling agents based on object semantics

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mengting Yuan ; Dept. of Comput. Sci., Wuhan Univ., China ; Chao Yu

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.

Published in:

Services Systems and Services Management, 2005. Proceedings of ICSSSM '05. 2005 International Conference on  (Volume:2 )

Date of Conference:

13-15 June 2005