Publications

"Configuring Service-Oriented Systems using PEPA and AI Planning." A. J. Coles, A. I. Coles, and S. Gilmore. Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009). August 2009. Download PDF Visit website (BibTeX)

Abstract:
In this paper, we look at how two hitherto-distinct approaches to system modelling --- PEPA and AI Planning --- can be combined to provide configuration decisions for service-oriented systems. By combining the modelling of uncertainty in PEPA with the fast decision making of planning, we exploit their respective strengths. To illustrate the potential of our approach, we consider a model of a system for obtaining loan decisions from a broker, for which we produce cost-effective investment decisions to meet a desired performance target.