Title :
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
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;
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
DOI :
10.1109/HICSS.1989.47986
