The frame problem in Web service specifications

This work explores the frame problem and its effects in devising Web service specifications. The frame problem encompasses the issues raised when trying to concisely state in a specification that nothing changes except when explicitly mentioned otherwise. A motivating example of a composite service specification is presented and a solution approach is proposed, based on knowledge gained from related research on the frame problem in procedure specifications. Finally, an algorithm that applies the presented solution in order to transform existing OWL-S service descriptions to ones that are free from the frame problem is presented.

[1]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[2]  Steffen Hölldobler,et al.  Linear Deductive Planning , 1996, J. Log. Comput..

[3]  Jin Song Dong,et al.  Enhancing Semantic Web Services with Inheritance , 2008, SEMWEB.

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

[5]  Jorg Homann.  A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm , 2000 .

[6]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[7]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[8]  David M. Booth,et al.  Web Services Architecture , 2004 .

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

[10]  Matthias Klusch,et al.  Semantic Web Service Composition Planning with OWLS-Xplan , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[11]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

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

[13]  Luis Rodero-Merino,et al.  A break in the clouds: towards a cloud definition , 2008, CCRV.

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

[15]  Andreas Abecker,et al.  Semantic Web Services: Concepts, Technologies, and Applications , 2010 .

[16]  J. Farrell,et al.  Semantic Annotations for WSDL and XML Schema , 2007 .

[17]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[18]  Drew McDermott,et al.  DRS: A Set of Conventions for Representing Logical Languages in RDF , 2004 .

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

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

[21]  Peep Küngas,et al.  Distributed Agent-Based Web Service Selection, Composition and Analysis through Partial Deduction , 2006 .

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

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

[24]  E. Sandewall.  Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .

[25]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .

[26]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

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

[28]  Murray Shanahan,et al.  The Event Calculus in Classical Logic - Alternative Axiomatisations , 1999, Electron. Trans. Artif. Intell..

[29]  Fabio Casati,et al.  Adaptive and Dynamic Service Composition in eFlow , 2000, CAiSE.

[30]  Robert Richards,et al.  Universal Description, Discovery, and Integration (UDDI) , 2006 .

[31]  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.

[32]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[33]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[34]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

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

[36]  Jörg Hoffmann.  A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm , 2000, PuK.

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

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

[39]  Thomas Erl,et al.  SOA Principles of Service Design , 2007 .

[40]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

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

[42]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[43]  Holger Lausen,et al.  Functional Description of Web Services , 2006 .

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

[45]  Frank van Harmelen,et al.  A Semantic Web Primer, 2nd Edition , 2008, Cooperative information systems.

[46]  Christoph Bussler,et al.  Semantically Enabled Service-Oriented Architectures: A Manifesto and a Paradigm Shift in Computer Science , 2005 .

[47]  James A. Hendler,et al.  UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.

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

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

[50]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

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

[52]  Dimitris Plexousakis,et al.  Enhanced Specifications for Web Service Composition , 2006, 2006 European Conference on Web Services (ECOWS'06).

[53]  Frank Leymann,et al.  BPEL light , 2007 .

[54]  Laura Giordano,et al.  Reasoning About Web Services in a Temporal Action Logic , 2006, Reasoning, Action and Interaction in AI Theories and Systems.

[55]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[56]  Nicola Guarino,et al.  Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration , 1997, SCIE.

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

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

[59]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[60]  Joachim Peer,et al.  A PDDL Based Tool for Automatic Web Service Composition , 2004, PPSWR.

[61]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[62]  Dave Reynolds,et al.  Efficient RDF Storage and Retrieval in Jena2 , 2003, SWDB.

[63]  James A. Hendler,et al.  Semantics for HTN Planning , 1998 .

[64]  Ioan Salomie,et al.  Towards automated web service composition with fluent calculus and domain ontologies , 2008, iiWAS.

[65]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[66]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[67]  Eric. Newcomer,et al.  Understanding SOA with Web Services , 2004 .

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