Hamza Mazouzi

Son article :

Mots-clefs : Causalité, Conversation, Ingénierie des Protocoles, Interactions, Réseaux de Petri Colorés, Vrai Parallélisme.
Résumé : Dans ce papier nous proposons une démarche méthodologique couvrant les principales phases en ingénierie des protocoles d'interaction à savoir la conception et la spécification for- melle des protocoles, leur analyse et validation. De plus, cette approche permet d'identifier des protocoles d'interaction suite à leur exécution puis de les analyser pour observer, comprendre et expliquer les comportements collectifs des agents en terme d'interaction.