Repository logo
 
Publication

Semantics of Transient Connectors in Rewriting Logic

dc.contributor.authorFiadeiro, Josépor
dc.contributor.authorWermelinger, Michelpor
dc.contributor.authorMeseguer, Josépor
dc.date.accessioned2009-02-10T13:11:49Zpor
dc.date.accessioned2014-11-14T16:24:15Z
dc.date.available2009-02-10T13:11:49Zpor
dc.date.available2014-11-14T16:24:15Z
dc.date.issued1998-12por
dc.description.abstractResearch 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 connectorspor
dc.identifier.urihttp://hdl.handle.net/10451/14266por
dc.identifier.urihttp://repositorio.ul.pt/handle/10455/2964por
dc.language.isoporpor
dc.publisherDepartment of Informatics, University of Lisbonpor
dc.relation.ispartofseriesdi-fcul-tr-98-9por
dc.subjectpor
dc.titleSemantics of Transient Connectors in Rewriting Logicpor
dc.typereport
dspace.entity.typePublication
rcaap.rightsopenAccesspor
rcaap.typereportpor

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
98-9.pdf
Size:
97.81 KB
Format:
Adobe Portable Document Format