Checking conformance between business processes and web service contract in service oriented applications

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2006, Issue , 2006, Pages 80-89

  Bhuiyan, Jenny ^a   Nepal, Surya ^a   Zic, John ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; CONTRACTS; DISTRIBUTED COMPUTER SYSTEMS; PROBLEM SOLVING; SOFTWARE PROTOTYPING; WORLD WIDE WEB;

AUTONOMOUS BUSINESS PROCESSES; SERVICE ORIENTED ARCHITECTURES; SUPPORTING TOOLS; WEB SERVICE CONTRACT;

COMPUTER ARCHITECTURE;

EID: 33750108088     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2006.20     Document Type: Conference Paper

References (18)

1. BPEL4WS. http://www-128.ibm.com/developerworks/library/ws-bpel/
2. T. Bultan, X. Fu, R Hall and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. WWW 2003, pp. 403-410, 2003.
3. X. Fu, T. Bultan and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services, 8th International Conferences on Implementation and Application of Automata (CIAA), vol. 2759, pp. 188-200. 2003.
4. X. Fu, T. Bultan and J. Su, Analysis of Interacting BPEL Web Services, WWW 2004, pp. 621-630, 2004.
5. P. Greenfield, D. Kuo, S. Nepal, A. Fekete. Consistency for Web Services Application. VLDB Conference, pp. 1199-1203, 2005
6. P. Greenfield, A. Fekete, J. Jang, and D. Kuo. Compensation is Not Enough. EDOC 2003, pp. 232-239, 2003.
7. C.A.R Hoare. Communicating Sequential Processes, Prentice Hall 1985
8. G., Holzmann, 'The Spin Model Checker: Primer and Reference Manual'. Addison-Wesley, 2003.
9. H.Foster, S. Uchitel, J. Kramer, and J. Magee. Model-Based Verification of Web Service Compositions, IEEE International Conference on Automated Software Engineering (ASE) Conference, pp. 152-163, 2003.
10. H.Foster, S. Uchitel, J. Kramer, and J. Magee. Compatibility Verification for Web Service Choreography, ICWS 2004, pp. 738-741, 2004.
11. R.Milner. Communicating and mobile systems: the π-calculus. Cambridge Uni Press 1999.
12. S. Nakajima, Model-Checking Verification for Reliable Web Service. OOPSLA 2002 Workshop on Object-oriented Web Services, Seatle, Washington, 2002.
13. Srini Nararaynan and S.A. Mcllraith, Simulation, Verification and Automated Composition of Web Services. WWW 2002, pp. 78-88, 2002.
14. S. Nepal, A. Fekete, P. Greenfield, J. Jang, D. Kuo, T. Shi, 'A Service-oriented Workflow Language for Robust Interacting Applications', CoopIS, LNCS 3760, pp. 40-58, 2005.
15. Soap Services Description Language (SSDL). www.ssdl.org
16. WS-BusinessActivity. http://msdn.microsoft.com/library/enus/dnglobspec/ html/WSBusinessActivity.pdf
17. Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/wsci/
18. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl