A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML

Grosof, Benjamin, Labrou, Yannis and Chan, Hoi Y., "A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML" (October 2001). MIT Sloan Working Paper No. 4187-01.

Abstract:

We address why, and especially how, to represent business rules in e-commerce contracts. By contracts, we mean descriptions of goods and services offered or sought, including ancillary agreements detailing terms of a deal. We observe that rules are useful in contracts to represent conditional relationships, e.g., in terms& conditions, service provisions, and surrounding business processes, and we illustrate this point with several examples. We analyze requirements (desiderata) for representing such rules in contracts. The requirements include: declarative semantics so as to enable shared understanding and interoperability; prioritized conflict handling so as to enable modular updating/revision; ease of parsing; integration into WWW-world software engineering; direct executability; and computational tractability. We give a representational approach that consists of two novel aspects. First, we give a new fundamental knowledge representation formalism: a generalized version of Courteous Logic Programs (CLP), which expressively extends declarative ordinary logic programs (OLP) to include prioritized conflict handling, thus enabling modularity in specifying and revising rule-sets. Our approach to implementing CLP is a courteous compiler that transforms any CLP into a semantically equivalent OLP with moderate, tractable computational overhead. Second, we give a new XML encoding of CLP, called Business Rules Markup Language (BRML), suitable for interchange between heterogeneous commercial rule languages. BRML can also express a broad subset of ANSI-draft Knowledge Interchange Format (KIF) which overlaps with CLP. Our new approach, unlike previous approaches, provides not only declarative semantics but also prioritized conflict handling, ease of parsing, and integration into WWW-world software engineering. We argue that this new approach meets the overall requirements to a greater extent than any of the previous approaches, including than KIF, the leading previous declarative approach. We have implemented both aspects of our approach; a free alpha prototype called Common-Rules was released on the Web in July of 1999, at http://alphaworks.ibm.com.

Facts on IBM Software

IBM WebSphere Application Server is built using open standards such as the Java 2 Platform, Enterprise Edition (J2EE), XML and Web Services. Multiple IBM labs around the world participate in creating WebSphere run-time products and development tools.

Lotus Software (called Lotus Development Corporation before its acquisition by IBM) is an American software company with its headquarters in Cambridge, Massachusetts. Lotus was founded in 1982 by partners Mitch Kapor and Jonathan Sachs. Lotus' first product was presentation software for the Apple II known as Lotus Executive Briefing System, but the company is more broadly known for its groundbreaking Lotus 1-2-3 spreadsheet application released in January 1983.

With headquarters in Cupertino, California, and Lexington, Massachusetts, Rational has more than 3,400 employees and customers in 89 countries. Rational estimates that more than 600,000 software developers use its software tools. IBM intends to merge Rational’s business operations and employees into the IBM Software Group as a new division and fifth brand, joining WebSphere, Lotus, Tivoli and DB2. When the acquisition closes, Mike Devlin will become the general manager of the new division and will report to Steve Mills.

This site is growing and will contain info on subjects like lotus note training, websphere application server and uml examples.