A survey on application of situation calculus in business information systems

2007 International Conference on Convergence Information Technology, ICCIT 2007

Volumn , Issue , 2007, Pages 425-431

  Li, Bing ^a   Iijima, Junichi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); INFORMATION SCIENCE; INFORMATION SYSTEMS; INFORMATION TECHNOLOGY; MATHEMATICAL TECHNIQUES; SURVEYS;

BUSINESS INFORMATION SYSTEMS; BUSINESS NEEDS; BUSINESS SYSTEMS; CUSTOMER NEEDS; GLOBAL ECONOMIES; INTERNATIONAL CONFERENCES; SITUATION CALCULUS;

TECHNOLOGY;

EID: 49049111582     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCIT.2007.4420296     Document Type: Conference Paper

References (50)

1. Tien, J.M., Berg, D., "A Case for Service Systems Engineering," Journal of Systems Science and Systems Engineering, Vol. 12, No.1, pp.13-38, March, 2003.
2. Maglio, P.P., Srinivasan, S., Kreulen, J.T., Spohrer, J., "Service Systems, Service Scientists, SSME, and Innovation," Communications of the ACM 49 (7), pp. 81-85, 2006.
3. Paloheimo, K., Miettinen, I., Brax, S., Customer-Oriented Industrial Services, Helsinki University of Technology, BIT Research Centre, 2004.
4. Weiser, M., Brown, J.S., "The coming age of calm technolgy," Beyond Calculation: the Next Fifty Years, Denning, P. J., Metcalfe, R. M. (Eds.), Copernicus, New York, NY, 75-85, 1997.
5. McCarthy, J., Hayes, P.J., "Some Philosophical Problems from the Standpoint of Artificial Intelligence," in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 4, pp. 463-502, Edinburgh University Press, 1969.
6. 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, pp. 359-380, Academic Press, San Diego, CA, 1991.
7. Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B., "GOLOG: A Logic Programming Language for Dynamic Domains," Journal of Logic Programming 31, pp. 59-84, 1997.
8. Levesque, H.J., Pirri, F., Reiter, R., "Foundations for the Situation Calculus," Electronic Transactions on Artificial Intelligence 2, pp. 159-178, 1998.
9. Pirri, F., Reiter, R., "Some Contributions to the Metatheory of the Situation Calculus," ACM 46 (3) pp. 325-361, 1999.
10. Giacomo, G.D., Lespérance, Y., Levesque, H.J., "ConGolog, A Concurrent Programming Language Based on the Situation Calculus," Artificial Intelligence 121, pp. 109-169, 2000.
11. Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, 2001.
12. Brachman, R., Levesque, H., Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.
13. Demolombe, R., Fernandez, A.M.O., "Intention Recognition in the Situation Calculus and Probability Theory Frameworks," CLIMA VI, LNAI 3900, pp. 358-372, 2006.
14. Denecker, M., Ternovska, E., "Inductive Situation Calculus," Artificial Intelligence 171, pp. 332-360, 2007.
15. Thielscher, M., "From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem," Artificial Intelligence 111, pp. 277-299, 1999.
16. McIlraith, S.A., "Integrating Actions and State Constraints: A Closed-Form Solution to the Ramification Problem (Sometimes)," Artificial Intelligence 116, pp. 87-121, 2000.
17. Moitraa, M., Ganesh, J., "Web Services and Flexible Business Processes: Towards the Adaptive Enterprise," Information & Management 42, pp. 921-933, 2005.
18. Rao, J., Su, X., "A Survey of Automated Web Service Composition Methods," Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC), San Diego, California, USA, 2004.
19. Gruniger, M., Hull, R., McIlraith, S., "A First-Order Ontology for Semantic Web Services," Procceedings of W3C Workshop on Frameworks for Semantics in Web Services, 2005.
20. Narayanan, S., McIlraith, S., "Analysis and Simulation of Web Services," Computer Networkds 42, pp. 675-693, 2003.
21. Narayanan, S., McIlraith, S., "Simulation, Verification and Automated Composition of Web Services," Proceedings of the Eleventh International World Wide Web Conference, Honolulu, Hawaii, 2002.
22. McIlraith, S., Son, T., "Adapting Golog for Composition of Semantic Web Services," Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning, Toulouse, France, 2002.
23. McIlraith, S., Son, T., Zeng, H., "Semantic Web Services," IEEE Intelligent Systems 16(2), pp. 46-53, 2001.
24. Gruninger, M., Menzel, C., "Process Specification Language: Theory and Applications," AI Magazine 24, pp. 63-74, 2003.
25. Nariai, K., Paik, I., Shinozawa, M., "Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus," Proceedings of The Fifth International Conference on Computer and Information Technology (CIT), 2005.
26. Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D., "HTN Planning for Web Service Composition Using SHOP2," Journal of Web Semantics, Vol.1, No. 4, pp. 377-396, 2004.
27. Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D., "Automating DAML-S Web Services Composition Using SHOP2," D. Fensel et al. (Eds.): ISWC 2003, LNCS 2870, pp. 195-210, 2003.
28. Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, J., Wu, D., Yaman, F., "SHOP2: an HTN Planning System," Journal of Artificial Intelligence Research 20, pp. 379-404, 2003.
29. Matskin, M., Rao, J., "Value-Added Web Services Composition Using Automatic Program Synthesis," Proeeedings of the International Workshop on Web Services, E-Business, and the Semantic Web, CAiSE, Canada, 2002.
30. Jakobson, G., Buford, J. Lewis, L., "A Framework of Cognitive Situation Modeling and Recognition," Proceedings of Military Communications Conference (MILCOM), 2006.
31. Endsley, M.R., "Toward a Theory of Situation Awareness in Dynamic Systems," Human Factors 37(1), pp. 32-64, 1995.
32. Pospelov, D.A., Situation-Driven Control: Theory and Practice, Moscow, Nauka, 1986.
33. Ranganathan A., Campbell R.H., "An Infrastructure for Context-Awareness Based on First Order Logic," Personal Ubiquitous Computing, Vol. 7, No. 6, pp. 353-364, 2003.
34. Román, M., Hess, C.K., Cerqueira, R., Ranganathan, A., Campbell, R.H., Nahrstedt, K., "Gaia: A Middleware Infrastructure to Enable Active Spaces," IEEE Pervasive Computing 10-12, pp. 74-83, 2002.
35. Figge, S., "Situation-Dependent Services - A Challenge for Mobile Network Operators," Journal of Business Research, Mobility and Markets: Emerging Outlines of M-Commerce, Vol.57, No.12, pp.1416-1422, 2004.
36. 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), Vol. 16 No.1, pp. 49-62, June 2007.
37. Ding, X.J., Iijima, J., "Logical Approach for Dynamic System in Situation Dependent Services," Proceedings of the 3rd IEE Mobility Conference, 2006.
38. Anagnostopoulos, C.B., Tsounis, A., Hadjiefthymiades, S., "Context Awareness in Mobile Computing Environments," Wireless Personal Communications 42, pp. 445-464, 2007.
39. Ranganathan A., McGrath, R.E., Campbell R.H., Mickuna, D.M., "Ontologies in a Pervasive Computing Environment," Proceedings of Workshop on Ontologies and Distributed Systems, IJCAI, 2003.
40. Chen, H., Finin, T., Joshi, A., "An Ontology for Context-Aware Pervasive Computing Environments," Special Issue on Ontologies for Distributed Systems, Knowledge Engineering Review, 2003.
41. Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Weske, M., "Business Process Management: A Survey," Proceedings of BPM 2003, LNCS 2678, pp. 1-12, Springer, 2003.
42. Van Der Aalst, W.M.P, Ter Hofsede, A.H.M., "Verification of Workflow Task Structures: a Petri-Net-Based Approach," Information Systems, Vol. 25, No.1, pp. 43-69, 2000.
43. Van Der Aalst, W.M.P., Van Hee, K.M., Workflow Management: Models, Methods, and Systems, MIT Press, 2002.
44. Plexousakis, D., "Simulation and Analysis of Business Processes Using GOLOG," Proceedings of Conference on Organizational Computing Systems, pp. 311-322, 1995.
45. Koubarakis, M., Plexousakis, D., "A Formal Model for Business Process Modeling and Design," Proceedings of CAiSE 2000, pp. 142-156, 2000.
46. Koubarakisa, M., Plexousakis, D., "A Formal Framework for Business Process Modelling And Design," Information Systems 27, pp. 299-319, 2002.
47. Li, B., Iijima, J., "Bridging the Gap Between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification," Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), ICEIS, Funchal, Portugal, 2007.
48. Li, B., Iijima, J., "Architecture on a Hybrid Business Process Design and Verification System," Proceedings of International Symposium on Information System & Management(ISM), Shanghai, China, 2007.
49. Li, B., Iijima, J., "A Hybrid Approach for Business Process Verification," Proceedings of The IFIP International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Beijing, China, 2007 (forthcomming).
50. WfMC, Process Definition Interface - XML Process Definition Language, Document Number WFMC-TC-1025, Version 2.00, October 3, 2005.