Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions

Reference : Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions


	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/8429

Title :	Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Language :	English
Author, co-author :	Baresi, Luciano [> >]
	Bianculli, Domenico [Università della svizzera italiana]
	Guinea, Sam [> >]
	Spoletini, Paola [> >]
Publication date :	2009
Main document title :	Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)
Publisher :	Springer
Collection and collection volume :	Lecture Notes in Computer Science
Pages :	26-40
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)
Event date :	June 2009
Permalink :	http://hdl.handle.net/10993/8429
DOI :	10.1007/978-3-642-02138-1_2

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	bbgs-forte2009.pdf		Author postprint	460.66 kB	Request a copy

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