Scope
The workshop scope is component interaction and system composition: how to describe behaviour precisely enough that composition becomes a tractable engineering activity. A recurring motivation is that the most expensive failures happen at boundaries—ordering, timeouts, partial failure, and implicit coupling—so behavioural descriptions and contracts are a practical necessity, not an academic luxury.
The workshop’s technical focus can be described as the interface between modelling and workflow: choose a model, state properties, apply an analysis, and then interpret results in a way that informs design.
Themes
- Component interfaces and contractsAssume/guarantee, compatibility, and refinement for interacting components.
- Coordination and glueModels of interaction, synchronisation, scheduling, and explicit coordination mechanisms.
- Behavioural models and semanticsOperational rules, transition systems, protocol descriptions, and structured reasoning.
- Verification workflowsHow analysis fits into feasible tool chains and engineering constraints.
How to participate (guidance)
Good workshop submissions clearly separate three things: (1) the interaction model, (2) the properties of interest, and (3) the workflow that makes the analysis feasible.
- Make assumptions explicitOrdering, fairness, failure behaviour, and resource constraints should not be implicit.
- State a checkable propertySafety, liveness, compatibility, or refinement properties.
- Explain feasibilityUse abstraction, compositional structure, or tooling design to keep analysis tractable.
Related pages (internal)
- Workshop hubProgramme outline and presentation pages.
- Research hubThemes and methodology.
- NotesCompact background pages used across the site.