Survey on service composition

[1]  C. Petri.  Kommunikation mit Automaten , 1962 .

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

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

[4]  Stephen L. Burbeck.  The Tao of e-Business Services , 2000 .

[5]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[6]  Mathias Weske,et al.  Dynamic failure recovery of generated workflows , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).

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

[8]  James A. Hendler,et al.  Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.

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

[10]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[11]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

[12]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[13]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[14]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[15]  Patrick Valduriez,et al.  Distributed and parallel database systems , 1996, CSUR.

[16]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[17]  Mathias Weske,et al.  Integrated Workflow Planning and Coordination , 2003, DEXA.

[18]  Kunal Verma,et al.  Constraint driven Web service composition in METEOR-S , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[19]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[20]  Yves Lespérance,et al.  Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning , 2004, AAAI Fall Symposium: Agents and the Semantic Web.

[21]  Dana S. Nau,et al.  SHOP2: An HTN Planning System , 2003, J. Artif. Intell. Res..

[22]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..