DocumentCode
2406154
Title
Towards an algebra of architectural connectors: a case study on synchronization for mobility
Author
Wermelinger, Michel ; Fiadeiro, José Luiz
Author_Institution
Dept. de Inf., Univ. Nova de Lisboa, Portugal
fYear
1998
fDate
16-18 Apr 1998
Firstpage
135
Lastpage
142
Abstract
To cope with the flexibility and extensibility needed for the specification of the architecture of evolving software systems, it is useful to have a set of primitive connectors from which new ones can be created in a systematic way as needs arise and to connect components only when they are required to interact. This could be achieved with a connector algebra whose constants are given primitive connectors and whose operations allow the (transient) creation of new connectors. This paper is a step towards that goal. We put forward an application-independent connector for partial action synchronization and three generic operations. Applied to the basic connector they provide application-specific connectors for inhibition and full synchronization of actions. Moreover, we associate to each connector a condition stating when it should be applied to components
Keywords
formal specification; synchronisation; algebra of architectural connectors; application-independent connector; evolving software systems; mobility; partial action synchronization; specification; synchronization; Access protocols; Algebra; Computer aided software engineering; Computer architecture; Connectors; Forward contracts; Mobile computing; Read only memory; Software architecture; Subspace constraints;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1998. Proceedings. Ninth International Workshop on
Conference_Location
Ise-Shima
Print_ISBN
0-8186-8439-9
Type
conf
DOI
10.1109/IWSSD.1998.667928
Filename
667928
Link To Document