Model driven performability analysis of service configurations with reliable messaging
László Gönczy, Zsolt Déri, Dániel Varró · 2008
Abstract. Due to the rapid increase in the number of available web services, more and more emphasis is put on their reliability, availability, security, etc. These non-functional requirements are frequently captured in service-level agreements between service requesters and providers. In order to meet such non-functional requirements, a service needs to be designed for reliability by making design decisions on a high, architectural level. In the paper, we present a model-driven approach for the precise analysis of service configurations with reliable messaging. Starting from high-level UML models of service configurations captured by a UML profile dedicated to service design, performability models are derived by automated model transformations for the PEPA toolkit in order to assess the cost of fault tolerance techniques in terms of performance.