by Lane B. Warshaw, Daniel P. Miranker
In Proceedings of the 5th Conference on Information and Knowledge Management
http://www.arlut.utexas.edu/~warshaw/papers/CaseStudyofDeclarativeRuleModules.ps
Add To MetaCart
Abstract:
The Venus Rule Language introduced a declarative basis for structured rule-based programming (as opposed to pro cedural encapsulation). The method is closely related to the nested transaction model for concurrency control and otherwise the language has been designed to serve as the basis of both main-memory and hard (or expert) activedatabase systems. We present a quantitative evaluation of the impact on development costs of the Venus language on rule-based programs. The basis of the study is a reimplementation of ALEXSYS, an active-database program originally developed in OPS5 and currently in use in the financial securities industry. The measurements indicate substantially improved code, suggesting substantially reduced development and life-cycle costs 1
Citations
|
694
|
Parallel Program Design: A Foundation
– Chandy, Misra
- 1988
|
|
491
|
A Complexity Measure
– McCabe
- 1976
|
|
207
|
Advanced Database Systems
– Zaniolo, Ceri, et al.
- 1997
|
|
119
|
Programming Expert Systems in OPS5: An Introduction to Rule-based Programming
– Brownston, Farrell, et al.
- 1985
|
|
114
|
Software Structure Metrics Based on Information Flow
– Henry, Kafura
- 1981
|
|
110
|
OPS5 User's Manual
– Forgy
- 1981
|
|
46
|
Anoop: Parallelism in Production Systems
– Gupta
- 1986
|
|
45
|
The integration of rule systems and database systems
– Stonebraker
- 1992
|
|
38
|
Assessing the Maintainability of XCON-in-RIME: Coping with Problems of a very Large Rule Base
– Soloway, Bachant, et al.
- 1987
|
|
14
|
The OPS83 Report
– Forgy
- 1984
|
|
14
|
A methodology for programming production systems and its implications on parallelism
– Pasik
- 1989
|
|
11
|
The C++ embeddable rule system
– Miranker, Burke, et al.
- 1993
|
|
10
|
R1 ("XCON") at age 12: lessons from an elementary school achiever
– McDermott
- 1993
|
|
9
|
On isolation, concurrency, and the Venus rule language
– Correl, Miranker
- 1995
|
|
8
|
Expert systems for configuration at Digital
– Barker, O'Connor
- 1989
|
|
8
|
A source-to-source transformation for increasing rule-based system parallelism
– Pasik
- 1992
|
|
8
|
The Formal Specification and Design of a Distributed Electronic Funds-Transfer System
– Staskauskas
- 1988
|
|
8
|
The ALEXSYS Mortgage Pool Allocation Expert System: A Case Study of Speeding Up Rule-based Programs
– Stolfo, Woodbury, et al.
- 1990
|
|
4
|
et al. "A New Approach to Modularity in Rule-Based Programming
– Browne
- 1994
|
|
3
|
The programming and functionality of OPS5 compared to LISP and FORTRAN in an aeronautical route planning system
– Grose
- 1991
|
|
2
|
CLIPS User's Guide, Version 6.0
– Giarratano
- 1994
|
|
2
|
The Definition and Implementation of Mercury
– Obermeyer
- 1993
|
|
2
|
Toward semantic-based parallelism in production systems
– Wu, Miranker, et al.
- 1994
|
|
1
|
workshop on embedded object-oriented production systems
– Pachet
- 1994
|
