The Community for Technology Leaders
Green Image
<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.Z. Meth, S. Aggarwal, D. Barbar?, "A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency", IEEE Transactions on Software Engineering, vol. 14, no. , pp. 280-290, March 1988, doi:10.1109/32.4649
53 ms
(Ver )