NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
A Formal Approach to Domain-Oriented Software Design EnvironmentsThis paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesis. A declarative domain theory defines the semantics of a domain-oriented specification language and its relationship to implementation-level subroutines. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that guides them in creating diagrams denoting formal specifications. The diagrams also serve to document the specifications. Deductive program synthesis ensures that end-user specifications are correctly implemented. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory, which includes an axiomatization of JPL's SPICELIB subroutine library. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development. Furthermore, AMPHION synthesizes one to two page programs consisting of calls to SPICELIB subroutines from these specifications in just a few minutes. Test results obtained by metering AMPHION's deductive program synthesis component are examined. AMPHION has been installed at JPL and is currently undergoing further refinement in preparation for distribution to hundreds of SPICELIB users worldwide. Current work to support end-user customization of AMPHION's specification acquisition subsystem is briefly discussed, as well as future work to enable domain-expert creation of new AMPHION applications through development of suitable domain theories.
Document ID
20020010586
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Lowry, Michael
(RECOM Technologies, Inc. Moffett Field, CA United States)
Philpot, Andrew
(RECOM Technologies, Inc. Moffett Field, CA United States)
Pressburger, Thomas
(RECOM Technologies, Inc. Moffett Field, CA United States)
Underwood, Ian
(RECOM Technologies, Inc. Moffett Field, CA United States)
Lum, Henry, Jr.
Date Acquired
August 20, 2013
Publication Date
January 1, 1994
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 9th Knowledge-Based Software Engineering Conference (KBSE''94)
Location: Monterey, CA
Country: United States
Start Date: September 20, 1994
End Date: September 23, 1994
Funding Number(s)
PROJECT: RTOP 233-01-02
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.
No Preview Available