Scenario-based hypersequential programming: concept and example

Hypersequential programming is a new paradigm of concurrent programming in which the original concurrent program is first serialized, then tested and debugged as a sequential program, and finally restored into the target concurrent program by parallelization. Both high productivity and reliability are achieved by hypersequential programming because testing and debugging are done for the serialized version and correctness of the serialized program is preserved during subsequent parallelization. This paper proposes a practical embodiment of hypersequential programming based on a sequential execution history, called a scenario, and explains how it works using a simple example