Application of structural modeling and automated reasoning to concurrent program design

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

An application of structual 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.

Original languageEnglish
Title of host publicationProceedings of the Hawaii International Conference on System Science
EditorsBruce D. Shriver
PublisherPubl by Western Periodicals Co
Pages134-141
Number of pages8
ISBN (Print)0818619120
Publication statusPublished - 1989 Dec 1
Externally publishedYes
EventProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track - Kailua-Kona, Hawaii, USA
Duration: 1989 Jan 31989 Jan 6

Publication series

NameProceedings of the Hawaii International Conference on System Science
Volume2
ISSN (Print)0073-1129

Other

OtherProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track
CityKailua-Kona, Hawaii, USA
Period89/1/389/1/6

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Application of structural modeling and automated reasoning to concurrent program design'. Together they form a unique fingerprint.

  • Cite this

    Honiden, S., Uchihira, N., Matsumoto, K., Matsumura, K., & Arai, M. (1989). Application of structural modeling and automated reasoning to concurrent program design. In B. D. Shriver (Ed.), Proceedings of the Hawaii International Conference on System Science (pp. 134-141). (Proceedings of the Hawaii International Conference on System Science; Vol. 2). Publ by Western Periodicals Co.