Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE

Naoshi Uchihira*, Shinichi Honiden

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

研究成果: Article査読

4 被引用数 (Scopus)

抄録

In this paper, we examine "program adjustment", a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into the kernel language (KL1) and executed on Multi-PSI.

本文言語English
ページ(範囲)207-221
ページ数15
ジャーナルJournal of Systems and Software
33
3 SPEC. ISS.
DOI
出版ステータスPublished - 1996 6月
外部発表はい

ASJC Scopus subject areas

  • ソフトウェア
  • 情報システム
  • ハードウェアとアーキテクチャ

フィンガープリント

「Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル