Model transformations for performability analysis of service configurations

Abstract

As more and more business-critical systems are based upon services deployed over .exible and dynamic platformslike Service-Oriented Architecture (SOA), there is an increasing need for such services to meet their non-functional requirements like reliability, availability, security, etc. To achieve such objectives, these services need tobe designed carefullymaking critical design decisions early in the development process on an architectural level. In the current paper, we aim at carrying out a performability analysis of service con.gurations to estimate the cost of using reliable messaging techniques for services with respect to performance. Such an analysis is enabled by automated model transformations carried out within the VIATRA2 framework.