Model Transformations for Performability Analysis of Service Configurations [chapter]

László Gönczy, Zsolt Déri, Dániel Varró
2009 Lecture Notes in Computer Science  
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
more » ... alysis 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.
doi:10.1007/978-3-642-01648-6_17 fatcat:ykpbixze7zddnozd6443ednzli