In: International Journal of Parallel Programming, Volume 28, Issue 2, pages 155-157. Kluwer Academic Publishers, April 2000.
Abstract: Hypersequential programming is a new paradigm of concurrent programming. The original concurrent program is first serialized, then the sequential version is tested and debugged, and finally the target concurrent program is synthesized by parallelizing the debugged sequential version. In hypersequential programming, testing and debugging are performed on the sequential version of the program and the correctness is preserved in the subsequent parallelization process. Therefore, it offers both higher productivity and enhanced reliability. This paper describes a practical approach to hypersequential programming using the execution history called scenario. It also formalizes the parallelization process using a new equivalence relation called scenario graph equivalence, and gives the parallelization algorithm.
Keywords: Petri net; communicating transition systems; concurrent programming; debugging; hypersequential programming; parallelization; scenario; testing; timing tranquilizer.