Model driven performability analysis of service configurations with reliable messaging?

Laszlo Gonczy, Zsolt Deri, Daniel Varro

Research output: Conference article

3 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)61-75
Number of pages15
JournalCEUR Workshop Proceedings
Publication statusPublished - dec. 1 2008
Event4th International Workshop on Model-Driven Web Engineering, MDWE 2008 - Toulouse, France
Duration: szept. 30 2008szept. 30 2008

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Model driven performability analysis of service configurations with reliable messaging?'. Together they form a unique fingerprint.

  • Cite this