Synthesis of concurrent programs: Automated reasoning complements software reuse

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

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings of the Hawaii International Conference on System Science
編集者Lee W. Hoevel, Bruce D. Shriver, Jay F.Jr. Nunamaker, Ralph H.Jr. Sprague, Velijko Milutinovic
出版社Publ by Western Periodicals Co
ページ64-73
ページ数10
ISBN(印刷版)0818620099
出版ステータスPublished - 1990
外部発表はい
イベントProceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track - Kailua-Kona, HI, USA
継続期間: 1990 1 21990 1 5

出版物シリーズ

名前Proceedings of the Hawaii International Conference on System Science
2
ISSN(印刷版)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

  • コンピュータ サイエンス(全般)

フィンガープリント

「Synthesis of concurrent programs: Automated reasoning complements software reuse」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル