An application of structural modeling and automated reasoning to concurrent program design

Author

Honiden, S. ; Uchihira, N. ; Matsumoto, K. ; Matsumura, K. ; Arai, M.

Author_Institution

Toshiba Corp., Kawasaki, Japan

Volume

2

fYear

1989

fDate

3-6 Jan 1989

Firstpage

134

Abstract

An application of structural modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes an absolutely correct program and increases software productivity. The concurrent programs are described by a Prolog-based concurrent object-oriented language called MENDEL/87. The functional part of the reusable component is generated by structural modeling, and the synchronization part is synthesized from temporal-logic specifications by the use of an automated-reasoning mechanism. A description is also given of the MENDELS ZONE, implemented on a Prolog machine, which is the working base of the method

Keywords

knowledge based systems; parallel programming; programming environments; software reusability; theorem proving; MENDEL/87; MENDELS ZONE; Prolog-based concurrent object-oriented language; automated reasoning; concurrent program design; intelligent software development environment; software productivity; software reuse; structural modeling; theorem-proving methods; Application software; Concurrent computing; Intelligent structures; Logic; Machine intelligence; Object oriented modeling; Productivity; Programming profession; Software engineering; Software libraries;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on

Conference_Location

Kailua-Kona, HI

Print_ISBN

0-8186-1912-0

Type

conf

DOI

10.1109/HICSS.1989.47986

Filename

47986