Model Checking for Survivability
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Performance model driven QoS guarantees and optimization in clouds
CLOUD '09 Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing
DEXA '09 Proceedings of the 2009 20th International Workshop on Database and Expert Systems Application
A Model-Driven Framework for Process-Centric Business Continuity Management
QUATIC '10 Proceedings of the 2010 Seventh International Conference on the Quality of Information and Communications Technology
Translation of service level agreements: a generic problem definition
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
A Formal Approach Enabling Risk-Aware Business Process Modeling and Simulation
IEEE Transactions on Services Computing
Hi-index | 0.00 |
A Business Continuity Management (BCM) Impact Analysis derives business-level BCM SLAs which need to be translated at IT-level, infrastructure-level and facility-level services. However, translation of SLAs across a service oriented system is not an easy task. In this patent we present a new Petri-Net based procedure to define and to translate BCM SLAs for service oriented systems. As a result of our approach we are able to introduce a BCM SLA classification schema. We will describe our approach in the context of a use-case.