Reuse Library Framework. Unix Binary Release Version 4.1. Version Description Document
Abstract:
The Reuse Library Framework RLF is an Ada system designed and implemented to support the production and installation of domain-specific software library systems. The RLF is based on two fundamental subsystems AdaKNET Ada Knowledge NETwork and AdaTAU TAU is an acronym for Think Ask Update which are knowledge representation and inferencing systems derived from systems previously developed by Unisys in Prolog. These subsystems are supported by an integrating framework to allow them to be used in combination with each other. AdaKNET and AdaTAU are also equipped with interface specification languages Library Model Definition Language LMDL and Rule Base Definition Language RBDL respectively that are used to initialize domain models that describe the library or application domain. In addition to the support of library systems, the RLF was used to develop a prototype Ada unit test assistant during the STARS Foundations period and has been applied to the representation of software and reuse process models which are themselves machine processable.