Synthesis of concurrent programs: automated reasoning complements software reuse

Author

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

Author_Institution

Toshiba Corp., Kawasaki, Japan

Volume

ii

fYear

1990

fDate

2-5 Jan 1990

Firstpage

64

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

Keywords

Petri nets; formal logic; formal specification; parallel programming; programming environments; software reusability; synchronisation; Mendels Zone; Petri nets; automated reasoning; body parts; concurrent programs; key words; software reuse; specifications; synchronization parts; temporal logic; Application software; Automatic programming; Indium tin oxide; Large-scale systems; Logic programming; Productivity; Programming environments; Software reusability; Software systems; Systems engineering and theory;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on

Conference_Location

Kailua-Kona, HI

Type

conf

DOI

10.1109/HICSS.1990.205176

Filename

205176