\input zb-basic \input zb-ioport \iteman{io-port 05979959} \itemau{Winkler, Ulrich; Gilani, Wasif} \itemti{SLA translations with a model-driven business impact analyses framework.} \itemso{Abramowicz, Witold (ed.) et al., Towards a service-based internet. 4th European conference, ServiceWave 2011, Poznan, Poland, October 26--28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24754-5/pbk). Lecture Notes in Computer Science 6994, 309-310 (2011).} \itemab Summary: A Business Continuity Management (BCM) Impact Analysis derives business-level BCM Service Level Agreements (SLAs) which need to be translated at service-level, infrastructure-level and facility-level. However, translation and optimization of SLAs across a large and distributed service-oriented system is not an easy task. In this demo we will present our stochastic-Petri-net based approach to automatically translate and optimize BCM SLAs for large service oriented systems. We will do the demo in the context of a business use-case. \itemrv{~} \itemcc{} \itemut{SLA translation; business continuity management} \itemli{doi:10.1007/978-3-642-24755-2\_29} \end