|Title:||Concurrent/Reactive System Design with Honeysuckle|
|Conference:||Communicating Process Architectures 2007|
Open Channel Publishing Ltd.
|Abstract:||Honeysuckle is a language in which to describe systems with prioritized service architecture (PSA), whereby processes communicate values and (mobile) objects deadlock-free under client-server protocol. A novel syntax for the description of service (rather than process) composition is presented and the relation to implementation discussed. In particular, the proper separation of design and implementation becomes possible, allowing independent abstraction and verification.|