Using formal methods to model the dynamic behavior of agent-based systems

Author

Zeid, A.

Author_Institution

Dept. of Comput. Sci., American Univ. in Cairo, Egypt

fYear

2003

fDate

14-18 July 2003

Firstpage

76

Abstract

Summary form only given. Agent-based systems have received considerable attention in both academia and industry. An agent is a component of software and/or hardware, which is capable of acting in order to accomplish tasks on behalf of its user. Modeling the dynamic behavior of agents is a challenging research area. Petri-net models have emerged as a very promising formal performance modeling tool for systems that exhibit concurrency, synchronization, and randomness. We introduce a modeling process to describe the dynamic behavior of agents. We investigate using Petri-nets to analyze coherency and coordination of agent conversations.

Keywords

Petri nets; formal specification; multi-agent systems; software agents; synchronisation; Petri-net model; agent conversation coherency; agent-based system; concurrency system; dynamic behavior; formal methods; hardware component; performance modeling tool; software component; synchronization; Computer industry; Computer science; Concurrent computing; Hardware;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Applications, 2003. Book of Abstracts. ACS/IEEE International Conference on

Conference_Location

Tunis, Tunisia

Print_ISBN

0-7803-7983-7

Type

conf

DOI

10.1109/AICCSA.2003.1227508

Filename

1227508