Enabling the Analysis of Successful and Safe Transition between Service Cores for Service-Based System Survivability

This paper proposes an analysis approach for service-based system survivability, in which the properties of service core transitions, i.e. success (the newly started services in the resulting service core function properly) and safety (the formerly started services in the starting service core are not damaged) can be reasoned. The presented concepts and theoretic results lay a generic theoretic foundation for survivability analysis. An example called mobile video conference (MVC) is illustrated how to use the approach to reason the properties of service core transitions in practice.