A model checking approach to verify BPEL4WS workflows

BIANCULLI, Domenico; Ghezzi, Carlo; Spoletini, Paola

doi:10.1109/SOCA.2007.5

Request a copy

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

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

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

DOI
10.1109/SOCA.2007.5

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

bgs-soca07.pdf

Author postprint (140.51 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

BIANCULLI, Domenico ; Università della Svizzera italiana

Ghezzi, Carlo

Spoletini, Paola

Language :

English

Title :

A model checking approach to verify BPEL4WS workflows

Publication date :

2007

Event name :

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

Event date :

June 2007

Audience :

International

Main work title :

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

Publisher :

IEEE Computer Society Press

Pages :

13=20

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 14 October 2013

Statistics

Number of views

117 (1 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenAlex citations