Information Systems Laboratory Automated Web Service Composition : State of the Art and Research Challenges

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[3]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  John Mylopoulos,et al.  On the Frame Problem in Procedure Specifications , 1995, IEEE Trans. Software Eng..

[6]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[7]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[8]  Murray Shanahan.  The Ramification Problem in the Event Calculus , 1999, IJCAI.

[9]  D. Box,et al.  Simple Object Access Protocol (SOAP) 1.1, W3C Note , 2000 .

[10]  Patrick Doherty,et al.  Tackling the Qualification Problem using Fluent Dependency Constraints , 2000, Comput. Intell..

[11]  Roy T. Fielding,et al.  Principled design of the modern Web architecture , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[12]  Pearl Brereton,et al.  Service-based software: the future for flexible software , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[13]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[14]  D. Box,et al.  Simple object access protocol (SOAP) 1.1 , 2000 .

[15]  Sheila A. McIlraith.  Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) , 2000, Artif. Intell..

[16]  Michael Thielscher,et al.  The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..

[17]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[18]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[19]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[20]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .

[21]  Massachusett Framingham,et al.  The Common Object Request Broker: Architecture and Specification Version 3 , 2003 .

[22]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[23]  Michael Grüninger,et al.  The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..

[24]  Craig A. Knoblock,et al.  Web service composition as planning , 2003 .

[25]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[26]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[27]  Thorsten Liebig,et al.  Pitfalls of OWL-S: a practical semantic web use case , 2004, ICSOC '04.

[28]  M. Matskin,et al.  Logic-based Web services composition: from service description to process model , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[29]  Roy Grønmo,et al.  Web service composition in UML , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[30]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[31]  Piergiorgio Bertoli,et al.  Planning and Monitoring Web Service Composition , 2004, AIMSA.

[32]  Prashant Doshi,et al.  Executing Abstract Web Process Flows , 2004 .

[33]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[34]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[35]  W. Alex Gray,et al.  A Framework for Automated Service Composition in Service-Oriented Architectures , 2004, ESWS.

[36]  Jianwen Su,et al.  Tools for composite web services: a short overview , 2005, SGMD.

[37]  Piergiorgio Bertoli,et al.  Automated composition of Web services via planning in asynchronous domains , 2005, Artif. Intell..

[38]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[39]  Diego Calvanese,et al.  Automatic Service Composition Based on Behavioral Descriptions , 2005, Int. J. Cooperative Inf. Syst..

[40]  Margaret B. Stern,et al.  A Classification of Issues and Approaches in Automatic Service Composition , 2005 .

[41]  Roy Grønmo,et al.  Model-driven semantic Web service composition , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[42]  Piergiorgio Bertoli,et al.  ASTRO: Supporting Composition and Execution of Web Services , 2005, ICSOC.

[43]  Joachim Peer,et al.  A POP-Based Replanning Agent for Automatic Web Service Composition , 2005, ESWC.

[44]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

[45]  Rob Miller.  Three problems in logic-based knowledge representation , 2006, Aslib Proc..

[46]  Fumio Hattori,et al.  Automatic Web Service Composition Using ConGolog , 2006, 26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06).

[47]  Paul Hofmann,et al.  A Mixed Initiative Approach to Semantic Web Service Discovery and Composition: SAP's Guided Procedures Framework , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[48]  Annapaola Marconi,et al.  Specifying Data-Flow Requirements for the Automated Composition of Web Services , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[49]  Keita Fujii,et al.  Semantics-Based Dynamic Web Service Composition , 2006, Int. J. Cooperative Inf. Syst..

[50]  Dimitris Plexousakis,et al.  Requirements for QoS-based Web Service Description and Discovery , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[51]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[52]  Nihan Kesim Cicekli,et al.  Automated Web Services Composition with the Event Calculus , 2007, ESAW.

[53]  Amit P. Sheth,et al.  Automatic Composition of Semantic Web Services using Process and Data Mediation , 2007 .

[54]  Incheon Paik,et al.  Automatic Web Services Composition Using Combining HTN and CSP , 2007, 7th IEEE International Conference on Computer and Information Technology (CIT 2007).

[55]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[56]  Paolo Traverso,et al.  Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.

[57]  Luís Ferreira Pires,et al.  A Framework for Dynamic Web Services Composition , 2007, WEWST.

[58]  Danilo Ardagna,et al.  PAWS: A Framework for Executing Adaptive Web-Service Processes , 2007, IEEE Software.

[59]  Annapaola Marconi,et al.  Automated Composition of Web Services: the ASTRO Approach , 2008, IEEE Data Eng. Bull..

[60]  Giuseppe De Giacomo,et al.  Automatic Service Composition via Simulation , 2008, Int. J. Found. Comput. Sci..

[61]  Anne H. H. Ngu,et al.  Dynamic composition and optimization of Web services , 2008, Distributed and Parallel Databases.

[62]  Freddy Lécué,et al.  DL Reasoning and AI Planning for Web Service Composition , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[63]  Pascal Poizat,et al.  Automated Service Composition with Adaptive Planning , 2008, ICSOC.

[64]  Frank Neven,et al.  Complexity and composition of synthesized web services , 2008, PODS.

[65]  Vikas Agarwal,et al.  Understanding approaches for web service composition and execution , 2008, Bangalore Compute Conf..

[66]  Antonio Brogi,et al.  Ontology- and Behavior-Aware Discovery of Web Service Compositions , 2008, Int. J. Cooperative Inf. Syst..

[67]  Francis G. McCabe,et al.  Reference Architecture for Service Oriented Architecture Version 1.0 , 2008 .

[68]  Keita Fujii,et al.  Semantics-based context-aware dynamic service composition , 2009, TAAS.

[69]  Sheila A. McIlraith,et al.  Web Service Composition via the Customization of Golog Programs with User Preferences , 2009, Conceptual Modeling: Foundations and Applications.

[70]  Dimitris Plexousakis,et al.  The frame problem in Web service specifications , 2009, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems.

[71]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[72]  Piergiorgio Bertoli,et al.  Control Flow Requirements for Automated Service Composition , 2009, 2009 IEEE International Conference on Web Services.

[73]  Sheila A. McIlraith,et al.  Optimizing Web Service Composition While Enforcing Regulations , 2009, SEMWEB.

[74]  Annapaola Marconi,et al.  Synthesis and Composition of Web Services , 2009, SFM.

[75]  Yinghui Wu,et al.  On the aggregation problem for synthesized web services , 2010, ICDT '10.

[76]  Chris Rose,et al.  A Break in the Clouds: Towards a Cloud Definition , 2011 .