Abstract | ||
---|---|---|
Agent technology is widely used in the construction of large software systems, in particular E-Commerce and secure-critical systems. To fully utilize the potential of agents in the software system, it is essential to embed the BDI (Beliefs, Desires, Intentions) properties of agents in the software agents that model them. This paper introduces a formal software architectural design of a Multi-agent system (MAS) in which the BDI architecture is embedded. We embed the BDI properties of agents in an extended state machine (ESM) model and suggest that an implementation of the BDI architecture in a high-level programming language can be tested for conformance by generating test cases from the ESMs. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11596448_44 | CIS (1) |
Keywords | Field | DocType |
software system,software agent,bdi property,formal software,multi-agent system,bdi architecture,large software system,agent technology,secure-critical system,software architecture,architectural design,multi agent system,e commerce,software architecture design,software systems,programming language,state machine | Computer science,Software architecture description,Software system,Reference architecture,Resource-oriented architecture,Software architecture,Software construction,Belief–desire–intention software model,Software development,Distributed computing | Conference |
Volume | ISSN | ISBN |
3801 | 0302-9743 | 3-540-30818-0 |
Citations | PageRank | References |
2 | 0.52 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vasu S. Alagar | 1 | 22 | 3.48 |
Mao Zheng | 2 | 13 | 1.52 |