A model checking approach to verify BPEL4WS workflows

Reference : A model checking approach to verify BPEL4WS workflows


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/8471

Title :	A model checking approach to verify BPEL4WS workflows
Language :	English
Author, co-author :	Bianculli, Domenico [Università della Svizzera italiana]
	Ghezzi, Carlo [> >]
	Spoletini, Paola [> >]
Publication date :	2007
Main document 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 :	Yes
On invitation :	No
Audience :	International
Event name :	007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007)
Event date :	June 2007
Permalink :	http://hdl.handle.net/10993/8471
DOI :	10.1109/SOCA.2007.5

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	bgs-soca07.pdf		Author postprint	137.22 kB	Request a copy

All documents in ORBi^lu are protected by a user license.