A model checking approach to verify BPEL4WS workflows

BIANCULLI, Domenico; Ghezzi, Carlo; Spoletini, Paola

doi:10.1109/SOCA.2007.5

Demander un accès

Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)

A model checking approach to verify BPEL4WS workflows

BIANCULLI, Domenico; Ghezzi, Carlo; Spoletini, Paola

2007 • In Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007)

Peer reviewed

Permalien
https://hdl.handle.net/10993/8471

DOI
10.1109/SOCA.2007.5

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

bgs-soca07.pdf

Postprint Auteur (140.51 kB)

Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

BIANCULLI, Domenico ; Università della Svizzera italiana

Ghezzi, Carlo

Spoletini, Paola

Langue du document :

Anglais

Titre :

A model checking approach to verify BPEL4WS workflows

Date de publication/diffusion :

2007

Nom de la manifestation :

007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007)

Date de la manifestation :

June 2007

Manifestation à portée :

International

Titre de l'ouvrage principal :

Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007)

Maison d'édition :

IEEE Computer Society Press

Pagination :

13=20

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 14 octobre 2013

Statistiques

Nombre de vues

120 (dont 1 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

citations OpenAlex