A theory of adaptable contract-based service composition

Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008

Volumn , Issue , 2008, Pages 327-334

  Bernardi, G ^a   Bugliesi, M ^a   Macedonio, D ^a   Rossi, S ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

NEW THEORY; OFF-THE-SHELF COMPONENTS; SERVICE COMPOSITIONS; SOFTWARE ARCHITECTS; SOFTWARE COMPONENT;

COMPUTER SOFTWARE; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA);

COMPUTATION THEORY;

EID: 70449495405     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2008.38     Document Type: Conference Paper

References (17)

1. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: A first step. In WS-FM'05, volume 3670 of LNCS, pages 257-271. Springer, 2005.
2. A. Bracciali, A. Brogi, and C. Canal. A formal approach to component adaptation. Journal of Systems and Software, 74(1):45-54, 2005.
3. M. Bravetti and G. Zavattaro. Towards a unifying theory for choreography conformance and contract compliance. In SC'07, volume 4829 of LNCS, pages 34-50. Springer, 2007.
4. M. Bravetti and G. Zavattaro. Contract compliance and choreography conformance in the presence of message queues. In WS-FM'08, LNCS. Springer, 2008. To appear.
5. A. Brogi, C. Canal, and E. Pimentel. Component adaptation through flexible subservicing. Science of Computer Programming, 63(1):39-56, 2006.
6. G. Castagna, N. Gesbert, and L. Padovani. A theory of contracts for web services. In POPL'08, pages 261-272. ACM press, 2008.
7. G. Deker, O. Kopp, F. Leymann, and M. Weske. Bpel4chor: Extending bpel for modeling choreographies. In ICWS'07. IEEE Computer Society, 2007.
8. P. Inverardi and M. Tivoli. Deadlock free software architectures for com/dcom applications. Journal of Systems and Software, 65(3):173- 183, 2005.
9. F. Leymann. Web services flow language (wsfl 1.0). Technical report, IBM Software Group, 2002.
10. R. Mateescu, P. Poizat, and G. Salaün. Behavioral adaptation of component compositions based on process algebra encodings. In ASE'07, pages 385-388. ACM Press, 2007.
11. T. Melliti, P. Poizat, and S. Ben Mokhtar. Distributed behavioural adaptation for the automatic composition of semantic services. In FASE'08, volume 4961 of LNCS, pages 146-162, 2008.
12. R. Milner. Communication and Concurrency, volume 92 of Prentice Hall International Series in Computer Science. Prentice Hall, 1989.
13. OASIS. Web services business process execution language version 2.0. http://www.oasis-open.org/specs/.
14. M. Tarek, C. Boutrous-Saaband S. Rampacek. Verifying correctness of web services choreography. In ECOWS'06, pages 306-318, 2006.
15. S. Thatte. Xlang: Web services for business process design. Technical report, Microsoft Corporation, 2001.
16. W. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. Verbeek. Conformance checking of service behavior. ACM Transactions on Internet Technology, Special Issue on Middleware for Service-Oriented Architectures, 2008. To appear.
17. W3C. Web services choreography description language. http://www.w3.org/ TR/2004/WD-ws-cdl-10-20041217.