Name
Abstract | ||
|---|---|---|
This paper describes an architecture allowing to verify properties of a multiagent system during its execution. This architecture is the basis of our study whose goal is to check at runtime, if agents and more generally multiagent systems satisfy requirements. Considering that a correct system is a system verifying the properties specified by the designer, we are interested in the "property" notion. That is why we give here a definition of "property" and we present an architecture to validate them. The architecture, a multiagent system itself, is based on a set of agents whose goals are to check at runtime the whole system's properties. So after a brief description of the "property" notion, we describe our architecture and the way to check systems. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/978-3-540-71956-4_12 | ProMAS |
Keywords | Field | DocType |
tool architecture,correct system,multiagent system,whole system,brief description,software development,satisfiability | Database-centric architecture,Architecture,Computer science,Solution architecture,Multi-agent system,Reference architecture,Distributed computing | Conference |
Volume | ISSN | Citations |
4411 | 0302-9743 | 3 |
PageRank | References | Authors |
0.40 | 17 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Denis Meron | 1 | 3 | 0.40 |
| Bruno Mermet | 2 | 51 | 10.12 |