Formal Modeling Of Middleware-based Distributed Systems

TitleFormal Modeling Of Middleware-based Distributed Systems
Publication TypeJournal Articles
Year of Publication2004
AuthorsRay A, Cleaveland R
JournalElectronic Notes in Theoretical Computer Science
Pagination21 - 37
Date Published2004/12/13/
ISBN Number1571-0661
Keywordsdistributed systems, Formal Methods, Middleware, Software architecture

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.