Name
Abstract | ||
|---|---|---|
We have been engaged over the past few years in studying and formalizing software architecture concepts such as hierarchical design, dynamic reconfiguration and the application of the concept of aspects to software architecture descriptions. Our attention has focused on the language CommUnity, developed by Fiadeiro and Maibaum, and an extension that we call DynaComm that incorporates support for dynamic reconfiguration, hierarchical design, a general notion of connector and other supporting mechanisms. In applying DynaComm, we have found that the relationships normally used in CommUnity, i.e., regulative superposition (used to regulate the behaviour of a component) and refinement (used to instantiate a role in a higher order connector) are not sufficient for dealing with some required changes to a software architecture or a component that we would like to be able to affect. To this end, we have defined the concept of extension morphism between two components. Such morphisms do not preserve encapsulation of components, as do regulative superpositions and refinements, but they do give us substitutability, in the sense of objectoriented systems, and, hence, a basis of predictability about its application to designs. In this paper, we describe the nature of extension morphisms and illustrate their use by means of a non trivial example. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-75221-9_20 | Formal Methods and Hybrid Real-Time Systems |
Keywords | Field | DocType |
regulative superposition,hierarchical design,extension morphism,software architecture description,extension morphisms,dynamic reconfiguration,language community,software architecture,formalizing software architecture concept,higher order connector,community development,higher order | Predictability,Superposition principle,Computer science,Hierarchical design,Theoretical computer science,Software architecture,Encapsulation (computer programming),Morphism,Control reconfiguration | Conference |
Volume | ISSN | ISBN |
4700 | 0302-9743 | 3-540-75220-X |
Citations | PageRank | References |
0 | 0.34 | 21 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xiang Ling | 1 | 11 | 3.86 |
| Tom Maibaum | 2 | 281 | 31.90 |
| Nazareno Aguirre | 3 | 159 | 21.79 |