%0 Conference Paper
%B 8th International Symposium on Formal Aspects of Component Software - FACS
%D 2011
%T Bigraphical Modelling of Architectural Patterns
%A Alejandro Sanchez
%A Luis Soares Barbosa
%A Daniel Riesco
%E Farhad Arbab
%E Peter Csaba Ölveczky
%C Oslo, Norway
%I Springer
%P 313-330
%S Lecture Notes in Computer Science
%V 7253
%X <p>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.</p>
%8 September
%> https://haslab.uminho.pt/sites/default/files/lsb/files/facs2011.pdf