Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14266
Título: Semantics of Transient Connectors in Rewriting Logic
Autor: Fiadeiro, José
Wermelinger, Michel
Meseguer, José
Palavras-chave: 
Data: Dez-1998
Editora: Department of Informatics, University of Lisbon
Relatório da Série N.º: di-fcul-tr-98-9
Resumo: Research in Software Architectures has put forward the concept of connector to express complex relationships between system components, thus facilitating the separation of coordination from computation. A system can then be understood, at a given level of abstraction, in terms of its components and the connectors that establish how they interact. However, for systems in which many interconnections exist between their components, the architectures themselves may become very complex due to the high number of connectors in place. This is especially true in the context of mobile systems in which the interconnections are, by nature, transient in the sense that, at a given instant of time, only a subset of the potential connectors are actually effective. In this paper, we formalise a notion of transient connector that allows, at any given moment, for the architecture to depict only the connectors that are active and, in this way, capture the dynamics of architectures themselves. Our approach is based on the use of Community, a Unity-like program design language that has a semantics in Category Theory, and rewriting logic as a means of capturing the dynamic aspects of connectors
URI: http://hdl.handle.net/10451/14266
http://repositorio.ul.pt/handle/10455/2964
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
98-9.pdf97,81 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.