Current solutions for Web service composition

IEEE Internet Computing

Volumn 8, Issue 6, 2004, Pages 51-59

  Milanovic, Nikola ^a   Malek, Miroslaw ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SEMANTICS; SOFTWARE ENGINEERING; WORLD WIDE WEB; XML;

FINITE STATE MACHINES; SEMANTIC WEB; WEB SERVICE COMPOSITION;

TELECOMMUNICATION SERVICES;

EID: 11044239442     PISSN: 10897801     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIC.2004.58     Document Type: Article

References (13)

1. M.P. Papazoglou and D. Georgakopoulos, "Service Oriented Computing," Comm. ACM, vol. 46, no. 10, 2003, pp. 25-28.
2. F. Curbera et al., "Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI," IEEE Internet Computing, vol. 6, no. 2, 2002, pp. 86-93.
3. F. Curbera et al., "The Next Step in Web Services," Comm. ACM, vol. 46, no. 10, 2003, pp. 29-34.
4. A. Ankolekar et al., "DAML-S: Web Service Description for the Semantic Web," Proc. Int'l Semantic Web Conf. (ISWC), LNCS 2342, Springer-Verlag, 2002, pp. 348-363.
5. S. McIlraith and T.C. Son, "Adapting Golog for Composition of Semantic Web Services," Proc. Int'l Conf. Principles of Knowledge Representation and Reasoning (KRR 02), 2002, pp. 482-493.
6. S. Narayanan and S. McIlraith, "Simulation, Verification and Automated Composition of Web Services," Proc. Int'l World Wide Web Conf. (WWW2002), 2002, pp. 77-88.
7. J. Yang and M.P. Papazoglou, "Web Component: A Substrate for Web Service Reuse and Composition," Proc. 14th Conf. Advanced Information Systems Eng. (CAiSE 02), LNCS 2348, Springer-Verlag, 2002, pp. 21-36.
8. R. Milner, "The Polyadic π-Calculus: A Tutorial," Logic and Algebra of Specification, F.L. Bauer, W. Brauer, and H. Schwichtenberg, eds., Springer-Verlag, 1993, pp. 203-246.
9. L.G. Meredith and S. Bjorg, "Contracts and Types," Comm. ACM, vol. 46, no. 10, 2003, pp 41-47.
10. R. Hamadi and B. Benatallah, "A Petri-Net-Based Model for Web Service Composition," Proc. 14th Australasian Database Conf. Database Technologies, ACM Press, 2003, pp. 191-200.
11. X. Fu, T. Bultan, and J. Su, "Formal Verification of E-Services and Workflows," Proc. Workshop on Web Services, E-Business, and the Semantic Web (WES), LNCS 2512, Springer-Verlag, 2002, pp. 188-202.
12. T. Bultan et al., "Conversation Specification: A New Approach to Design and Analysis of E-Service Composition," Proc. Int'l World Wide Web Conf. (WWW 2003), ACM Press, 2003, pp. 403-410.
13. D. Berardi et al., "Automatic Composition of E-Services that Export Their Behavior," Proc. 1st Int'l Conf. Service-Oriented Computing (ICSOC 03), LNCS 2910, Springer-Verlag, 2003, pp. 43-58.