Paper published in a book (Scientific congresses, symposiums and conference proceedings)
SAVVY-WS at a glance: supporting verifiable dynamic service compositions
BIANCULLI, Domenico; Ghezzi, Carlo
2008 • In Proceedings of the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008), co-located with ASE 2008
SAVVY-WS at a glance: supporting verifiable dynamic service compositions
Publication date :
2008
Event name :
1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008)
Event date :
September 2008
Audience :
International
Main work title :
Proceedings of the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008), co-located with ASE 2008
F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS '06 Proceedings, pages 63-71, Washington, DC, USA, 2006. IEEE Computer Society.
L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. Validation of web service compositions. IET Softw., 1(6):219-232, 2007.
L. Baresi, E. Di Nitto, and C. Ghezzi. Towards Open-World Software. IEEE Computer, 39:36-43, October 2006.
L. Baresi, G. Gerosa, C. Ghezzi, and L. Mottola. Playing with time in publish-subscribe using a domain-specific model checker. In SAVCBS '07 Proceedings, pages 55-62. ACM, 2007.
L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL processes. In ICSOC '05 Proceedings, volume 3826 of LNCS, pages 269-282. Springer, 2005.
A. Bertolino, G. De Angelis, L. Frantzen, and A. Polini. Model-based generation of testbeds for web services. In Testcom/Fates 2008 Proceedings, volume 5047 of LNCS, pages 266-282. Springer, 2008.
D. Bianculli, P. Spoletini, A. Morzenti, M. Pradella, and P. San Pietro. Model checking temporal metric specification with Trio2Promela. In FSEN 2007 Proceedings, volume 4767 of LNCS, pages 388-395. Springer, 2007.
M. B. Dwyer, J. Hatcliff, M. Hoosier, and Robby. Building your own software model checker using the Bogor extensible model checking framework. In CAV 2005 Proceedings, volume 3576 of LNCS, pages 148-152. Springer, 2005.
A. Erradi, P. Maheshwari, and V. Tosic. WS-Policy based monitoring of composite web services. In ECOWS '07 Proceedings, pages 99-108. IEEE Computer Society, 2007.
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In ASE 2003 Proceedings, pages 152-163. IEEE Computer Society, 2003.
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW '04 Proceedings, pages 621-630. ACM Press, 2004.
R. J. Hall and A. Zisman. Behavioral models as service descriptions. In ICSOC '04 Proceedings, pages 163-172. ACM, 2004.
S. Konrad and B. H. C. Cheng. Real-time specification patterns. In ICSE '05 Proceedings, pages 372-381. ACM, 2005.
R. Kowalski and M. Sergot. A logic-based calculus of events. New Gen. Comput., 4(1):67-95, 1986.
K. Mahbub and G. Spanoudakis. A framework for requirements monitoring of service based systems. In ICSOC '04 Proceedings, pages 84-93. ACM Press, 2004.
O. Moser, F. Rosenberg, and S. Dustdar. Non-intrusive monitoring and service adaptation for WS-BPEL. In WWW'08 Proceedings, pages 815-824. ACM, 2008.
OASIS. Web Service Business Process Execution Language Version 2.0 Specification, 2007.
Open Grid Forum. Web Services Agreement Specification (WS-Agreement). http://www.ogf.org/documents/GFD.107.pdf, 2007.
F. Raimondi, J. Skene, , and W. Emmerich. Efficient monitoring of web service SLAs. In SIGSOFT 2008 - FSE 16 Proceedings. ACM, 2008. to appear.
M. Rouached, O. Perrin, and C. Godart. Towards formal verification of web service composition. In BPM 2006 Proceedings, volume 4102 of LNCS, pages 257-273. Springer, 2006.
A. Sahai, V. Machiraju, M. Sayal, L. J. Jin, and F. Casati. Automated SLA monitoring for web services. In DSOM '02 Proceedings, volume 2506 of LNCS, pages 28-41. Springer, 2002.
J. Skene, D. D. Lamanna, andW. Emmerich. Precise service level agreements. In ICSE '04 Proceedings, pages 179-188. IEEE Computer Society, 2004.
M. Y. Vardi. An automata-theoretic approach to linear temporal logic. In Banff Higher order workshop Proceedings, volume 1043 of LNCS, pages 238-266. Springer, 1996.
W3C Web Services Policy Working Group. WS-Policy 1.5. http://www.w3.org/2002/ws/policy/, 2007.
