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

Abstract

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.

Keywords

Dynamic management / e-Business service / situation calculus

References

[1] Anagnostopoulos C.B., Tsounis A., Hadjiefthymiades S.. Context awareness in mobile computing environments. Wireless Personal Communications, 2007, 42: 445-464.

[2] Antoniou G., Van Harmelen F.. A Semantic Web Primer, 2004, New York: The MIT Press

[3] Brachman, R. & Levesque, H. (2004). Knowledge Representation and Reasoning. Morgan Kaufmann

[4] Ding X.J., Iijima J.. A study on implementing situation dependent services based on logical approach. The Journal of Japan Society for Management Information (JASMIN), 2007, 16(1): 49-62.

[5] Ding, X.J. & Iijima, J. (2006). Logical approach for dynamic system in situation dependent services. Proceedings of the 3rd IEE Mobility Conference, Bangkok, Thailand, October 25–27, 2006

[6] Figge S.. Situation-dependent services-a challenge for mobile network operators. Journal of Business Research, Mobility and Markets: Emerging Outlines of M-Commerce, 2004, 57(12): 1416-1422.

[7] Gruniger, A., Hull, R. & McIlraith, S. (2005). A first-order ontology for semantic Web services. Proceedings of W3C Workshop on Frameworks for Semantics in Web Services, Innsbruck, Austria, June 9–10, 2005

[8] Havey, M. (2005). Essential Business Process Modeling. O’Reilly, First Edition.

[9] Jakobson, G., Buford, J. & Lewis, L. (2006). A framework of cognitive situation modeling and recognition. Proceedings of Military Communications Conference (MILCOM), Washington, DC, October 23–25, 2006

[10] Koubarakisa M., Plexousakis D.. A formal framework for business process modelling and design. Information Systems, 2002, 27(5): 299-319.

[11] Li, B. & Iijima, J. (2007). Architecture on a hybrid business process design and verification system. In: Proceedings of International Symposium on Information System & Management, Shanghai, China, July 26–28, 2007

[12] Li, B. & Iijima, J. (2007). Bridging the gap between XPDL and situation calculus: A hybrid approach for business process verification. In: Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS). In conjunction with ICEIS, Funchal, Portugal, June 12–16, 2007

[13] Li, B. & Iijima, J. (2007). Dynamic management of e-business services: a situation calculus based approach. In: Proceedings of 2007 International Conference on Service Systems and Service Management (IC-SSSM’07), Chengdu, China, June 9–11, 2007

[14] Maglio P.P., Srinivasan S., Kreulen J.T., Spohrer J.. Service systems, service scientists, SSME, and innovation. Communications of the ACM, 2006, 49(7): 81-85.

[15] Marinescu D.C.. Internet-Based Workflow Management: Towards a Semantic Web., 2002, New York: Wiley-Interscience

[16] McCarthy J., Hayes P.J.. Meltzer B., Michie D.. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 1969, New York: Edinburgh University Press 463-502.

[17] Narayanan S., McIlraith S.. Analysis and simulation of web services. Computer Networks, 2003, 42: 675-693.

[18] OMG (2006). Business Process Modeling Notation Specification, OMG Final Adopted Specification

[19] Paloheimo, K., Miettinen, I. & Brax, S. (2004). Customer-Oriented Industrial Services. Helsinki University of Technology, BIT Research Centre

[20] Plexousakis, D. (1995). Simulation and analysis of business processes using GOLOG. In: Proceedings of Conference on Organizational Computing Systems, pp. 311–322, 1995

[21] Ranganathan A., Campbell R.H.. An Infrastructure for Context-Awareness based on First Order Logic. Personal Ubiquitous Computing, 2003, 7(6): 353-364.

[22] Rao, J. & Su, X. (2004). A survey of automated web service composition methods. In: Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC), San Diego, California, USA, July 6–9, 2004

[23] Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press

[24] Reiter R.. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, 1991, San Diego, CA: Academic Press 359-380.

[25] Schafer J.B., Konstan J.A., Ried J.. E-commerce recommendation applications. Journal of Data Mining and Knowledge Discovery, 2001, 5(1/2): 115-152.

[26] Schumann J. M.. Automated Theorem Proving in Software Engineering, 2001, Berlin: Springer

[27] Tien J. M., Berg D.. A case for service systems engineering. Journal of Systems Science and Systems Engineering, 2003, 12(1): 13-38.

[28] Van Der Aalst W.M.P., Ter Hofsede A.H.M.. Verification of workflow task structures: A petri-net-based approach. Information Systems, 2000, 25(1): 43-69.

[29] Van Der Aalst W.M.P., Ter Hofstede A.H.M., Kiepuszewski B., Barrios A.P.. Workflow patterns. Distributed and Parallel Databases, 2003, 14(1): 5-51.

[30] Van Der Aalst, W.M.P. & Ter Hofstede, A.H.M., Weske, M. (2003) BPM. Business Process Management: A Survey. BPM 2003, LNCS 2678, pp. 1–12, Springer

[31] Van Der Aalst, W.M.P. & Van Hee, K.M. (2002). Workflow Management: Models, Methods, and Systems. MIT Press, 2002

[32] WFMC (2005). Process Definition Interface-XML Process Definition Language. Document Number WFMC-TC-1025, Version 2.00, October 3, 2005