|
 
|
[KBS05] Using AUML to derive formal modelling agents interactions
Conférence Internationale avec comité de lecture : AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, January 2005, pp.109-116, Series IEEE,
motcle:
Résumé:
Summary form only given. This paper proposes a modeling approach easy to master in practice and from which one could directly derive a formal model capturing the main features of the dynamic interactions involved in multiagent systems (MAS). This approach follows two steps. The first consists to describe agent interactions in a MAS using Agent Unifying Model Language (AUML). The second step consists in translating this AUML description into a recursive colored Petri net (RCPN) model by following suitable rules. The choice of the RCPN formalism is motivated by its ability to model the dynamic agent planning ensuring the interleaving between planning and execution of complex actions and the availability of formal analysis and verification methods and tools.
For further information, please visit this web site.
For further information, please visit this web site.
BibTeX
| @inproceedings { | |||
| KBS05, | |||
| title | = | "{Using AUML to derive formal modelling agents interactions}", | |
| author | = | " L. Kahloul and K. Barkaoui and Z. Sahnoun ", | |
| booktitle | = | "{AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt}", | |
| year | = | 2005, | |
| month | = | "January", | |
| series | = | "IEEE", | |
| pages | = | "109-116", | |
| } | |||
