Application of structural modeling and automated reasoning to concurrent program design

S. Honiden*, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai

*この研究の対応する著者

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

An application of structual modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes an absolutely correct program and increases software productivity. The concurrent programs are described by a Prolog-based concurrent object-oriented language called MENDEL/87. The functional part of the reusable component is generated by structural modeling, and the synchronization part is synthesized from temporal-logic specifications by the use of an automated-reasoning mechanism. A description is also given of the MENDELS ZONE, implemented on a Prolog machine, which is the working base of the method.

本文言語English
ホスト出版物のタイトルProceedings of the Hawaii International Conference on System Science
編集者Bruce D. Shriver
出版社Publ by Western Periodicals Co
ページ134-141
ページ数8
ISBN(印刷版)0818619120
出版ステータスPublished - 1989
外部発表はい
イベントProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track - Kailua-Kona, Hawaii, USA
継続期間: 1989 1 31989 1 6

出版物シリーズ

名前Proceedings of the Hawaii International Conference on System Science
2
ISSN(印刷版)0073-1129

Other

OtherProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track
CityKailua-Kona, Hawaii, USA
Period89/1/389/1/6

ASJC Scopus subject areas

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

フィンガープリント

「Application of structural modeling and automated reasoning to concurrent program design」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル