A formal approach to domain-oriented software design environments

Author

Lowry, Michael ; Philpot, Andrew ; Pressburger, Thomas ; Underwood, Ian

Author_Institution

Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA

fYear

1994

fDate

20-23 Sep 1994

Firstpage

48

Lastpage

57

Abstract

This 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 users through an intuitive graphical interface that guides them in creating diagrams denoting formal specifications. Deductive program synthesis ensures that specifications are correctly implemented. This approach has been implemented in AMPHION, a generic KBSE system that targets scientific subroutine libraries. AMPHION has been applied to the domain of solar system kinematics. AMPHION enables space scientists to develop, modify, and reuse specifications an order of magnitude more rapidly than manual program development. Program synthesis is efficient and completely automatic

Keywords

formal specification; knowledge based systems; programming environments; AMPHION; KBSE system; declarative domain theories; deductive program synthesis; domain-oriented; formal specification; formal specifications; intuitive graphical interface; reuse; software design environments; solar system kinematics; Algorithms; Application software; Artificial intelligence; Explosions; Formal specifications; Impedance; Kinematics; Software design; Solar system; Space technology;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth

Conference_Location

Monterey, CA

ISSN

1068-3062

Print_ISBN

0-8186-6380-4

Type

conf

DOI

10.1109/KBSE.1994.342678

Filename

342678