Skip to main content
Article thumbnail
Location of Repository

View-Centric Reasoning about Space-Based Middleware

By Marc L. Smith


Distributed computing systems, including those that utilize space-based middleware, present significant challenges when attempting to reason formally about their behaviors and properties. In particular, two or more computational events may occur in parallel. We introduce View-Centric Reasoning (VCR)—a set of abstractions that comprises a general framework for reasoning about parallel and distributed computation. First we extend the CSP metaphor to support traces of parallel events, rather than the traditional random interleaving of individual events. Next we introduce the concept of views to represent explicitly the multiple possible perspectives of the same parallel computation. Finally, we consider an instance of VCR for reasoning about Gelernter’s Linda language and tuple space computation, the basis for much of today’s space-based middleware. KEY WORDS distributed and parallel systems, general model, simultaneous views, reasoning

Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.