TY - GEN
T1 - Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
AU - Uchihira, N.
AU - Honiden, S.
N1 - Funding Information:
This research has been supported by ICOT. We would like to thank members of ICOT. We are also grateful to Sadakazu Watan- abe and Kazuo Matsumura of the Systenis & Software Engineering Laboratory, TOSHIBA Corporation, for providing continuous support. and the anonymous refrees for their kind comments.
Publisher Copyright:
© 1995 IEEE.
PY - 1995
Y1 - 1995
N2 - Examines »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 programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. The target concurrent programming language, MENDEL, is based on a high-level Petri net. Adjusted programs can be compiled into the kernel language KL1 and executed on Multi-PSI.
AB - Examines »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 programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. The target concurrent programming language, MENDEL, is based on a high-level Petri net. Adjusted programs can be compiled into the kernel language KL1 and executed on Multi-PSI.
UR - http://www.scopus.com/inward/record.url?scp=0041052434&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0041052434&partnerID=8YFLogxK
U2 - 10.1109/HICSS.1995.375522
DO - 10.1109/HICSS.1995.375522
M3 - Conference contribution
AN - SCOPUS:0041052434
T3 - Proceedings of the Annual Hawaii International Conference on System Sciences
SP - 359
EP - 368
BT - Proceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995
PB - IEEE Computer Society
T2 - 28th Annual Hawaii International Conference on System Sciences, HICSS 1995
Y2 - 3 January 1995 through 6 January 1995
ER -