Progress

The design of FR-Rapide, intended to explain, at multiple levels of abstraction, the behavior of executable architectures, is complete.

Clear relationships between FR for programs and earlier work on programming plans have been established, thus unifying apparently different ideas on program understanding.

The RESOLVE/Ada and RESOLVE/C++ component archive contains about 80,000 lines of code in a few dozen general-purpose conceptual components and over a hundred implementations of these abstractions.

The first complete version of the ACTI formal model is finished and published.

FY95 Accomplishments

• Completed the first formal model of component-based software systems (ACTI), to be used as a basis for formal semantics and verification.
• Completed a first generation of the RESOLVE/C++ software component library (class templates) as a dual to the previously-developed RESOLVE/Ada software component library (generic packages).
• Completed system design for FR/RAPIDE X/Open, and implemented an example representing deep, multi-leveled understanding of the X/Open Two-Phase Commit protocol in a Rapide executable architecture.

FY96 Events

• FR-UNPROG detailed reengineering example and tool. Will demonstrate combination of bottom-up UNPROG paradigm, tool improvement with additional information such as requirements and domain knowledge captured in FR.
• Completion of the first draft of a "software component engineering handbook" for an audience of software engineering students and software practitioners.
• Development of a prototype "software composition workbench" supporting/enforcing the RESOLVE discipline.