Bigraphical modelling of architectural patterns

• Autor(es): Sanchez, Alejandro ; Barbosa, L. S. ; Riesco, Daniel
• Data: 2011
• Identificador Persistente: http://hdl.handle.net/1822/15588
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Bigraphs; Software architecture
• Tipo de Documento: Artigo
• Idioma: Inglês

Descrição

Selected for publication in FACS'2011 post-proceedings, to appear in Springer Lecture Notes in Computer Science Archery is a language for behavioural modelling of architectural patterns, supporting hierarchical composition and a type discipline. This paper extends Archery to cope with the patterns' structural dimension through a set of (re-)configuration combinators and constraints that all instances of a pattern must obey. Both types and instances of architectural patterns are semantically represented as bigraphical reactive systems and operations upon them as reaction rules. Such a bigraphical semantics provides a rigorous model for Archery patterns and reduces constraint verification in architectures to a type-checking problem.