Semantic web enabled composition of web services

In this dissertation, we present a novel approach for the automatic composition of Web services on the envisioned Semantic Web. Automatic service composition requires dealing with three major research thrusts: semantic description of Web services, composability of participant services, and generation of composite service descriptions. We first propose an ontology-based framework for organizing and describing semantic Web services. We introduce the concept of community to cluster Web services based on their domain of interest. Each community is defined as an instance of an ontology called community ontology. We then propose a composability model to check whether semantic Web services can be combined together, hence avoiding unexpected failures at run time. The model defines formal safeguards for meaningful composition through the use of composability rules. We also introduce the notions of composability degree and τ-composability to cater for partial and total composability. Based on the composability model, we propose a set of algorithms that automatically generate detailed descriptions of composite services from high-level specifications of composition requests. We introduce a Quality of Composition (QoC) model to assess the quality of the generated composite services. The techniques presented in this dissertation are implemented in WebDG, a prototype for accessing e-government Web services. Finally, we conduct an extensive performance study (analytical and experimental) of the proposed composition algorithms. This work is supported by the NSF Digital Government Program under grant 9983249-EIA.

[1]  Gustavo Alonso,et al.  Workflows over Workflows: Practical Experiences with the Integration of SAP R/3 Business Workflow in WISE , 1999, Enterprise-wide and Cross-enterprise Workflow Management.

[2]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[3]  Mike P. Papazoglou,et al.  Interoperation support for electronic business , 2000, CACM.

[4]  Dan Harkey,et al.  Client/Server programming with Java and Corba , 1997 .

[5]  Dieter Fensel,et al.  A conceptual architecture for semantic web enabled web services , 2002, SGMD.

[6]  Athman Bouguettaya,et al.  Optimized Querying of E-Government Services , 2003, DG.O.

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

[8]  Ahmed K. Elmagarmid,et al.  Ontology-based Support for Digital Government , 2001, Very Large Data Bases Conference.

[9]  Kevin Chen-Chuan Chang,et al.  Interoperability for digital libraries worldwide , 1998, CACM.

[10]  Scott W. Ambler,et al.  Mastering Enterprise JavaBeans , 2004 .

[11]  Eitan M. Gurari,et al.  Introduction to the theory of computation , 1989 .

[12]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[13]  Edward E. Cobb The Evolution of Distributed Component Architectures , 2001, CoopIS.

[14]  Frank van Harmelen,et al.  Ontology languages for the Semantic Web , 2005 .

[15]  Ibrahim Cingil,et al.  A survey and comparison of business-to-business e-commerce frameworks , 2001, SECO.

[16]  Anne H. H. Ngu,et al.  Business-to-business interactions: issues and enabling technologies , 2003, The VLDB Journal.

[17]  Amy Sundermier,et al.  Interconnection of Distributed Components: An Overview of Current Middleware Solutions , 2001, J. Comput. Inf. Sci. Eng..

[18]  Martin Bichler,et al.  Component-based e-commerce: assessment of current practices and future directions , 1998, SGMD.

[19]  David E. Culler,et al.  Distributed data structures for internet service construction , 2000, USENIX Symposium on Operating Systems Design and Implementation.

[20]  Athman Bouguettaya,et al.  Query Processing and Optimization on the Web , 2004, Distributed and Parallel Databases.

[21]  Daniela Florescu,et al.  XL: a platform for web services , 2002, SIGMOD '02.

[22]  Grant Larsen,et al.  Component-based enterprise frameworks , 2000, CACM.

[23]  Athman Bouguettaya,et al.  Interconnecting Heterogeneous Information Systems , 1998, The Springer International Series on Advances in Database Systems.

[24]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.

[25]  Massimo Mecella,et al.  Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.

[26]  Clemens Heinrich Secure Socket Layer (SSL) , 2005, Encyclopedia of Cryptography and Security.

[27]  Michael Gillmann,et al.  The Mentor-lite prototype: a light-weight workflow management system , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

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

[29]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[30]  Athman Bouguettaya,et al.  Privacy Preserving Composition of Government Web Services , 2002, DG.O.

[31]  Andrzej Cichocki,et al.  Managing Process and Service Fusion in Virtual Enterprises , 1999, Inf. Syst..

[32]  Umeshwar Dayal,et al.  Business Process Coordination: State of the Art, Trends, and Open Issues , 2001, VLDB.

[33]  Athman Bouguettaya,et al.  Managing Government Databases , 2001, Computer.

[34]  Mike P. Papazoglou,et al.  Service Representation, Discovery, and Composition for E-marketplaces , 2001, CoopIS.

[35]  Fabio Casati,et al.  Developing E-Services for Composing E-Services , 2001, CAiSE.

[36]  Athman Bouguettaya,et al.  Ubiquitous Access to Web Databases , 2003, Web-Powered Databases.

[37]  Ahmed K. Elmagarmid,et al.  Composing and Maintaining Web-based Virtual Enterprises , 2000, TES.

[38]  Matthias Nussbaum Database Transaction Models for Advanced Applications , 1992 .

[39]  CurberaFrancisco,et al.  Unraveling the Web Services Web , 2002 .

[40]  Fabio Casati,et al.  eFlow: a platform for developing and managing composite e-services , 2000, Proceedings Academia/Industry Working Conference on Research Challenges '00. Next Generation Enterprises: Virtual Organizations and Mobile/Pervasive Technologies. AIWORC'00. (Cat. No.PR00628).

[41]  Eric van der Vlist,et al.  XML Schema , 2002 .

[42]  I. Foster,et al.  The grid grows up , 2003, IEEE Internet Computing.

[43]  Chris Exton,et al.  Distributed component object model (DCOM) , 1997 .

[44]  Xu Yang,et al.  Organizing and accessing web services on air , 2003, IEEE Trans. Syst. Man Cybern. Part A.

[45]  S. K. Park,et al.  Random number generators: good ones are hard to find , 1988, CACM.

[46]  Andrzej Cichocki,et al.  The collaboration management infrastructure , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

[47]  Munindar P. Singh Physics of Service Composition , 2001 .

[48]  Fabio Casati,et al.  Models and languages for describing and discovering E-services , 2001, ACM SIGMOD Conference.

[49]  Athman Bouguettaya,et al.  Ontological Approach for Information Discovery in Internet Databases , 2004, Distributed and Parallel Databases.

[50]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[51]  Steve Vinoski,et al.  Web Services Interaction Models, Part 1: Current Practice , 2002, IEEE Internet Comput..

[52]  Claude Godart,et al.  A Process Service Model for Dynamic Enterprise Process Interconnection , 2001, CoopIS.

[53]  Fabio Casati,et al.  E-Business Applications for Supply Chain Automation: Challenges and Solutions , 2001, ICDE 2001.

[54]  David Garlan,et al.  Architectural Mismatch: Why Reuse Is So Hard , 1995, IEEE Softw..

[55]  Jerry Zeyu Gao,et al.  Business-to-Business E-Commerce Frameworks , 2000, Computer.

[56]  Michel C. A. Klein,et al.  The semantic web: yet another hip? , 2002, Data Knowl. Eng..

[57]  Scott M. Lewandowski,et al.  Frameworks for component-based client/server computing , 1998, CSUR.

[58]  Quan Z. Sheng,et al.  SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment , 2002, VLDB.

[59]  Athman Bouguettaya,et al.  Customized delivery of e-government Web services , 2005, IEEE Intelligent Systems.

[60]  Ping Pan,et al.  Internet Engineering Task Force , 1995 .

[61]  Charles J. Petrie,et al.  Service Agents and Virtual Enterprises: A Survey , 2003, IEEE Internet Comput..

[62]  David Garlan,et al.  A compositional formalization of connector wrappers , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[63]  Jon Hopkins,et al.  Component primer , 2000, CACM.

[64]  Athman Bouguettaya,et al.  A multilevel composability model for semantic Web services , 2005, IEEE Transactions on Knowledge and Data Engineering.

[65]  Shuping Ran,et al.  A model for web services discovery with QoS , 2003, SECO.

[66]  Bertrand Meyer,et al.  On To Components , 1999, Computer.

[67]  David E. Culler,et al.  Scalable, distributed data structures for internet service construction , 2000, OSDI.

[68]  Athman Bouguettaya,et al.  Supporting Dynamic Changes in Web Service Environments , 2003, ICSOC.

[69]  Hyacinth S. Nwana,et al.  An Introduction to Agent Technology , 1997, Software Agents and Soft Computing.

[70]  Athman Bouguettaya,et al.  Infrastructure for E-Government Web Services , 2003, IEEE Internet Comput..

[71]  Daniela Florescu,et al.  XL: an XML programming language for web service specification and composition , 2002, Comput. Networks.

[72]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[73]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[74]  Christine Collet,et al.  NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System , 1994, VLDB.

[75]  Dieter Pfoser Indexing the Trajectories of Moving Objects , 2002 .

[76]  Athman Bouguettaya,et al.  Internet Computing Support for Digital Government , 2004, The Practical Handbook of Internet Computing.

[77]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[78]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[79]  Andrzej Cichocki,et al.  Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes , 2000, CAiSE.

[80]  Anne H. H. Ngu,et al.  Declarative composition and peer-to-peer provisioning of dynamic Web services , 2002, Proceedings 18th International Conference on Data Engineering.

[81]  Ahmed K. Elmagarmid,et al.  Supporting Data and Services Access in Digital Government Environments , 2002, Advances in Digital Government.

[82]  Athman Bouguettaya,et al.  A Dynamic Foundational Architecture for Semantic Web Services , 2005, Distributed and Parallel Databases.

[83]  Gerhard Weikum,et al.  Are Web Services the Next Revolution in e-Commerce? (Panel) , 2001, VLDB.

[84]  Andrew Whinston,et al.  Frontiers of Electronic Commerce , 1996 .

[85]  Ahmed K. Elmagarmid,et al.  Webbis: An Infrastructure For Agile Integration Of Web Services , 2004, Int. J. Cooperative Inf. Syst..

[86]  Gerhard Weikum,et al.  From Centralized Workflow Specification to Distributed Workflow Execution , 1998, Journal of Intelligent Information Systems.

[87]  Yelena Yesha,et al.  Electronic Commerce: Technical, Business, and Legal Issues , 1998 .

[88]  Yelena Yesha,et al.  Strategic directions in electronic commerce and digital libraries: towards a digital agora , 1996, CSUR.

[89]  A. Bouguettaya,et al.  Healthcare data warehousing and quality assurance , 2001 .

[90]  Athman Bouguettaya,et al.  Semantic Web Enabled E-Government Services , 2003, DG.O.

[91]  Athman Bouguettaya,et al.  Preserving privacy in web services , 2002, WIDM '02.

[92]  Michael N. Huhns,et al.  Agents as Web Services , 2002, IEEE Internet Comput..

[93]  Heiko Ludwig,et al.  Contract-based Cross-Organisational Workflows - The CrossFlow Project , 1999, Cross-Organisational Workflow Management and Co-ordination.

[94]  Timothy W. Finin,et al.  A Reactive Service Composition Architecture for Pervasive Computing Environments , 2002, PWC.

[95]  Krishnamurthy Srinivasan,et al.  E-Business Process Modeling: The Next Big Step , 2002, Computer.

[96]  Jan Mendling Business Process Execution Language for Web Service (BPEL) , 2006 .

[97]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.