@conference {SBR11,
	title = {Bigraphical Modelling of Architectural Patterns},
	booktitle = {8th International Symposium on Formal Aspects of Component Software - FACS},
	series = {Lecture Notes in Computer Science},
	volume = {7253},
	year = {2011},
	month = {September},
	pages = {313-330},
	publisher = {Springer},
	organization = {Springer},
	address = {Oslo, Norway},
	abstract = {<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{\textquoteright} 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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/facs2011.pdf},
	author = {Alejandro Sanchez and Luis Soares Barbosa and Daniel Riesco},
	editor = {Farhad Arbab and Peter Csaba {\"O}lveczky}
}