Model checking applied to mobile agent system

Abstract : The subject of this contribution is about use of formal specification in order to prove business properties of a mobile agent system. First, we can be described this kind of system by the use of process algebra, in particular the π-calculus language. Then, from such formal specification, we can generate semi automatically automata using an XML transformation. Finally, we compute acceptance graph to validate a formal property. This validation is assisted by the use of a tool such Uppaal from Aalborg university.
Type de document :
Communication dans un congrès
Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 2p, 2010
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00612682
Contributeur : Cyril Dumont <>
Soumis le : vendredi 29 juillet 2011 - 18:42:14
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : lundi 7 novembre 2011 - 11:35:07

Fichier

03_Dumont_SAFA2010_final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00612682, version 1

Collections

Citation

Cyril Dumont, Fabrice Mourlin. Model checking applied to mobile agent system. Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 2p, 2010. 〈hal-00612682〉

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

82