Tutorial: Prioritised Service Architecture using Honeysuckle

摘要

An update will be presented on the progress in establishing the Honeysuckle programming language [1] and its formal foundations. The latter are formally addressed in a paper currently under review for journal publication [2], but will be summarised. They include formal definitions of service protocol plus service network/component (SNC) and the PSA design rule (PSADR), from which a proof of a priori deadlock-freedom emerges directly. Freedom from priority conflict (and thus inversion) is also easily guaranteed. Closure in the definition of system and component guarantees true compositionality under both concurrency and prioritised alternation.