Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15588
Título: | Bigraphical modelling of architectural patterns |
Autor(es): | Sanchez, Alejandro Barbosa, L. S. Riesco, Daniel |
Palavras-chave: | Bigraphs Software architecture |
Data: | 2012 |
Editora: | Springer Verlag |
Revista: | Lecture notes in Computer Science |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
Descrição: | Selected for publication in FACS'2011 post-proceedings, to appear in Springer Lecture Notes in Computer Science |
URI: | https://hdl.handle.net/1822/15588 |
ISBN: | 9783642357428 |
DOI: | 10.1007/978-3-642-35743-5_19 |
ISSN: | 0302-9743 |
Versão da editora: | The original publication will be available at www.springerlink.com |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SBBb2011.pdf | 496,23 kB | Adobe PDF | Ver/Abrir |