Bigraphical Modelling of Architectural Patterns

Citation:
Sanchez A, Barbosa LS, Riesco D.  2011.  Bigraphical Modelling of Architectural Patterns. 8th International Symposium on Formal Aspects of Component Software - FACS. 7253:313-330.

Tertiary Title:

Lecture Notes in Computer Science

Date Presented:

September

Abstract:

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.

Citation Key:

SBR11

DOI:

10.1007/978-3-642-35743-5_19

PreviewAttachmentSize
facs2011.pdf496.23 KB