%% $Id: abstract.tex,v 1.2 2005/05/08 18:48:44 gokhale Exp $

\begin{abstract}
The growing reliance on services provided by software
applications places a high premium on the reliable and efficient 
operation of these applications. A number of these applications follow
the event-driven software architecture style since this style
fosters evolvability by separating the event handling from event
demultiplexing and dispatching functionality. The event 
demultiplexing capability, which appears repeatedly across a class
of event-driven applications, can be codified into a reusable
pattern, such as the Reactor pattern. In order to enable 
performability analysis of event-driven applications at design time,  
a model is needed that represents the event demultiplexing and handling 
functionality that lies at the heart of these applications. The model must also
consider failures in order to provide realistic performance 
or performability estimates. In this paper, we present a 
performability model of the Reactor pattern based 
on the well-established Stochastic Reward Net (SRN) modeling paradigm. 
We illustrate the use of the model for the 
performability analysis of the services provided by the applications
residing on mobile handheld devices. Furthermore, we describe how
the performability analysis process could be scaled and automated 
by a model-driven framework. The model-driven framework will make
the analysis approach easily accessible to software architects and
experts who may be non experts in the performability analysis 
techniques.
\end{abstract}
