Vérification de processus BPEL à l'aide de promela-spin
Il utilise une grammaire conforme à un schéma XML pour décrire de manière indépendante du langage et de la plate-folme la manière avec laquelle un service peut ...
Il utilise une grammaire conforme à un schéma XML pour décrire de manière indépendante du langage et de la plate-folme la manière avec laquelle un service peut ...