The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1988 vol.14)
pp: 280-290
ABSTRACT
<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>
INDEX TERMS
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
CITATION
S. Aggarwal, D. Barbar?, K.Z. Meth, "A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency", IEEE Transactions on Software Engineering, vol.14, no. 3, pp. 280-290, March 1988, doi:10.1109/32.4649
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool