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

Version 2 of the ObjectGrid is currently under development for shipping in XD 6.0.1. It will add significant function to the component as well as widen JDK level support. The intent is to allow customers to build large grids of JVMs in to which they can connect applications and store objects at various qualities of service. The grid is being designed to scale to 1000s of JVMs and hold a large quantity of data.

Lotus began its diversification from the desktop software business with its 1984 strategic founding investment in Ray Ozzie's Iris Associates, the creator of its Lotus Notes groupware platform. As a result of this early speculative move, Lotus had gained significant experience in network-based communications years before other competitors in the PC world had even started thinking about the Internet. Lotus initially brought Notes to market in 1989, and later reinforced its market presence with the acquisition of cc:Mail in 1991. In 1994, Lotus acquired Iris Associates. Lotus's dominant groupware position soon faced stiff competition from Microsoft Exchange, but in 2004, twenty years after its groundbreaking agreement with Iris, Lotus Notes continued to lead the market according to some measures.

Rational Software provides a software development platform that improves the speed, quality, and predictability of software projects. Rational’s integrated, full lifecycle solution combines software engineering best practices, market-leading tools and professional services. Ninety-eight of the Fortune 100 rely on Rational tools and services to build better software, faster. This open platform is extended by partners who provide more than 500 complementary products and services. Founded in 1981, Rational is one of the world's largest software companies, with revenues of $689 million in its twelve months ended March 31, 2002, and more than 3,400 employees worldwide. Rational is a member of the S&P 500 Index and a component of the Nasdaq-100 Index® . Additional information is available at www.Rational.com and www.theRationaledge.com, the monthly e-zine for the Rational community

This site is growing and will contain info on subjects like domino lotus sfa, weblogic websphere and uml training.