Towards a semantic state transition system for automated generation of data flow in web service composition

International Journal of Semantic Computing

Volumn 3, Issue 4, 2009, Pages 499-526

  Lécué, Freddy ^a   Delteil, Alexandre ^b   Léger, Alain ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b ORANGE LABS   (France)

Author keywords

automated composition; automated reasoning; automated specification of data flow; Semantic web; web service

Indexed keywords

AUTOMATION; DATA TRANSFER; INTERFACE STATES; QUALITY OF SERVICE; SEMANTIC WEB; TELECOMMUNICATION SERVICES; WEBSITES;

ABSTRACT STATE MACHINES; AUTOMATED COMPOSITION; AUTOMATED REASONING; AUTOMATED WEB SERVICE COMPOSITION; DATA FLOW; SEMANTIC ENHANCEMENTS; STATE TRANSITION SYSTEMS; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 85014025580     PISSN: 1793351X     EISSN: 17937108     Source Type: Journal    
DOI: 10.1142/S1793351X09000896     Document Type: Article

References (36)

1. T. Berners-Lee, J. Hendler and O. Lassila, The semantic web, Sci. Am. 284 (5) (2001) 34-43.
2. F. Baader and W. Nutt, Basic description logics, in The Description Logic Handbook: Theory, Implementation, and Applications (Cambridge University Press, 2003).
3. M. K. Smith, C. Welty and D. L. McGuinness, Owl web ontology language guide. W3c recommendation, World Wide Web Consortium (February 2004).
4. K. P. Sycara, M. Paolucci, A. Ankolekar and N. Srinivasan, Automated discovery, interaction and composition of semantic web services, J. Web Sem. 1 (1) (2003) 27-46.
5. A. Ankolenkar, M. Paolucci, N. Srinivasan and K. Sycara, The owl services coalition, owl-s 1.1 beta release. Technical report (July 2004).
6. D. Fensel, M. Kifer, J. de Bruijn and J. Domingue, Wsmo submission, w3c member submission (2005).
7. K. Sivashanmugam, K. Verma, A. Sheth and J. Miller, Adding semantics to web services standards. in 1st International Conference on Web Services, 2003, pp. 395-401.
8. M. P. Papazoglou and D. Georgakopoulos, Introduction to special issue on serviceoriented computing, Commun. ACM 46 (10) (2003) 24-28.
9. M. Paolucci, K. P. Sycara and T. Kawamura, Delivering semantic web services, in Proceedings of the International Conference on WWW, 2003, pp. 829-837.
10. M. Klusch, B. Fries, M. Khalid and K. Sycara, Owls-mx: Hybrid owl-s service matchmaking, in AAAI Fall Symposium Series, November 2005.
11. D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini and M. Mecella, Automatic composition of e-services that export their behavior, in 1st ICSOC, 2003, pp. 43-58.
12. M. Pistore, P. Traverso, P. Bertoli and A. Marconi, Automated synthesis of composite bpel4ws web services, in ICWS, 2005, pp. 293-301.
13. L. D. Alfaro and T. A. Henzinger, Interface automata, in ESEC/SIGSOFT FSE, 2001, pp. 109-120.
14. Y. Gurevich, P. W. Kutter, M. Odersky and L. Thiele (eds.), Proceding of the Int. Workshop on Abstract State Machines, Theory and Applications, 1912 (Springer, 2000).
15. M. Pistore, A. Marconi, P. Bertoli and P. Traverso, Automated composition of web services by planning at the knowledge level, IJCAI (2005), 1252-1259.
16. A. Marconi, M. Pistore and P. Traverso, Implicit vs. explicit data-flow requirements in web service composition goals, ICSOC (2006) 459-464.
17. T. Vitvar, M. Zaremba, M. Moran and A. Mocan, Mediation using WSMO, WSML and WSMX, Semantic Web Services Challenge (Springer-Verlag, 2008).
18. C. Preist, J. E. Cuadrado, S. A. Battle, S. Grimm and S. K. Williams, Automated business-to-business integration of a logistics supply chain using semantic web services technology, in International Semantic Web Conference, 2005, pp. 987-1001.
19. 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). Technical report (May 2004).
20. F. Lécué, A. Delteil, A. Léger and O. Boissier, Web service composition as a composition of valid and robust semantic links, Int. J. Cooperative Inf. Syst. 18 (1) (2009) 1-62.
21. F. Lécué, A. Léger and A. Delteil, Dl reasoning and Ai planning for web service composition, Web Intelligence (2008) 445-453.
22. J. Rao, P. Kungas and M. Matskin, Application of linear logic to web service composition, in 1st International Conference on Web Services, June 2003.
23. O. Lassila and S. Dixit, Interleaving discovery and composition for simple workflows, in Semantic Web Services, AAAI Spring Symposium Series, March 2004, pp. 22-26.
24. R. Zhang, I. B. Arpinar and B. Aleman-Meza, Automatic composition of semantic web services, ICWS (2003) 38-41.
25. S. A. McIlraith and T. C. Son, Adapting golog for composition of semantic web services, KR (2002) 482-496.
26. C. E. Gerede, O. H. Ibarra, B. Ravikumar and J. Su, Online and minimum-cost ad hoc delegation in e-service composition, IEEE SCC (2005) 103-112.
27. R. Hull, M. Benedikt, V. Christophides and J. Su, E-services: A look behind the curtain, PODS (2003) 1-14.
28. X. Fu, T. Bultan and J. Su, Analysis of interacting bpel web services, in WWW 2004, pp. 621-630.
29. E. Sirin, B. Parsia, D. Wu, J. A. Hendler and D. S. Nau, Htn planning for web service composition using shop2, J. Web Sem. 1 (4) (2004) 377-396.
30. P. Bertoli, J. Hoffmann, F. Lécué and M. Pistore, Integrating discovery and automated composition: From semantic requirements to executable code, ICWS (2007).
31. C. Pedrinaci and J. Domingue, Towards an ontology for process monitoring and mining, in, Workshop on Semantic Business Process and Product Lifecycle Management (SBPM), June 2007, pp. 76-87.
32. J. Nitzsche and B. Norton, Ontology-based data mediation in bpel (for semantic web services), in Business Process Management Workshops, June 2008, pp. 523-534.
33. A. Knutilla, C. Schlenoff, S. Ray, S. T. Ployak, A. Tate, S. C. Cheah and R. C. Anderson, Process specification language: An analysis of existing representations, Nistit 6160, National Institute of Standards and Technology (NIST), 1998.
34. C. A. R. Hoare, Communicating sequential processes, CACM 21 (8) (1978) 666-677.
35. F. Lécué and A. Léger, Semantic web service composition through a matchmaking of domain, ECOWS, 2006.
36. S. Battle, Round tripping between xml and rdf, Poster of ISWC 2004, 2004.