An asynchronous rule-based approach for business process automation using obligations

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming

Volumn , Issue , 2002, Pages 93-103

  Abrahams, Alan ^a   Eyers, David ^a   Bacon, Jean ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Conflict detection; Conflict resolution; Contracts; Policies

Indexed keywords

DATABASE SYSTEMS; ELECTRONIC COMMERCE; OFFICE AUTOMATION; SYNCHRONIZATION;

CONFLICT DETECTION; WORKFLOW SYSTEMS;

LOGIC PROGRAMMING;

EID: 0036986420     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/570186.570195     Document Type: Conference Paper

References (39)

1. A. Abrahams and J. Bacon. The life and times of identified, situated, and conflicting norms. In Sixth International Workshop on Deontic Logic in Computer Science (DEON'02), Imperial College, London, UK, May 2002.
2. A. Abrahams and J. Bacon. A software implementation of Kimbrough's disquotation theory for representing and enforcing electronic commerce contracts. Group Decision and Negotiations Journal, Forthcoming.
3. J. Austin. How to do things with words. Oxford University Press, second edition, 1976.
4. W. Clocksin and C. Mellish. Programming in Prolog. Springer-Verlag, fourth edition, 1994.
5. C. Collet, T. Coupaye, and T. Svensen. NAOS: Efficient and modular reactive capabilities in an object-oriented database system. In 20th International Conference on Very Large Databases. Santiago, Chile, September 1994.
6. G. Cugola, E. D. Nitto, and A. Fuggetta. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. Transaction of Software Engineering (TSE), 27(9), September 2001.
7. A. Daskalopulu, T. Dimtrakos, and T. Maibaum. E-contract fulfillment and agents' attitudes. In Proceedings ERCIM WG E-Commerce Workshop on the Role of Trust in E-Business, Zurich, October 2001.
8. T. Davis. Lexical Semantics and Linking in the Hierarchical Lexicon. PhD thesis, Stanford University, 1996.
9. C. Forgy. Rete: A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence, 19(1):17-37, 1982.
10. E. Friedman-Hill. Jess, the expert system shell for the Java platform. http://herzberg.ca.sandia.gov/jess/, August 2001.
11. P. Green and M. Rosemann. Integrated process modeling: An ontological evaluation. Information Systems, 25(2):73-87, 2000.
12. B. Grosof, Y. Labrou, and N. Chan. A declarative approach to business rules in contracts: Courteous logic programs in XML. In M. Wellman, editor, Proceedings 1st ACM Conference on Electronic Commerce (EC-99), November 1999.
13. E. Hanson, S. Bodagala, and U. Chadaga. Optimized trigger condition testing in Ariel using Gator networks. Technical Report UF-CIS-TR-97-021, CISE Department, University of Florida. Gainesville, FL (USA), November 1997.
14. IBM. CommonRules 3.1. http://www.alphaworks.ibm. com/tech/commonrules.
15. ILOG. Business rule components, http://www.ilog.com/products/rules/, August 2001.
16. N. Jennings, P. Faratin, T. Norman, P. O'Brien, and B. Odgers. Autonomous agents for business process management. International Journal of Applied Artificial Intelligence, 14(2): 145-189, 2000.
17. D. Jurafsky and J. Martin. Speech and Language Processing. Prentice Hall, 2000.
18. E. Kafeza, D. Chiu, and I. Kafeza. View-based contracts in an e-service cross-organizational workflow environment. In Proceedings of the Second International Workshop on Technologies for E-Services (TES'01), pages 74-88. Springer, 2001.
19. G. Kappel, S. Rausch-Schott, and W. Retschitzegger. Coordination in workflow management systems - a rule-based approach. In W. Conen and G. Neumann, editors, Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents, pages 99-120. Springer LNCS 1364, 1998.
20. S. Kimbrough. On ESΘ theory and the logic of the X12 date/time qualifiers. In Proceedings of the 31st Hawaii International Conference on System Sciences, pages 176-185. IEEE Computer Society Press, 1998.
21. S. Kimbrough. Reasoning about the objects of attitudes and operators: Towards a disquotation theory for the representation of propositional content. In Eight International Conference on Artificial Intelligence and the Law (ICAIL 2001), St Louis, Missouri, May 2001.
22. S. Kimbrough and Y. Tan. on lean messaging with unfolding and unwrapping for electronic commerce. International Journal of Electronic Commerce, 5(1), 2000.
23. M. Koetsier, P. Grefen, and J. Vonk. Cross-organisational workflow: CrossFlow ESPRIT E/28635 contract model, deliverable D4b. Technical report, CrossFlow consortium, 1999.
24. M. Merz, E. Griffel, T. Tu, S. Muller-Wilken, H. Weinreich, M. Boger, and W. Lamersdorf. Supporting electronic commerce transactions with contracting services. International Journal of Cooperative Information Systems, 7(4):249-274, December 1998.
25. D.P. Miranker. TREAT: A better match algorithm for AI production system matching. In Proceedings of the 6th National Conference on Artificial Intelligence, pages 42-47, Seattle, WA, July 1987. Morgan Kaufmann.
26. T. Parsons. Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, 1990.
27. N. Paton and O. Diaz. Active database systems. ACM Computing Surveys, 1(31), 1994.
28. W. Retschitzegger. Composite event management in TriGS - concepts and implementation. In G. Quirchmayr, E. Schweighofer, and T. Bench-Capon, editors, Proceedings of the 9th International Conference on Database and Expert Systems Applications (DEXA '98), Vienna, Austria, August 1998. Springer.
29. G. Riley. CLIPS: A tool for building expert systems, http://www.ghg.net/clips/CLIPS.html, August 2001.
30. C. Schlenoff, M. Gruniger, F. Tissot, J. Valois, J. Lubell, and J. Lee. The Process Specification Language (PSL) overview and version 1.0 specification. Technical Report NISTIR 6459, National Institute of Standards and Technology (NIST), 2000.
31. M. Schmidt. The evolution of workflow standards. IEEE Con-currency, 1999.
32. A. Sheth, W. van der Aalst, and I. Arpinan Processes driving the networked economy. IEEE Concurrency, 1999.
33. J. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole, 2000.
34. M. Stonebraker and G. Kemnitz. The POSTGRES next-generation database management system. Communications of the ACM, 34(10), October 1991.
35. C. Thorpe and J. Bailey. Commercial Contracts. Kogan Page Limited, 1999.
36. D. Tombros. An Event- and Repository-based Component Framework for Workflow System Architecture. PhD thesis, University of Zurich, 1999.
37. W. van der Aalst. Three good reasons for using a Petri-net-based workflow management system. In S. Navathe and T. Wakayama, editors, Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), pages 179-201, Cambridge, Massachusetts, November 1996.
38. J. Widom. The Starburst active database rule system. IEEE Transactions on Knowledge and Data Engineering, 8(4):583-595, 1996.
39. Workflow Management Coalition (WfMC). The workflow reference model: Issue 1.1. http://www.wfmc.org/standards/docs.htm, 1995.