Architectural support for automatic service composition

We propose architectural properties required for supporting automatic service composition. After defining composable service architecture, we proceed to examine the role of trust and reputation systems in such environment. Based on the proposed infrastructure we give several options for achieving automatic service composition, under the assumption that previously defined requirements are architecturally supported. Finally, we discuss the impact and outlook for automatic composition.

[1]  Amit P. Sheth,et al.  METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services , 2005, Inf. Technol. Manag..

[2]  Geoffrey Sampson.  The myth of diminishing firms , 2003, CACM.

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

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

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

[6]  Werner Vogels,et al.  Web Services Are Not Distributed Objects , 2003, Int. CMG Conference.

[7]  Xiang Fu,et al.  Formal Verification of e-Services and Workflows , 2002, WES.

[8]  Steve Vinoski.  WS-Nonexistent Standards , 2004, IEEE Internet Comput..

[9]  Zakaria Maamar,et al.  Moving toward a framework to compose intelligent web services , 2003 .

[10]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[11]  Miroslaw Malek,et al.  VERIFYING CORRECTNESS OF WEB SERVICE COMPOSITION , 2004 .

[12]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[13]  Zakaria Maamar,et al.  Intelligent Web services moving toward a framework to compose , 2003, CACM.

[14]  Valérie Issarny,et al.  Coordinated forward error recovery for composite Web services , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..

[15]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[16]  Lauren Wood.  技術解説 IEEE Internet Computing , 1999 .

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

[18]  Nikola Milanovic,et al.  Contract-Based Web Service Composition Framework with Correctness Guarantees , 2005, ISAS.

[19]  Frank Leymann,et al.  Modeling Stateful Resources with Web Services , 2004 .

[20]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[21]  Thomas A. Mikalsen,et al.  Reliable Composition of Autonomous Web Services , 2002 .

[22]  Bertrand Meyer,et al.  Towards Practical Proofs of Class Correctness , 2003, ZB.

[23]  M. Malek,et al.  Extracting Functional and Non-functional Contracts from Java Classes and Enterprise Java Beans , 2004 .

[24]  Jian Yang.  Web service componentization , 2003, CACM.

[25]  Mike P. Papazoglou,et al.  Web Component: A Substrate for Web Service Reuse and Composition , 2002, CAiSE.

[26]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[27]  Donald F. Ferguson,et al.  The WS-Resource Framework , 2004 .

[28]  Ralf H. Reussner,et al.  Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures , 2001, Trans. SDPS.

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

[30]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[31]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[32]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

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

[34]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[35]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.

[36]  Stefan Tai,et al.  The next step in Web services , 2003, CACM.

[37]  Craig A. Knoblock,et al.  Proteus: A System for Dynamically Composing and Intelligently Executing Web Services , 2003, ICWS.

[38]  Frank Waters,et al.  The B Book , 1971 .