Model Driven Performability Analysis of Service Congurations with Reliable Messaging

Regional Carbon Sequestration Partnerships Initiative Review Meeting

Laszlo Gonczy ; Zsolt Deri ; Daniel Varro

Others  :  http://CEUR-WS.org/Vol-389/paper05.pdf
PID  :  3318

来源: CEUR

【 摘 要 】

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 congurations with reliable messaging. Starting from high-level UML models of service congurations captured by a UML prole 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.