A situation calculus based approach to dynamic management of e-business services

In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.

[1]  丁 瀟君,et al.  A study on implementing situation dependent services based on logical approach , 2007 .

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

[3]  Junichi Iijima,et al.  Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification , 2007, MSVVEIS.

[4]  Junichi Iijima,et al.  Logical approach for dynamic system in situation dependent services , 2006, Mobility '06.

[5]  Bing Li,et al.  Architecture on a Hybrid Business Process Design and Verification System , 2007, 2007 International Conference on Wireless Communications, Networking and Mobile Computing.

[6]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

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

[8]  Johann Schumann,et al.  Automated Theorem Proving in Software Engineering , 2001, Springer Berlin Heidelberg.

[9]  Wil M. P. van der Aalst,et al.  Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..

[10]  Dimitris Plexousakis,et al.  A Formal Framework for Business Process Modeling and Design , 2002 .

[11]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[12]  Dan C. Marinescu.  Internet Based Workflow Management: Towards a Semantic Web , 2002 .

[13]  Michael Havey,et al.  Essential business process modeling , 2005 .

[14]  James M. Tien,et al.  A case for service systems engineering , 2003 .

[15]  L. Lewis,et al.  A Framework of Cognitive Situation Modeling and Recognition , 2006, MILCOM 2006 - 2006 IEEE Military Communications conference.

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

[17]  John Riedl,et al.  E-Commerce Recommendation Applications , 2004, Data Mining and Knowledge Discovery.

[18]  Roy H. Campbell,et al.  An infrastructure for context-awareness based on first order logic , 2003, Personal and Ubiquitous Computing.

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

[20]  Paul P. Maglio,et al.  Service systems, service scientists, SSME, and innovation , 2006, CACM.

[21]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[22]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[23]  Sheila A. McIlraith,et al.  Analysis and simulation of Web services , 2003, Comput. Networks.

[24]  Saara A. Brax,et al.  Customer Oriented Industrial Services , 2004 .

[25]  Stefan Figge,et al.  Situation-dependent services—a challenge for mobile network operators , 2004 .

[26]  Hector J. Levesque,et al.  Chapter 14 – Actions , 2004 .

[27]  Dimitris Plexousakis,et al.  Simulation and analysis of business processes using GOLOG , 1995, COCS '95.

[28]  Wolfgang Bibel,et al.  Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.

[29]  Amit P. Sheth,et al.  Semantic Web Services and Web Process Composition, First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers , 2005, SWSWPC.

[30]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[31]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[32]  Junichi Iijima,et al.  Dynamic Management of e-Business Services: A Situation Calculus Based Approach , 2007, 2007 International Conference on Service Systems and Service Management.

[33]  Stathes Hadjiefthymiades,et al.  Context Awareness in Mobile Computing Environments , 2007, Wirel. Pers. Commun..