Semantic consistency within web services interactions

Proceedings - IEEE Sixth International Symposium on Multimedia Software Engineering, MSE 2004

Volumn , Issue , 2004, Pages 240-247

  Gao, Xiang ^a   Chung, Jen Yao ^b  

^a TILBURG UNIVERSITY   (Netherlands)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

DATA INTERPRETATION; DISTRIBUTED COMPUTING MODELS; REMOTE PROCEDURE CALLS; WEB SERVICES;

WORLD WIDE WEB;

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

References (40)

1. Tevfik Bultan, Xiang Fu, Richard Hull, and Jianwen Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proceedings of the World Wide Web Conference, 2003.
2. Richard Hull, Michael Benedikt, Vassilis Christophides, and Jianwen Su. E-services: A look behind the curtain. In Proceedings of ACM Symposium on Principles of Database Systems. ACM, 2003.
3. cl: A Language for Formally Defining Web Services Interactions. Svend Frolund, Kannan Govindarajon. Hewlett-Packard Company 2003.
4. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8): 666-677, August 1978.
5. R. Milner. A Calculus of Communicating Systems. Springer Verlag, 1980. LNCS 92.
6. C. Shirky, "Web Services and Context Horizons," Computer, Sept. 2002, pp.93-94.
7. SOAP Version 1.2, part 0: Primer. http://www.w3.org/TR/soap12-part0/, 2003.
8. Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language. http://www.w3.org/TR/2003/WD-wsdl11220030611/, 2003.
9. Service Framework Specification. http://www.hpl.hp.com/techreports/2001/ HPL-2001-138.HTML. 2001.
10. Web Services Conversation Language (WSCL) 1.0. http://www.w3.org/TR/2002/ NOTE-wscl10-20020314/2002.
11. Liang-Jie Zhang, Henry Chang, Tian Chao. Web Services Relationships Binding for Dynamic e-Business Integration. International Conference on Internet Computing (IC'02), June 2002.
12. th World Multiconferences on Systemises, Cybernetics and Informatics Proceedings. Orlando, Florida, USA. 2003
13. J. Yang, and M.P. Papazoglou, W-J Van Heuvel. Tackling the Challenges of Service Composition. ICDE-RIDE workshop on Engineering E-Commerce/E-Business, San Jose, 2002.
14. Fabio Casati, Mehmet Sayal and Ming-Chien Shan. Developing E-services for Composing E-Services. HP Lab. Techn. Report.
15. W-J Van Heuvel, J. Yang, and M.P. Papazoglou. Service Representation, Discovery, and Composition for E-Marketplaces, Proc. Of International Conference on Cooperative Information Systems (cooPIS01), Sep,2001.
16. IBM alphaworks: Web Services Outsourcing Manager. http://www.alphaworks. ibm.com/aw.nsf/FAQs/wsom
17. th IEEE International Symposium on Multimedia Software Engineering Proceedings. Newport Beach, California, USA. 2002.
18. F. Casati, and Ming-Chien Shan. Dynamic and Adaptive Composition of E-service, Information Systems, 26(2001), page 143-163, 2001.
19. nd VLDS-TES Workshop, Rome, 2001.
20. nd VLDS-TES Workshop, Rome, 2001.
21. B-Business XML (ebXML). http://www.ebxml.org
22. Uiversal Description, Discovery and Integration (UDDI), http://www.uddi.org/
23. F. Tartanoglu, V. Issarny, A. Romanovsky and N. Levy. Dependability in the Web Service Architecture. http://www.citeseer,.com
24. Snell, J. The Web Services Insider, Part 5: Getting into the Flow - Business Process Modelling with WSFL.http://www106.ibm.com/developerworks/ webservices
25. Leymann, F.Web Services Flow Language (WSFL 1.0). IBM Software Group. http://www4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
26. Thatte, S.XLANG: Web Services for Business Process Design. Microsoft Corporation. http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm. 2001
27. Florescu, D., and Kossmann, D. An XML Programming Language for Web Services Specification and Composition. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering. 2001.
28. B. Benatallah, M. Dumas, Q.Z. Sheng, and A.H.H. Ngu. Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services. In Proc. Of the International Conference on Data Engineering, San Jose, USA, February 2002.
29. Snoeck M., On a Process Algebra Approach to the construction and analysis of MERODE-based conceptual models, Ph.D. Dissertation, Katholieke Universiteit Leuven, Faculty of Science & Department of Computer Science, May 1995.
30. Snoeck M., Dedene G., Verhelst M., Depuydt A.M., Object-oriented Enterprise Modeling with MERODE. Leuven University Press. 1999.
31. Lemahieu W., Snoeck M., Michiels C., Goethals F.: An Event Based Approach to Web Service Design and Interaction, K.U. Leuven. APWeb'03 (2003).
32. Lemahieu W., Snoeck M., Michiels C., Goethals F, Guido D., and Vandenbulcke J: Event Based Web Service Description and Coordination, WES'03, Web Services, e-Business, and the Semantic Web, in Workshop Proceedings of CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, 2003
33. Snoeck M., Lemahieu W., Michiels C., Guido D., Event-based Software Architectures, in the proceedings of the OOIS'03 conference in the Springer LNCS-series: http://www.springer.de/comp/lncs/index.html
34. Snoeck M., Dedene, G.: Existence Dependency: The key to semantic integrity between structural and behavioural aspects of object types, IEEE Transactions on Software Engineering, Vol 24 No.24, pp233-251 (1998).
35. Dedene G., Snoeck M, Formal Deadlock Elimination in an Object Oriented Conceptual Schema, published in Data & Knowledge Engineering 15(1995).
36. Curbera, F., et al. Business Process Execution Language for Web Services. Version 1.1, May 2003. http://www106.ibm.com/developerworks/webservices/ librarv/wsbpel/
37. Snoeck M. Separating Business Process Aspects from Business Object Behaviour. Published in "New Directions in Software Engineering, Liber Amicorum Maurice Verhelst", J. Vandenbulcke, M. Snoeck (eds.), Leuven University Process.
38. th International Conference on Conceptual Modeling, Salt Lake City, UTAH, USA, October 2000, Lecture Notes in Computer Science 1920, Springer, pp454-469.
39. Snoeck M. Sequence Constraints in Business Modeling and Business Progress Modeling. Proceedings of the Fourth International Conference on Enterprise Information Sysems, Ciudad Real, Spain, April 3-6, 2002, ICEIS Press, ISBN 972-98050-6-7, pp.683-690.
40. Business Process Execution Language for Web Services version 1.1 http://www106.ibm.com/developerworks/library/wsbpel/,2003.