Scenario-Based Hypersequential Programming: Concept and Example

Authors:
Naoshi Uchihira;Hideji Kawata
Affiliations:
-;-
Venue:
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Year:
1997

Citing 0
Cited 2

Scenario-Based Hypersequential Programming

International Journal of Parallel Programming - Special issue on international symposium on high performance computing 1997, part I
Hypersequential Programming: A New Way to Develop Concurrent Programs

IEEE Parallel & Distributed Technology: Systems & Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.