Synthesis of concurrent programs: Automated reasoning complements software reuse

Naoshi Uchihira, Hideji Kawata, Kazunori Matsumoto, Mikako Ito, Shinichi Honiden

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

3 Citations (Scopus)

Abstract

The authors describe a concurrent program synthesis system (Mendels Zone) consisting of reusable software using temporal logic and Petri nets. The concurrent program consists of nonsynchronization parts (called body parts) and synchronization parts. In Mendels Zone, the body parts are constructed with reusable software, and the synchronization parts are synthesized from temporal logic specifications. The reused software components in the body part construction do not necessarily satisfy the user's requirements because the components are retrieved only with key words. Therefore, the synchronization parts must be synthesized so as to satisfy the user's requirements, which are represented by a Petri net.

Original languageEnglish
Title of host publicationProceedings of the Hawaii International Conference on System Science
EditorsLee W. Hoevel, Bruce D. Shriver, Jay F.Jr. Nunamaker, Ralph H.Jr. Sprague, Velijko Milutinovic
PublisherPubl by Western Periodicals Co
Pages64-73
Number of pages10
ISBN (Print)0818620099
Publication statusPublished - 1990 Jan 1
Externally publishedYes
EventProceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track - Kailua-Kona, HI, USA
Duration: 1990 Jan 21990 Jan 5

Publication series

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

Other

OtherProceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track
CityKailua-Kona, HI, USA
Period90/1/290/1/5

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Synthesis of concurrent programs: Automated reasoning complements software reuse'. Together they form a unique fingerprint.

  • Cite this

    Uchihira, N., Kawata, H., Matsumoto, K., Ito, M., & Honiden, S. (1990). Synthesis of concurrent programs: Automated reasoning complements software reuse. In L. W. Hoevel, B. D. Shriver, J. F. J. Nunamaker, R. H. J. Sprague, & V. Milutinovic (Eds.), Proceedings of the Hawaii International Conference on System Science (pp. 64-73). (Proceedings of the Hawaii International Conference on System Science; Vol. 2). Publ by Western Periodicals Co.