A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency
Issue No. 03 - March (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4649
<p>The SPANNER software environment for the specification and analysis of concurrent process coordination and resource sharing coordination is described. In the SPANNER environment, one can formally produce a specification of a distributed computing problem, and then verify its validity through reachability analysis and simulation. SPANNER is based on a finite-state machine model called the selection/resolution model. The capabilities of SPANNER are illustrated by the analysis of two classical coordination problems: (1) the dining philosophers; and (2) Dijkstra's concurrent programming problem. In addition, some of the more recently implemented capabilities of the SPANNER system are discussed, such as process types and cluster variables.</p>
software environment; specification; coordination; concurrency; SPANNER software environment; distributed computing; reachability analysis; simulation; finite-state machine model; selection/resolution model; dining philosophers; concurrent programming; cluster variables; distributed processing; parallel programming; programming environments
K. Meth, S. Aggarwal and D. Barbar?, "A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 280-290, 1988.