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

N. Uchihira, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995
PublisherIEEE Computer Society
Pages359-368
Number of pages10
ISBN (Electronic)0818669306
DOIs
Publication statusPublished - 1995 Jan 1
Externally publishedYes
Event28th Annual Hawaii International Conference on System Sciences, HICSS 1995 - Wailea, United States
Duration: 1995 Jan 31995 Jan 6

Publication series

NameProceedings of the Annual Hawaii International Conference on System Sciences
Volume2
ISSN (Print)1530-1605

Conference

Conference28th Annual Hawaii International Conference on System Sciences, HICSS 1995
CountryUnited States
CityWailea
Period95/1/395/1/6

Fingerprint

Temporal logic
Computer programming
Petri nets
Computer programming languages

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Uchihira, N., & Honiden, S. (1995). Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. In Proceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995 (pp. 359-368). [375522] (Proceedings of the Annual Hawaii International Conference on System Sciences; Vol. 2). IEEE Computer Society. https://doi.org/10.1109/HICSS.1995.375522

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. / Uchihira, N.; Honiden, Shinichi.

Proceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995. IEEE Computer Society, 1995. p. 359-368 375522 (Proceedings of the Annual Hawaii International Conference on System Sciences; Vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Uchihira, N & Honiden, S 1995, Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. in Proceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995., 375522, Proceedings of the Annual Hawaii International Conference on System Sciences, vol. 2, IEEE Computer Society, pp. 359-368, 28th Annual Hawaii International Conference on System Sciences, HICSS 1995, Wailea, United States, 95/1/3. https://doi.org/10.1109/HICSS.1995.375522
Uchihira N, Honiden S. Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. In Proceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995. IEEE Computer Society. 1995. p. 359-368. 375522. (Proceedings of the Annual Hawaii International Conference on System Sciences). https://doi.org/10.1109/HICSS.1995.375522
Uchihira, N. ; Honiden, Shinichi. / Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. Proceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995. IEEE Computer Society, 1995. pp. 359-368 (Proceedings of the Annual Hawaii International Conference on System Sciences).
@inproceedings{ce033f92721a4023a42ce4fab8a7f9fa,
title = "Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE",
abstract = "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.",
author = "N. Uchihira and Shinichi Honiden",
year = "1995",
month = "1",
day = "1",
doi = "10.1109/HICSS.1995.375522",
language = "English",
series = "Proceedings of the Annual Hawaii International Conference on System Sciences",
publisher = "IEEE Computer Society",
pages = "359--368",
booktitle = "Proceedings of the 28th Annual Hawaii International Conference on System Sciences, HICSS 1995",

}

TY - GEN

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

AU - Uchihira, N.

AU - Honiden, Shinichi

PY - 1995/1/1

Y1 - 1995/1/1

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

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

ER -