Formal Modeling Of Middleware-based Distributed Systems

  • Authors:
  • Arnab Ray;Rance Cleaveland

  • Affiliations:
  • Computer Science, SUNY at Stony Brook, Stony Brook NY 11794-4400, USA;Computer Science, SUNY at Stony Brook, Stony Brook NY 11794-4400, USA

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Effective design of middleware-based systems requires modeling notations that allow the use of process-interaction schemes provided by different middleware packages directly in designs. Traditional design notations typically only support a fixed class of interprocess interaction schemes, and designers wishing to use them for modeling middleware-based systems must devote significant effort to encoding the middleware primitives in the notation. In this paper, we demonstrate how a new graphical design notation, Architectural Interaction Diagrams (AIDs), which provides parameterized support for different interaction schemes, may be used to model a real-life middleware-based system like the Event Heap coordination infrastructure of the i-Room ubiquitous computing environment.