The power of DRN approach is in the integration of both static and dynamic aspects of an information system. The computational part of an active DBMS-based application can be generated automatically from the DRN specification. However, consistent design tools, dedicated to processing specifications and based on presented ideas, are yet to be developed. The method proved itself during years of its practical use. Specifications are judged according to their expressiveness, readability, standardization and the kinds of analysis possible.
Comparison is by all means instructive and stimulating.
We hope that readers will benefit from the most recent work in formal specifications and that they will get interested in formal methods generally, and in formal specifications of CBS specifically.