Software Technology for Adaptable, Reliable Systems (STARS). Reuse LibraryFramework PCTE Binary Release Version 4.1. Version Description Document

摘要

The Reuse Library Framework (RLF) is an Ada system designed and implemented tosupport 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 Paramax in Prolog. These subsystems are supported by an intergrating 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.