Title :
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
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;
Conference_Titel :
System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI
DOI :
10.1109/HICSS.1990.205176
