Synthesis of concurrent programs: Automated reasoning complements software reuse

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

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月 2 → 1990 1月 5

出版物シリーズ

名前	Proceedings of the Hawaii International Conference on System Science
巻	2
ISSN（印刷版）	0073-1129

Other

Other	Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track
City	Kailua-Kona, HI, USA
Period	90/1/2 → 90/1/5

ASJC Scopus subject areas

コンピュータサイエンス（全般）

他のファイルとリンク

引用スタイル

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.

Synthesis of concurrent programs: Automated reasoning complements software reuse. / Uchihira, Naoshi; Kawata, Hideji; Matsumoto, Kazunori その他.
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. Publ by Western Periodicals Co, 1990. p. 64-73 (Proceedings of the Hawaii International Conference on System Science; Vol. 2).

研究成果: Conference 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. 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. Publ by Western Periodicals Co. 1990. p. 64-73. (Proceedings of the Hawaii International Conference on System Science).

Uchihira, Naoshi ; Kawata, Hideji ; Matsumoto, Kazunori その他. / 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. Publ by Western Periodicals Co, 1990. pp. 64-73 (Proceedings of the Hawaii International Conference on System Science).

@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",

language = "English",

isbn = "0818620099",

series = "Proceedings of the Hawaii International Conference on System Science",

publisher = "Publ by Western Periodicals Co",

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",

note = "Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track ; Conference date: 02-01-1990 Through 05-01-1990",

}

TY - GEN

T1 - Synthesis of concurrent programs

T2 - Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track

AU - Uchihira, Naoshi

AU - Kawata, Hideji

AU - Matsumoto, Kazunori

AU - Ito, Mikako

AU - Honiden, Shinichi

PY - 1990

Y1 - 1990

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

T3 - Proceedings of the Hawaii International Conference on System Science

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

Y2 - 2 January 1990 through 5 January 1990

ER -

Synthesis of concurrent programs: Automated reasoning complements software reuse

抄録

出版物シリーズ

Other

ASJC Scopus subject areas

他のファイルとリンク

フィンガープリント

引用スタイル