db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%T Prioritised Service Architecture
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Ian R. East
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X Previously, Martin 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 verified. 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.