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
IMPACT: A System for Building Agent Applications
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
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 Survey of Agent-Oriented Methodologies
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Software Engineering
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Automated Software Engineering
Research on interoperability of intelligent mobile agent for DIS
ACM SIGSOFT Software Engineering Notes
Concurrent architecture for a multi-agent platform
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
MIP-nets: a compositional model of multiagent interaction
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Software Engineering for Multi-Agent Systems III
| Hi-index | 0.00 |
Abstract: With the increasing importance of complex software systems in the software industry, the need for using agent technologies to develop large-scale commercial and industrial software systems is growing rapidly. 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-Nets, agent-based G-Net, 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 multi-agent systems, an example of an agent family in electronic commerce is provided.