Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Multiagent systems and societies of agents
Multiagent systems
JADE: a FIPA2000 compliant agent development environment
Proceedings of the fifth international conference on Autonomous agents
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
Translating Strong Mobility into Weak Mobility
MA '01 Proceedings of the 5th International Conference on Mobile Agents
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Possible Approach to the Development of Robotic Multi-Agent Systems
IAT '03 Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology
The Art of Software Testing
Unit testing in multi-agent systems using mock agents and aspects
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
Web Services and Formal Methods
A Recursive Colored Petri Nets semantics for AUML as base of test case generation
AICCSA '08 Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications
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
A goal-oriented software testing methodology
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
| Hi-index | 0.00 |
Among all the different architectures being researched in the field of multi-agent systems, the mobile agent has shown to be one of the most challenging and most critical systems. With more applications being developed, there is a need to ensure large and complicated mobile agent systems are functioning correctly, with minimum or no errors. Moreover, the model-based testing technique has gained attention with the popularization of models in software design and development. Since the paradigm on nets within nets is well suited to express the dynamics of open mobile agents, it is retained as an abstract model from which abstract test cases are generated. Those test cases are then concretized and addressed to the system under test. The responses of the system under test are, finally, compared to the expected results derived from the abstract test model. As a case study, we modeled a packet world example on which different colored packets are scattered. Agents that live in this virtual world have to collect those packets and bring them to their right destination.