Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A predicate-transition net model for multiple agent planning
Information Sciences: an International Journal - Special issue on information sciences—past, present, and future
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
A methodology and modelling technique for systems of BDI agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
IEEE Transactions on Parallel and Distributed Systems
G-Nets: a Petri net based approach for logical and timing analysis of complex software systems
Journal of Systems and Software
KQML as an agent communication language
Software agents
A knowledge-based approach for designing intelligent team training systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
IMPACT: A System for Building Agent Applications
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
An agent-based approach for building complex software systems
Communications of the ACM
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Role Modeling for Agent System Analysis, Design, and Implementation
IEEE Concurrency
A G-Net Model for Knowledge Representation and Reasoning
IEEE Transactions on Knowledge and Data Engineering
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
Formal Conversations for the Contract Net Protocol
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Modelling and Design of Multi-Agent Systems
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Formal Semantics for ProxyCommunicative Acts
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
Reflective Decision Controls for Autonomous Distributed Objects
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
Architecture-Centric Object-Oriented Design Method for Multi-Agent Systems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A Framework for Modeling Agent-Oriented Software
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Formalisms for multi-agent systems
The Knowledge Engineering Review
CAST: collaborative agents for simulating teamwork
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Software Engineering
Applied system simulation
Survey of requirements and solutions for ubiquitous software
Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
Towards a formal model of autonomic services based on SelfLets
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Flexible coordinator design for modeling resource sharing in multi-agent systems
Journal of Systems and Software
A layered agent oriented engineering approach for building complex systems
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
The MP architecture: towards a secure framework for mobile agents
International Journal of Agent-Oriented Software Engineering
Modeling and analysis of multi-agent systems based on π-calculus
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
π-Net ADL: an architecture description language for multi-agent systems
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
A study of train group operation multi-agent model oriented to RITS
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Towards a formal methodology for designing multi-agent applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
KEMNAD: A Knowledge Engineering Methodology For Negotiating Agent Development
Computational Intelligence
| Hi-index | 0.00 |
Agents are becoming one of the most important topics in distributed and autonomous decentralized systems, and there are increasing attempts to use agent technologies to develop large-scale commercial and industrial software systems. The complexity of such systems suggests 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 system modeling in terms of a set of independent and loosely-coupled modules. In this paper, we customize the basic G-net model to define a so-called "agent-based G-net" that can serve as a generic model for agent design. Then, to progress from an agent-based design model to an agent-oriented model, new mechanisms to support inheritance modeling are introduced. To illustrate our formal modeling technique for multiagent systems, an example of an agent family in electronic commerce is provided. Finally, we demonstrate how we can use model checking to verify some key behavioral properties of our agent model. This is facilitated by the use of an existing Petri net tool.