\begin{thebibliography}{10}\setlength{\itemsep}{-1ex}\small

\bibitem{aldred05}
L.~Aldred, W.~M.~P. van~der Aalst, M.~Dumas, and A.~H.~M. ter Hofstede.
\newblock ``{On} the notion of coupling in communication middleware''.
\newblock In {\em Proc. of Intl. Symposium on Distributed Objects and
  Applications (DOA)}, Agia Napa, Cyprus, 2005.

\bibitem{crnkovic05}
I.~Crnkovic, M.~Larsson, and O.~Preiss.
\newblock {\em Book on Architecting Dependable Systems III, R. de Lemos
  (Eds.)}, chapter ``{Concerning} predictability in dependable component-based
  systems: {Classification} of quality attributes'', pages 257--278.
\newblock Springer-Verlag, 2005.

\bibitem{Czarnecki:00}
K.~Czarnecki and U.~Eisenecker.
\newblock {\em Generative Programming: Methods, Tools, and Applications}.
\newblock Addison-Wesley, Boston, 2000.

\bibitem{Gokhale_Globecom05}
S.~Gokhale, A.~S. Gokhale, and J.~Gray.
\newblock Response time analysis of middleware event demultiplexing pattern for
  network services.
\newblock In {\em Proc. of IEEE Globecom, Advances for Networks and Internet
  Track}, St. Louis, MO, December 2005.

\bibitem{Gokhale_PMEO:06}
S.~Gokhale, P.~Vandal, U.~Praphamontripong, A.~Gokhale, and J.~Gray.
\newblock Performance analysis of the reactor pattern in network services.
\newblock In {\em Proceedings of the 5th International Workshop on Performance
  Modeling, Evaluation and Optimization of Parallel and Distributed Systems
  (PMEO-PDS 2006)}, Rhodes Island, Greece, April 2006.

\bibitem{Gray:01}
J.~Gray, T.~Bapty, and S.~Neema.
\newblock {Handling Crosscutting Constraints in Domain-Specific Modeling}.
\newblock {\em Communications of the ACM}, pages 87--93, October 2001.

\bibitem{Gray-MoDELS05a}
J.~Gray, Y.~Lin, J.~Zhang, S.~Nordstrom, A.~Gokhale, S.~Neema, and S.~Gokhale.
\newblock {Replicators: Transformations to Address Model Scalability}.
\newblock In {\em Lecture Notes in Computer Science: Proceedings of 8th
  International Conference Model Driven Engineering Languages and Systems
  (MoDELS 2005)}, pages 295--308, Montego Bay, Jamaica, Nov. 2005. Springer
  Verlag.

\bibitem{spnp-new}
C.~Hirel, B.~Tuffin, and K.~S. Trivedi.
\newblock {SPNP}: {Stochastic} {Petri} {Nets}. {Version} 6.0.
\newblock {\em Lecture Notes in Computer Science 1786}, 2000.

\bibitem{avail-vax}
O.~Ibe, A.~Sathaye, R.~Howe, and K.~S. Trivedi.
\newblock {Stochastic} {Petri} net modeling of {VAXCluster} availability.
\newblock In {\em Proc. of Third International Workshop on Petri Nets and
  Performance Models}, pages 142--151, Kyoto, Japan, 1989.

\bibitem{poll-perf}
O.~Ibe and K.~S. Trivedi.
\newblock {Stochastic} {Petri} net models of polling systems.
\newblock {\em IEEE Journal on Selected Areas in Communications},
  8(9):1649--1657, December 1990.

\bibitem{queue-perf}
O.~Ibe and K.~S. Trivedi.
\newblock {Stochastic} {Petri} net analysis of finite--population queueing
  systems.
\newblock {\em Queueing Systems: Theory and Applications}, 8(2):111--128, 1991.

\bibitem{Gokhale_DSN_PDS:06}
A.~Kogekar, D.~Kaul, A.~Gokhale, P.~Vandal, U.~P.~S. Gokhale, , and J.~Gray.
\newblock Investigating the use of model-driven generative techniques for
  middleware performance analysis.
\newblock In {\em Submitted to Dependable Networks and Systems - Performance
  and Dependability Symposium (DSN-PDS 2006)}, Philadephia, PA, June 2006.

\bibitem{GME:01}
A.~Ledeczi, A.~Bakay, M.~Maroti, P.~Volgysei, G.~Nordstrom, J.~Sprinkle, and
  G.~Karsai.
\newblock {Composing Domain-Specific Design Environments}.
\newblock {\em IEEE Computer}, pages 44--51, November 2001.

\bibitem{rel-srn}
J.~Muppala, G.~Ciardo, and K.~S. Trivedi.
\newblock {Stochastic} {reward} nets for reliability prediction.
\newblock {\em Communications in Reliability, Maintainability and
  Serviceability: An International Journal Published by SAE Internationa},
  1(2):9--20, July 1994.

\bibitem{MDA:01}
{Object Management Group}.
\newblock {\em {Model Driven Architecture (MDA)}}, {OMG Document
  ormsc/2001-07-01} edition, July 2001.

\bibitem{evol-spn}
A.~Puliafito, M.~Telek, and K.~S. Trivedi.
\newblock {The} evolution of stochastic {Petri} nets.
\newblock In {\em Proc. of World Congress on Systems Simulation}, pages 3--15,
  Singapore, September 1997.

\bibitem{ramani00}
S.~Ramani, K.~S. Trivedi, and B.~Dasarathy.
\newblock {Performance} analysis of the {CORBA} event service using stochastic
  reward nets.
\newblock In {\em Proc. of the 19th IEEE Symposium on Reliable Distributed
  Systems}, pages 238--247, October 2000.

\bibitem{Schmidt:00a}
D.~C. Schmidt, M.~Stal, H.~Rohnert, and F.~Buschmann.
\newblock {\em {Pattern-Oriented Software Architecture: Patterns for Concurrent
  and Networked Objects, Volume 2}}.
\newblock Wiley \& Sons, New York, 2000.

\bibitem{Petriu_MODELS05}
H.~Shen and D.~C. Petriu.
\newblock Performance analysis of uml models using aspect-oriented modeling
  techniques.
\newblock In {\em Proc. of Model Driven Engineering Languages and Systems
  (MoDELS 2005), Springer LNCS 3713}, pages 156--170, Montego Bay, Jamaica,
  October 2005.

\bibitem{man-perf}
H.~Sun, X.~Zang, and K.~S. Trivedi.
\newblock {A} stochastic reward net model for performance analysis of
  prioritized {DQDB} {MAN}.
\newblock {\em Computer Communications, Elsevier Science}, 22(9):858--870, June
  1999.

\bibitem{Janos:97}
J.~Sztipanovits and G.~Karsai.
\newblock {Model-Integrated Computing}.
\newblock {\em IEEE Computer}, 30(4):110--112, Apr. 1997.

\bibitem{SOA_ERL:06}
{Thomas Erl}.
\newblock {\em {Service-Oriented Architecture: Concepts, Technology, and
  Design}}.
\newblock {Prentice Hall}, 2006.

\bibitem{bbook-new}
K.~S. Trivedi.
\newblock {\em Probability and Statistics with Reliability, Queuing and
  Computer Science Applications}.
\newblock John Wiley, 2001.

\end{thebibliography}
