Archery is a language for b ehavioural mo delling of architectural patterns, supp orting hierarchical comp osition and a typ e discipline. This pap er extends Archery to cop e with the patterns' structural dimension through a set of (re-)conguration combinators and constraints that all instances of a pattern must ob ey. Both typ es and instances of architectural patterns are semantically represented as bigraphical reactive systems and op erations up on them as reaction rules. Such a bigraphical semantics provides a rigorous mo del for Archery patterns and reduces constraint verication in architectures to a typ e-checking problem.
10.1007/978-3-642-35743-5_19