Author(s):
Sanchez, Alejandro 
; Barbosa, L. S. ; Riesco, Daniel
Date: 2011
Persistent ID: http://hdl.handle.net/1822/15588
Origin: RepositóriUM - Universidade do Minho
Subject(s): Bigraphs; Software architecture
Document details
Bigraphical modelling of architectural patterns
Description
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.
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.
Document Type
Article
Language English
Language English
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||