Prioritised Service Architecture
Ian Robert East · 2004
Previously, Martin (1) gave formal conditions under which a simple design rule guarantees deadlock-freedom in a system with service (client-server) architecture. Both conditions and design rule may be statically verfied. Here, they are re-arranged to define service protocol, service network (system), and service network component, which together form a model for system abstraction. Adding mutual exclusion of service provision and dependency between service connections enriches abstraction and is shown to afford compositionality. Prioritised alternation of service provision further enriches abstraction while retaining deadlock-freedom and denying priority conflict, given appropriate new design rules. 1 Abstraction and Design This work is predicated on the belief that abstraction is paramount in the engineering of any system. Abstraction must capture system behaviour and provide for reduction via design. Compositionality is therefore an essential consequence of the definition of system and com- ponent. Every system must form a valid component (for composition) and every component a valid system (for decomposition).