Zoubeyr, Farah; Tari, Zahir ; Promoteur
(Université de Béjaia, 2008)
Dans le domaine des Services Web les protocoles de communication peuvent être modélisés sous forme de communication d’automates d’états finis (CAEF). Bien que les automates d’états finis permettent une bonne modélisation ...