Service availability in concurrent systems - Part I: A theory of hierarchical services of interacting processes
A novel formal model is introduced that is tailored to the treatment of the service availability problem in concurrent systems. This model, called hierarchical services of interacting processes (HSIP), incorporates the hierarchy of services, processes, shared variables, and dense time to reason about services quantitatively. The underlying concept is that a service, via its hierarchy, relates to a number of so-called 'atomic services' at the bottom of the hierarchy that are the outcomes of actions having no subaction within. The services in a hierarchy are the results Mof processes acting and interacting with each other to provide the service at the top of the hierarchy. These processes can completely be described by actions resulting in atomic services. The main features of HSIP are twofold. First, through this model, a wide range of quasi-isolated problems such as mutual exclusion, system reconfiguration, fault tolerance, resource allocation, denial of service, and quality of service can be stated and analyzed in a cohesive manner. Second, it retains the use of shared variables, but resolves the main shortcoming of the shared-variable approach, which is the implicitness of interactions among system components.
service availability concurrent systems axiomatic method requirement specification