Towards self-adaptive service-oriented architectures

Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAV WEB'06

Volumn 2006, Issue , 2006, Pages 10-16

  Denaro, G ^a   Pezze M ^a   Tosi, D ^a   Schilling, Daniela ^b  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; DYNAMIC PROGRAMMING; LARGE SCALE SYSTEMS; PROBLEM SOLVING; TELECOMMUNICATION SERVICES; WEB SERVICES;

AUTOMATICALLY SYNTHESIZE; INTERACTION PROTOCOLS; RUNTIME; SERVICE-ORIENTED ARCHITECTURES;

COMPUTER ARCHITECTURE;

EID: 34247335484     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1145718.1145720     Document Type: Conference Paper

References (18)

1. The java petstore application home page: http://java.sun.com/developer/ releases/petstore/, last visit: December, 2005.
2. Amazon web services home page: http://www.amazon.com/webservices, last visit: February, 2006.
3. L. Baresi, C. Ghezzi, and S. Guinea. Smart monitors for composed services. In Proceedings of the International Conference on Service Oriented Computing (ICSOC'04), pages 193-202, 2004.
4. L. Baresi, C. Ghezzi, and S. Guinea. Towards self-healing sevice compositions. In Proceedings of the First Conference on the Principles of Software Engineering (PRISE'04), Pages 11-20, 2004.
5. L. Baresi and S. Guinea. Towards dynamic monitoring of ws-bpel processes. In ICSOC, pages 269-282, 2005.
6. D. Beyer, A. Chakrabarti, and T. A. Henzinger. An interface formalism for web services. In Proceedings of the 1st International Workshop on Foundations of Interface Technologies (FIT 2005, San Francisco, CA, August 21), to appear, ENTCS. Elsevier, 2005.
7. D. Beyer, A. Chakrabarti, and T. A. Henzinger. Web service interfaces. In Proceedings of the 14th International World Wide Web Conference (WWW 2005, Chiba, May 10-14), pages 148-159. ACM Press, 2005.
8. A. W. Biermann and J. A. Feldman. On the synthesis of finite-state machines from samples of their behaviour. IEEE Trans Computers, 21:591-597, 1972.
9. C. K. Chang, editor. 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA. IEEE Computer Society, 2005.
10. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1. Technical report, World Wide Web Consortium, March 2001.
11. L. de Alfaro and T. A. Henzinger. Interface automata. In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pages 109-120, New York, NY, USA, 2001. ACM Press.
12. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Compatibility verification for web service choreography. In Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pages 738-741, 2004.
13. Y. Gil, E. Motta, V. R. Benjamins, and M. A. Musen, editors. The SemanticWeb - ISWC 2005, 4th International SemanticWeb Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, volume 3729 of Lecture Notes in Computer Science. Springer, 2005.
14. A. Gómez-Pérez and J. Euzenat, editors. The Semantic Web: Research and Applications, Second European Semantic Web Conference. ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings, volume 3532 of Lecture Notes in Computer Science. Springer, 2005.
15. L. Mariani and M. Pezzè. Inference of component protocols by the kbehavior algorithm. Technical report TR LTA:2004:05, University of Milano Bicocca, 2004.
16. M. Solanki, A. Cau, and H. Zedan. Augmenting Semantic Web Service Descriptions with Compositional Specification. In Proceedings of the 19th international conference on World Wide Web (WWW'04), Pages 544-552. ACM Press, 2004.
17. W3C. Web Service Choreography Interface (WSCI) 1.0. Technical report, World Wide Web Consortium Note, August 2002.
18. W3C. Web Ontology Language (OWL) - Reference Version 1.0, 2002. Available at http://www.w3.org/TR/2002/WD-owl-ref-20021112/.