Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6505
Título: | Towards a coordination model for interactive systems |
Autor(es): | Barbosa, Marco António Barbosa, L. S. Campos, J. Creissac |
Palavras-chave: | Interactors Coordination models Configuration |
Data: | 2007 |
Editora: | Elsevier Science BV |
Revista: | Electronic Notes in Theoretical Computer Science |
Citação: | INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INTERACTIVE SYSTEMS, 1, Macau SAR, 2006 – “International Workshop on Formal Methods for Interactive Systems : FMIS 2006 - [S.l. : s.n.,] 2007. |
Resumo(s): | When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors present in the user interface model into a coherent system. In this paper we investigate an alternative approach to the composition of interactors for the specification of complex interactive systems which is based on the coordination paradigm. We layout the fundations for the work and present an illustrative example. Lines for future work are identified |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/6505 |
DOI: | 10.1016/j.entcs.2007.01.063 |
ISSN: | 1571-0661 |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
BBC06_lsb.pdf | Documento principal | 262,31 kB | Adobe PDF | Ver/Abrir |