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
Volume2
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

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

Fingerprint

Computer software reusability
Synchronization
Temporal logic
Petri nets
Computer systems
Specifications

ASJC Scopus subject areas

  • Engineering(all)
  • Software
  • Industrial and Manufacturing Engineering

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 (Vol. 2, pp. 64-73). Publ by Western Periodicals Co.

Synthesis of concurrent programs : Automated reasoning complements software reuse. / Uchihira, Naoshi; Kawata, Hideji; Matsumoto, Kazunori; Ito, Mikako; Honiden, Shinichi.

Proceedings of the Hawaii International Conference on System Science. ed. / Lee W. Hoevel; Bruce D. Shriver; Jay F.Jr. Nunamaker; Ralph H.Jr. Sprague; Velijko Milutinovic. Vol. 2 Publ by Western Periodicals Co, 1990. p. 64-73.

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

Uchihira, N, Kawata, H, Matsumoto, K, Ito, M & Honiden, S 1990, Synthesis of concurrent programs: Automated reasoning complements software reuse. in LW Hoevel, BD Shriver, JFJ Nunamaker, RHJ Sprague & V Milutinovic (eds), Proceedings of the Hawaii International Conference on System Science. vol. 2, Publ by Western Periodicals Co, pp. 64-73, Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track, Kailua-Kona, HI, USA, 90/1/2.
Uchihira N, Kawata H, Matsumoto K, Ito M, Honiden S. Synthesis of concurrent programs: Automated reasoning complements software reuse. In Hoevel LW, Shriver BD, Nunamaker JFJ, Sprague RHJ, Milutinovic V, editors, Proceedings of the Hawaii International Conference on System Science. Vol. 2. Publ by Western Periodicals Co. 1990. p. 64-73
Uchihira, Naoshi ; Kawata, Hideji ; Matsumoto, Kazunori ; Ito, Mikako ; Honiden, Shinichi. / Synthesis of concurrent programs : Automated reasoning complements software reuse. Proceedings of the Hawaii International Conference on System Science. editor / Lee W. Hoevel ; Bruce D. Shriver ; Jay F.Jr. Nunamaker ; Ralph H.Jr. Sprague ; Velijko Milutinovic. Vol. 2 Publ by Western Periodicals Co, 1990. pp. 64-73
@inproceedings{2061d1ebb8d240da8102ccd040baba5e,
title = "Synthesis of concurrent programs: Automated reasoning complements software reuse",
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.",
author = "Naoshi Uchihira and Hideji Kawata and Kazunori Matsumoto and Mikako Ito and Shinichi Honiden",
year = "1990",
month = "1",
day = "1",
language = "English",
isbn = "0818620099",
volume = "2",
pages = "64--73",
editor = "Hoevel, {Lee W.} and Shriver, {Bruce D.} and Nunamaker, {Jay F.Jr.} and Sprague, {Ralph H.Jr.} and Velijko Milutinovic",
booktitle = "Proceedings of the Hawaii International Conference on System Science",
publisher = "Publ by Western Periodicals Co",

}

TY - GEN

T1 - Synthesis of concurrent programs

T2 - Automated reasoning complements software reuse

AU - Uchihira, Naoshi

AU - Kawata, Hideji

AU - Matsumoto, Kazunori

AU - Ito, Mikako

AU - Honiden, Shinichi

PY - 1990/1/1

Y1 - 1990/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0025263370&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025263370&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0025263370

SN - 0818620099

VL - 2

SP - 64

EP - 73

BT - Proceedings of the Hawaii International Conference on System Science

A2 - Hoevel, Lee W.

A2 - Shriver, Bruce D.

A2 - Nunamaker, Jay F.Jr.

A2 - Sprague, Ralph H.Jr.

A2 - Milutinovic, Velijko

PB - Publ by Western Periodicals Co

ER -