Verifying a-priori the composition of declarative specified services

CEUR Workshop Proceedings

Volumn 494, Issue , 2009, Pages 14-21

  Chesani, Federico ^a   Mello, Paola ^a   Montali, Marco ^a   Torroni, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

A priori verification; Condec service modeling; Declarative languages; Logic programming

Indexed keywords

BUILD SYSTEMS; DECLARATIVE LANGUAGES; DEVELOPING PROCESS; INDUSTRIAL TOOLS; RESEARCH EFFORTS; SERVICE MODEL; VERIFICATION TASK;

INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA);

LOGIC PROGRAMMING;

EID: 84885217900     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali. An Abductive Framework for A-Priori Verification of Web Services. In A. Bossi and M. J. Maher, editors, Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 39-50. ACM Press, 2006.
2. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Verifiable Agent Interaction in Abductive Logic Programming: the SCIFF framework. ACM Transactions on Computational Logic, 9(4), 2008.
3. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation, 2003.
4. A. Barros, M. Dumas, and P. Oaks. A Critical Overview of the Web Services Choreography Description Language (WS-CDL). BPTrends, 2005.
5. A. K. Chopra and C. P. Singh. Producing Compliant Interactions: Conformance, Coverage, and Interoperability. In 4th International Workshop on Declarative Agent Languages and Technologies IV (DALT 2006), Selected, Revised and Invited Papers, volume 4327 of Lecture Notes in Computer Science, pages 1-15. Springer Verlag, 2006.
6. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, 2001.
7. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon. Web Services Choreography Description Language Version 1.0, 2004. http://www.w3.org/TR/ws-cdl-10/.
8. M. Baldoni and C. Baroglio and A. Martelli and V. Patti. A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. In A. Dan and W. Lamersdorf, editors, Proocedings of the 4th International Conference on Service-Oriented Computing (ICSOC 2006), volume 4294 of Lecture Notes in Computer Science. Springer Verlag, 2006.
9. M. Montali. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Framework. PhD thesis, University of Bologna, 2009.
10. M. Montali, M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Verification from Declarative Specifications Using Logic Programming. In M. G. D. L. Banda and E. Pontelli, editors, ICLP, number 5366 in LNCS, pages 440-454. Springer Verlag, 2008.
11. M. Montali, M. Pesic, W. M. P. van der Aalst, F. Chesani, P. Mello, and S. Storari. Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web - Accepted, 2009.
12. M. Pesic. Constraint-Based Workflow Management Systems: Shifting Controls to Users. PhD thesis, Beta Research School for Operations Management and Logistics, Eindhoven, 2008.
13. M. Pesic and W. M. P. van der Aalst. A Declarative Approach for Flexible Business Processes Management. In Proceedings of the BPM 2006 Workshops, volume 4103 of Lecture Notes in Computer Science, pages 169-180. Springer Verlag, 2006.
14. W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, and P. Wohed. Life After BPEL? In M. Bravetti, L. Kloul, and G. Zavattaro, editors, Proceedings of the 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), volume 3670 of Lecture Notes in Computer Science, pages 35-50. Springer Verlag, 2005.
15. S. A. White. Business Process Modeling Notation Specification 1.0. Technical report, OMG, 2006.