@article {12805,
	title = {Formal Modeling Of Middleware-based Distributed Systems},
	journal = {Electronic Notes in Theoretical Computer Science},
	volume = {108},
	year = {2004},
	month = {2004/12/13/},
	pages = {21 - 37},
	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.},
	keywords = {distributed systems, Formal Methods, Middleware, Software architecture},
	isbn = {1571-0661},
	doi = {10.1016/j.entcs.2004.01.010},
	url = {http://www.sciencedirect.com/science/article/pii/S1571066104051989},
	author = {Ray,Arnab and Cleaveland, Rance}
}
