Modeling mobile agent systems with high level Petri nets

Author

Xu, Dianxiang ; Deng, Yi

Author_Institution

Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA

Volume

5

fYear

2000

fDate

2000

Firstpage

3177

Abstract

The paper presents a Petri net based approach for architectural modeling of mobile agent systems. An agent template (net) is proposed to model a changing number of autonomous and communicative software agents. An agent space is explicitly abstracted as a component, consisting of mobility environment (system net), agent templates (agent nets), and internal connector (net). Agent transfer is naturally captured by transition firing. To assure the strong mobility, the agent´s state is delivered during migration. Agent mobility in OMG´s MASIF is also examined by formalizing the interoperable agent system architecture

Keywords

Petri nets; mobile computing; object-oriented methods; object-oriented programming; open systems; software agents; MASIF; Petri net based approach; agent mobility; agent nets; agent space; agent state; agent template; agent templates; agent transfer; architectural modeling; communicative software agents; high level Petri nets; internal connector; interoperable agent system architecture; migration; mobile agent system modeling; mobility environment; system net; transition firing; Ad hoc networks; Computer architecture; Computer networks; Computer science; Connectors; Context modeling; Mobile agents; Petri nets; Security; Software agents;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2000 IEEE International Conference on

Conference_Location

Nashville, TN

ISSN

1062-922X

Print_ISBN

0-7803-6583-6

Type

conf

DOI

10.1109/ICSMC.2000.886486

Filename

886486