Software Technology for Adaptable, Reliable Systems (STARS). Reuse Library Framework PCTE 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 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1993
Accession Number
ADA284934

Entities

Organizations

  • Unisys

Tags

Communities of Interest

  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Antisubmarine Warfare
  • Compilers
  • Computer Programs
  • Contractors
  • Contracts
  • Corporations
  • Directories
  • Governments
  • Language
  • Models
  • Operating Systems
  • Shell Scripts
  • Specifications
  • Standards
  • Submarine Warfare

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Software Engineering.