OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An incremental constraint solver
Communications of the ACM
Supporting organizational problem solving with a work station
ACM Transactions on Information Systems (TOIS)
A data modeling approach for office information systems
ACM Transactions on Information Systems (TOIS)
Generating Active Rules from High-Level Specifications
BNCOD 10 Proceedings of the 10th British National Conference on Databases: Advanced Database Systems
| Hi-index | 0.00 |
The authors contend that business regulations are primarily described in declarative constraints. They regard clerical work as consistency maintenance governed by conformance to the regulations in terms of the data in business databases and application forms. From this viewpoint, they describe clerical work with a consistency-maintenance model. They develop a constraint syntax and an interactive constraint-satisfaction engine appropriate to clerical work. They rewrote an office system currently in operation using constraints. Experimental results showed that all the regulations can be easily described in constraints, and the description size was reduced by 50%. The constraints have high modularity and exhaustively cover rare cases. The response time is short enough to be feasible, and the number of interactions is almost equivalent to that of the original system. These results indicate that this method realizes a maintainable office system more easily and more effectively.