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

Journal of Systems Science and Systems Engineering

Volumn 16, Issue 3, 2007, Pages 336-355

  Li, Bing ^a   Iijima, Junichi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Dynamic management; E Business service; Situation calculus

Indexed keywords

AUTOMATION; CUSTOMER SATISFACTION; INDUSTRIAL MANAGEMENT; MATHEMATICAL MODELS;

DYNAMIC MANAGEMENT; E-BUSINESS SERVICE; E-SERVICE SYSTEMS; SITUATION CALCULUS;

ELECTRONIC COMMERCE;

EID: 34548755037     PISSN: 10043756     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11518-007-5052-8     Document Type: Article

References (32)

1. Anagnostopoulos, C.B., Tsounis, A. & Hadjiefthymiades, S. (2007). Context awareness in mobile computing environments. Wireless Personal Communications, 42: 445-464
2. Antoniou, G. & Van Harmelen, F. (2004). A Semantic Web Primer. The MIT Press
3. Brachman, R. & Levesque, H. (2004). Knowledge Representation and Reasoning. Morgan Kaufmann
4. Ding, X.J. & Iijima, J. (2007). A study on implementing situation dependent services based on logical approach. The Journal of Japan Society for Management Information (JASMIN), 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. (2004). Situation-dependent services-a challenge for mobile network operators. Journal of Business Research, Mobility and Markets: Emerging Outlines of M-Commerce, 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. (2002). A formal framework for business process modelling and design. Information Systems, 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. (2006). Service systems, service scientists, SSME, and innovation. Communications of the ACM, 49 (7): 81-85
15. Marinescu, D.C. (2002). Internet-Based Workflow Management: Towards a Semantic Web. Wiley-Interscience, New York
16. McCarthy, J. & Hayes, P.J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In: B. Meltzer, D. Michie (eds.), Machine Intelligence, 4:463-502, Edinburgh University Press
17. Narayanan, S. & McIlraith, S. (2003). Analysis and simulation of web services. Computer Networks, 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. (2003). An Infrastructure for Context-Awareness based on First Order Logic. Personal Ubiquitous Computing, 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. (1991). 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, pp. 359-380, Academic Press, San Diego, CA, 1991
25. Schafer, J.B., Konstan, J.A. & Ried, J. (2001). E-commerce recommendation applications. Journal of Data Mining and Knowledge Discovery, 5 (1/2): 115-152
26. Schumann, J. M. (2001). Automated Theorem Proving in Software Engineering. Springer, Berlin
27. Tien, J. M. & Berg, D. (2003). A case for service systems engineering. Journal of Systems Science and Systems Engineering, 12(1):13-38
28. Van Der Aalst, W.M.P. & Ter Hofsede, A.H.M. (2000). Verification of workflow task structures: A petri-net-based approach. Information Systems, 25 (1): 43-69
29. Van Der Aalst, W.M.P. & Ter Hofstede, A.H.M., Kiepuszewski, B., Barrios, A.P. (2003). Workflow patterns. Distributed and Parallel Databases, 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