Article

Conformance Testing of BDI Properties in Agent-based Software Systems

Authors:

M. Zheng,

V. S. AlagarAuthors Info & Claims

APSEC '05: Proceedings of the 12th Asia-Pacific Software Engineering Conference

Pages 457 - 464

https://doi.org/10.1109/APSEC.2005.54

Published: 15 December 2005 Publication History

Publisher Site

Abstract

Agent-based software engineering combines the strengths of agent theory with the practical software engineering methods for developing large intelligent systems. Designing and implementing agent-based systems are complicated tasks because the agent's BDI characteristics (Beliefs, Desires, Intentions) when codified in the design/implementation as software characteristics may have acquired diflerent connotations. Consequently testing the reliability of the implementation is equally hard. It is necessary to choose an agent's software abstraction that has a minimal deviation from the BDI agent concept, and use it as a formal basis to test an implementation. This paper proposes one such method for conformance testing of BDI properties in an agent-based system.

Cited By

View all

Saifan APosse EDingel JGopalakrishnan GFarchi EMercer E(2009)Run-time conformance checking of mobile and distributed systems using executable modelsProceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging10.1145/1639622.1639623(1-11)Online publication date: 19-Jul-2009
https://dl.acm.org/doi/10.1145/1639622.1639623
Zhang ZThangarajah JPadgham L(2008)Automated unit testing intelligent agents in PDTProceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers10.5555/1402744.1402759(1673-1674)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402744.1402759

Index Terms

Conformance Testing of BDI Properties in Agent-based Software Systems
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Intelligent agents
      2. Multi-agent systems

Index terms have been assigned to the content through auto-classification.

Recommendations

A Software Engineering Processfor BDI Agent-Based Systems
IAT '03: Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology

Extensive research for BDI (Belief, Desire, Intention) agents has been carried out. To employ BDI agents to an application such as Life Cycle Costs (LCC) information gathering, a methodology is required to analyze, design and specify agents from system ...
Proving BDI Properties of Agent-Oriented Programming Languages

In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for ...
A testing framework for JADE agent-based software

Multi-agent systems are proposed as a solution to mitigate nowadays software requirements: open and distributed architectures with dynamic and adaptive behaviour. Like any other software, multi-agent systems development process is error-prone; ...

Comments

Information & Contributors

Information

Published In

APSEC '05: Proceedings of the 12th Asia-Pacific Software Engineering Conference

December 2005

833 pages

ISBN:0769524656

Publisher

IEEE Computer Society

United States

Publication History

Published: 15 December 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Saifan APosse EDingel JGopalakrishnan GFarchi EMercer E(2009)Run-time conformance checking of mobile and distributed systems using executable modelsProceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging10.1145/1639622.1639623(1-11)Online publication date: 19-Jul-2009
https://dl.acm.org/doi/10.1145/1639622.1639623
Zhang ZThangarajah JPadgham L(2008)Automated unit testing intelligent agents in PDTProceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers10.5555/1402744.1402759(1673-1674)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402744.1402759

Abstract

Cited By

Index Terms

Recommendations

A Software Engineering Processfor BDI Agent-Based Systems

Proving BDI Properties of Agent-Oriented Programming Languages

A testing framework for JADE agent-based software

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations