Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15258
Título: | A language for behavioural modelling of architectural patterns |
Autor(es): | Sanchez, Alejandro Barbosa, L. S. Riesco, Daniel |
Palavras-chave: | Architectural pattern Software architecture Behaviour modelling |
Data: | 2011 |
Editora: | ACM |
Resumo(s): | The complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports that behave according to a water flow metaphor. A specific language is introduced for this purpose as well as a translator to mCRL2 so that the simulation and analysis techniques available in the corresponding toolset can be used to reason about (the behavioural layer of) software architectures. The approach is illustrated in a few examples |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/15258 |
ISBN: | 9781450306171 |
DOI: | 10.1145/1993956.1993959 |
Versão da editora: | http://doi.acm.org/10.1145/1993956.1993959 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SBR2011a.pdf | 304,14 kB | Adobe PDF | Ver/Abrir |