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

Baresi, Luciano; BIANCULLI, Domenico; Guinea, Sam; Spoletini, Paola

doi:10.1007/978-3-642-02138-1_2

Request a copy

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

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

Baresi, Luciano; BIANCULLI, Domenico; Guinea, Sam et al.

2009 • In Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)

Peer reviewed

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

DOI
10.1007/978-3-642-02138-1_2

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

bbgs-forte2009.pdf

Author postprint (471.72 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 :

Baresi, Luciano

BIANCULLI, Domenico ; Università della svizzera italiana

Guinea, Sam

Spoletini, Paola

Language :

English

Title :

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

Publication date :

2009

Event name :

IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)

Event date :

June 2009

Audience :

International

Main work title :

Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)

Publisher :

Springer

Collection name :

Lecture Notes in Computer Science

Pages :

26-40

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 14 October 2013

Statistics

Number of views

62 (2 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

Andrews, T., et al.: Business Process Execution Language forWeb Services, Version 1.1. BPEL4WS specification (2003)
Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Softw. 1(6), 219-232 (2007)
Bianculli, D., Ghezzi, C., Spoletini, P., Baresi, L., Guinea, S.: A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions. In: Börger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol. 5316, pp. 130-161. Springer, Heidelberg (2008)
Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM 28(1), 114-133 (1981)
Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol. 1043, pp. 238-266. Springer, Heidelberg (1996)
Baresi, L., Bianculli, D., Guinea, S., Spoletini, P.: Keep it small, keep it real: Efficient run-time verification of web service compositions. Technical Report 2009.9, Politecnico di Milano - Dipartimento di Elettronica e Informazione (2009)
Georges, A., Buytaert, D., Eeckhout, L.: Statistically rigorous Java performance evaluation. In: Proceedings of OOPSLA 2007, pp. 57-76. ACM, New York (2007)
Raimondi, F., Skene, J., Emmerich, W.: Efficient online monitoring of web-service SLAs. In: Proc. of SIGSOFT 2008/FSE-16, pp. 170-180. ACM, New York (2008)
Simmonds, J., Chechik, M., Nejati, S.: Property patterns for runtime monitoring of web service conversations. In: Proc. of RV 2008 (2008)
Drusinsky, D.: On-line monitoring of metric temporal logic with time-series constraints using alternating finite automata. JUCS 12(5), 482-498 (2006)
Finkbeiner, B., Sipma, H.B.: Checking finite traces using alternating automata. Electr. Notes Theor. Comput. Sci. 55(2), 44-60 (2001)
Giannakopoulou, D., Havelund, K.: Runtime analysis of linear temporal logic specifications. In: Proc. of ASE 2001, pp. 412-416. IEEE Computer Society, Los Alamitos (2001)
Bauer, A., Leucker,M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260-272. Springer, Heidelberg (2006)