Abstract
We show how Kimbrough’s Disquotation Theory, a formal theory about sentences that embed propositional content, can be profitably applied to the creation of computational environments for monitoring and enforcing electronic commerce contracts using pervasive, mainstream industrial technologies such as Java and relational databases. We examine the notion of an occurrence and provide a structural representation of this abstraction. We show how contractual provisions - obligations, permissions, prohibitions, and powers - can be stored, monitored, and enforced. Detailed examples illustrate how a query coverage-determination mechanism can be used to check inter-organizational contractual provisions against internal policies and external legislation for dynamic conflicts. The work presented here demonstrates that an extended version of Kimbrough’s theory presents a novel and promising means of storing interrogable and executable specifications for e-commerce workflow applications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alan S. Abrahams and Jean M. Bacon, Event-centric business rules in e-commerce applications, Workshop on Best Practices in Business Rule Design and Implementation at the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (Minneapolis, MN), OOPSLA, October 2000.
—, Event-centric policy specification for e-commerce applications, Workshop on Policies for Distributed Systems and Networks (Bristol, UK), January 2001.
—, Occurrence-centric policy specification for e-commerce applications, Workshop on Formal Modelling for Electronic Commerce (Norway, Oslo), June 2001.
—, Representing and enforcing e-commerce contracts using occurrences, Proceedings of the 4th International Conference on Electronic Commerce Research, Edwin L. Cox School of Business, Southern Methodist University, Dallas, Texas, USA, November 2001.
—, Representing and enforcing electronic commerce contracts over a wide range of platforms using occurrence stores, Fourth CaberNet Plenary Workshop (Pisa, Italy), October 2001.
—, The life and times of identified, situated, and conflicting norms, Sixth International Workshop on Deontic Logic in Computer Science (DEON’02), Imperial College, London, UK, May 2002.
—, A software implementation of Kimbrough’s disquotation theory for representing and enforcing electronic commerce contracts, Group Decision and Negotiations Journal 11 (2002), no. 6, 1–38.
Alan S. Abrahams, Developing and executing electronic commerce applications with occurrences, Ph.D. thesis, University of Cambridge Computer Laboratory, 2002.
Alan S. Abrahams, David M. Eyers, and Jean M. Bacon, An asynchronous rule-based approach for business process automation using obligations, Proceedings of the Third ACM SIGPLAN Workshop on Rule-Based Programming (RULE’02) (Pittsburgh, USA), October 2002.
—, A coverage-determination mechanism for checking business contracts against organizational policies, Proceedings of the Third VLDB Workshop on Technologies for E-Services (TES’02), 2002.
—, Mechanical consistency analysis for business contracts and policies, Proceedings of the Fifth International Conference on Electronic Commerce Research (Montreal, Canada), October 2002.
B. Adelberg, H. Garcia-Molina, and J. Widom, The STRIP rule system for efficiently maintaining derived data, Proceedings of the ACM SIGMOD International Conference on Management of Data, 1997, pp. 147–158.
R. Ayres and P. J. H. King, Querying graph databases using a functional language extended with second order facilities, Advances in Databases, Proceedings of the 14th British National Conference on Databases, (BNCOD 14) (Edinburgh, UK), Springer, July 1996, pp. 189–203.
Alan S. Abrahams and Steven O. Kimbrough, Treating disjunctive obligation and conjunctive action in event semantics with disquotation, Wharton Business School Working Paper Series (2002).
James Allen, Natural language understanding, second ed., The Benjamin/Cummings Publishing Company, Redwood City, California, 1995.
A.R. Anderson, A reduction of deontic logic to alethic modal logic, Mind 67 (1958), 100–103.
—, Logic, norms, and roles, Ratio 4 (1962), no. 36, 36–49.
John L. Austin, How to do things with words, Oxford at the Clarendon Press, Oxford, England, 1962.
J. Bennett, Events and their names, Oxford University Press, 1988.
Roger W.H. Bons, Ronald M. Lee, Renée W. Wagenaar, and Clive D. Wrigley, Modelling inter-organizational trade procedures using documentary Petri nets, Proceedings of the Hawaii International Conference on System Sciences, 1995.
L. Cholvy, F. Cuppens, and C. Saurel, Towards a logical formalization of responsibility, Proceedings of the Sixth International Conference on Artificial Intelligence and the Law (Melbourne, Australia), ACM Press, 1997, pp. 233–242.
[D+01]_N. Damianou et al., The Ponder policy specification language, Proceedings of the International Workshop POLICY 2001 (Berlin, Germany) (M. Sloman, ed.), Springer Verlag, LNCS, 2001.
Aspassia Daskalopulu, Logic-based tools for the analysis and representation of legal contracts, Ph.D. thesis, Department of Computing, Imperial College, University of London, 1999.
D. Davidson, Essays on actions and events, Clarendon Press, 1980.
T. Davis, Lexical semantics and linking in the hierarchical lexicon, Ph.D. thesis, Stanford University, 1996.
T. Dimitrakos and J. Bicarregui, Towards a framework for managing trust in e-services, Proceedings of the Fourth International Conference on Electronic Commerce Research, IFIP INFORMS, 2001, pp. 360–381.
N. Damianou, N. Dulay, E. Lupu, and M. Sloman, The Ponder policy specification language, Lecture Notes in Computer Science 1995 (2001), 18–38.
A. Daskalopulu, T. Dimtrakos, and T.S.E. Maibaum, E-contract fulfillment and agents’ attitudes, Proceedings ERCIM WG E-Commerce Workshop on the Role of Trust in E-Business (Zurich), October 2001.
B.N. Grosof, Y. Labrou, and N.Y. Chan, A declarative approach to business rules in contracts: Courteous logic programs in XML, Proceedings 1st ACM Conference on Electronic Commerce (EC-99) (M.P. Wellman, ed.), November 1999.
E.N. Hanson, S. Bodagala, and U. Chadaga, Optimized trigger condition testing in Ariel using Gator networks, Tech. Report UF-CISTR-97-021, CISE Department, University of Florida. Gainesville, FL (USA), November 1997.
W.N. Hohfeld, Fundamental legal conceptions as applied in judicial reasoning, Greenwood Press Publishers, 1978.
D.S. Jurafsky and J.H. Martin, Speech and language processing, Prentice Hall, 2000.
Andrew J.I. Jones and Marek J. Sergot, A formal characterisation of institutionalised power, Journal of the Interest Group in Pure and Applied Logic (IGPL) 4 (1996), no. 3, 427–443, Reprinted in [V+97, pages 349–367].
Steven O. Kimbrough, On ESΘ theory and the logic of the X12 date/time qualifiers, Proceedings of the Thirty-First Hawai’i International Conference on System Sciences (Los Alamitos. CA) (Ralph H. Sprague, Jr., ed.), IEEE Press, 1998, pp. 330–339.
—, Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content, Proceedings of ICAIL ‘01, International Conference on Artificial Intelligence and Law, 2001.
—, A note on the Good Samaritan paradox and the disquotation theory of propositional content, Proceedings of ΔEON’02, Sixth International Workshop on Deontic Logic in Computer Science (John Horty and Andrew J.I. Jones, eds.), May 2002, pp. 139–148.
Ronald M. Lee, Bureaucracies as deontic systems, ACM Transactions on Office Information Systems 6 (1988), no. 2, 87–108, Special Issue on the Language/Action Perspective.
L. Lindahl, Position and change-a study in law and logic, Synthese Library, vol. 112, D. Reidel, 1977.
D. Makinson, On the formal representation of rights relations, Journal of Philosophical Logic 15 (1986), 403–425.
J.D. Moffett and M.S. Sloman, Policy conflict analysis in distributed system management, Journal of Organizational Computing (1993).
J.-J.Ch. Meyer and R. Wieringa (eds.), Deontic logic in computer science, Wiley, Chichester, UK, 1993.
Terence Parsons, Events in the semantics of English: A study in subatomic semantics, Current Studies in Linguistics, The MIT Press, Cambridge, MA, 1990, ISBN: 0-262-66093-8.
N.W. Paton and O. Diaz, Active database systems, ACM Computing Surveys 1 (1994), no. 31.
H. Prakken and M. Sergot, Defeasible deontic logic: Essays in non-monotonic normative reasoning, Synthese Library, vol. 263, ch. Dyadic Deontic Logic and Contrary-to-Duty Obligations, pp. 223–262, Kluwer Academic Publishers, 1997.
F. Pianesi and A. Varzi, Events and event talk: An introduction, Speaking of Events (J. Higginbotham, F. Pianesi, and A. Varzi, eds.), Oxford University Press, Oxford UK, 2000, pp. 3–49.
John F. Sowa, Knowledge representation: Logical, philosophical, and computational foundations, Brooks/Cole, 2000.
John R. Searle and Daniel Vanderveken, Foundations of illocutionary logic, Cambridge University Press, Cambridge, England, 1985.
C.P. Thorpe and J.C.L. Bailey, Commercial contracts, Kogan Page Limited, 1999.
[V+97]_E. Garzòn Valdés et al. (eds.), Normative systems in legal and moral theory — festschrift for Carlos E. Alchourrón and Eugenio Bulygin, Duncker & Humblot, Berlin, Germany, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Abrahams, A., Eyers, D., Bacon, J. (2005). Practical Contract Storage, Checking, and Enforcement for Business Process Automation. In: Kimbrough, S.O., Wu, D. (eds) Formal Modelling in Electronic Commerce. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-26989-4_2
Download citation
DOI: https://doi.org/10.1007/3-540-26989-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21431-1
Online ISBN: 978-3-540-26989-2
eBook Packages: Business and EconomicsBusiness and Management (R0)