Access Restriction

Author Xu, Haiping ♦ Shatz, Sol M.
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword New Communication Mechanism ♦ Extensible Design ♦ Agent-based Petri Net Model ♦ Agent Design ♦ Agent-based G-net ♦ Agent Technology ♦ Agent Communication ♦ Electronic Commerce ♦ Seller Buyer Design ♦ Generic Model ♦ Software System ♦ Ordinary Petri Net ♦ Important Topic ♦ Agent Modeling ♦ Loosely-coupled Module ♦ Agent-based G-net Model ♦ Asynchronous Message Passing ♦ Petri Net ♦ Formal Modeling Technique ♦ Pricenegotiation Protocol Example
Description Agents are becoming one of the most important topics in distributed and autonomous decentralized systems (ADS), and there are increasing attempts to use agent technologies to develop software systems in electronic commerce. Such systems are complex and there is a pressing need for system modeling techniques to support reliable, maintainable and extensible design. G-Nets are a type of Petri net defined to support modeling of a system as a set of independent and loosely-coupled modules. In this paper, we first introduce an extension of G-Net, agent-based G-Net, as a generic model for agent design. Then new communication mechanisms are introduced to support asynchronous message passing among agents. To illustrate our formal modeling technique is effective for agent modeling in electronic commerce, a pricenegotiation protocol example between buyers and sellers is provided. Finally, by analyzing an ordinary Petri net reduced from our agent-based G-Net models, we conclude that our agent-based G-Net models are L3-live, concurrent and effective for agent communications. 1.
In Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems (ISADS 2001), March 2001
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2001-01-01