META-AMPHION: synthesis of efficient domain-specific program synthesis systems

Author

Lowry, Michael R. ; Van Baalen, Jeffrey

Author_Institution

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

fYear

1995

fDate

12-15 Nov 1995

Firstpage

2

Lastpage

10

Abstract

AMPHION is a real-world knowledge-based software engineering (KBSE) system whose program synthesis subsystem is based on deductive synthesis. AMPHION has a domain-independent generic architecture that is specialized to a domain through a declarative theory. Program synthesis has been made efficient and automatic through manual tuning of theorem-proving strategies and tactics, and careful formulation of domain theories. The META-AMPHION system is being developed to empower domain experts to develop, maintain, and evolve their own AMPHION applications. META-AMPHION is intended to be the knowledge-based analogue of application-generator generator technology. The paper describes technology for automatically transforming declarative domain theories into efficient domain-specific program synthesis systems

Keywords

application generators; automatic programming; formal specification; knowledge based systems; software maintenance; theorem proving; AMPHION application development; AMPHION application evolution; AMPHION application maintenance; META-AMPHION system; application-generator generator technology; automatic declarative domain theory transformation; declarative theory; deductive synthesis; domain experts; domain theory formulation; domain-independent generic architecture; efficient domain-specific program synthesis system synthesis; manual theorem-proving strategy tuning; manual theorem-proving tactics tuning; program synthesis subsystem; real-world knowledge-based software engineering system; Application software; Computer science; Integrated circuit synthesis; Knowledge engineering; Logic; Maintenance engineering; NASA; Space technology; Systems engineering and theory; User interfaces;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th

Conference_Location

Boston, MA

ISSN

1068-3062

Print_ISBN

0-8186-7204-8

Type

conf

DOI

10.1109/KBSE.1995.490113

Filename

490113