Design in CommUnity with Extension Morphisms - Formal Methods and Hybrid Real-Time Systems - page 464

We have said very little about the new features of DynaComm, as this was unnec-
essary to talk about extensions. However, many aspects cannot be dealt with without
hierarchical designs incorporating subsystem specific dynamic reconfigurability. This
is what DynaComm sets out to provide. It also offers mechanisms to make design of
architectures easier, such as the idea of indexed actions: a family of actions that “do
the same thing” but to different elements, which can be indexed via a finite set of
names. We are developing a DynaComm Workbench on the basis of experience with
the CommUnity Workbench [37]. We are also putting together a catalogue of aspects
and methods for developing formalizations of them. In particular, we are interested in
reasoning about the applications of aspects to architectures to provide analyses for
systems built in this way.
References
1. Aguirre, N., Maibaum, T.: A Temporal Logic Approach to the Specification of Recon-
figurable Component-Based Systems. In: ASE 2002, pp. 271-274 (2002)
2. Aguirre, N., Maibaum, T.: A Logical Basis for the Specification of Reconfigurable Com-
ponent-Based Systems. In: Pezzé, M. (ed.) ETAPS 2003 and FASE 2003. LNCS,
vol. 2621, pp. 37-51. Springer, Heidelberg (2003)
3. Aguirre, N., Maibaum, T.: Some Institutional Requirements for Temporal Reasoning on
Dynamic Reconfiguration of Component Based Systems, Verification: Theory and Prac-
tice 2003, 407-435 (2003)
4. Aguirre, N.: A Logical Basis For the Specification of Reconfigurable Component Based
Systems, Ph.D. Thesis, King's College London, Department of Computer Science (2004)
5. Aguirre, N., Alencar, P., Maibaum, T.: Aspect Modularity in a High-level Program Design
Language. In: CASCON Workshop on Aspect Oriented Software Development, IBM
(2005)
6. Aguirre, N., Regis, G., Maibaum, T.: Verifying Temporal Properties of CommUnity De-
signs. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, Springer, Heidelberg
(2007)
7. Aguirre, N., Maibaum, T., Alencar, P.: Abstract Design with Aspects (submitted, 2007)
8. Aguirre, N., Maibaum, T., Alencar, P.: Extension Morphisms for CommUnity, Essays
Dedicated to Joseph A. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra,
Meaning, and Computation. LNCS, vol. 4060, pp. 173-193. Springer, Heidelberg (2006)
9. Allen, R., Garlan, D.: Formalizing Architectural Connections. In: ICSE'94, IEEE CS
Press, Los Alamitos (1994)
10. Allen, R.J.: A Formal Approach to Software Architecture, Ph.D. Thesis, Carnegie Mellon
University, School of Computer Science, available as TR# CMU-CS-97-144 (May 1997)
11. Allen, R., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Archi-
tectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 21-
37. Springer, Heidelberg (1998)
12. Bicarregui, J.C., Lano, K.C., Maibaum, T.: Towards a Compositional Interpretation of Ob-
ject Diagrams, Algorithmic Languages and Calculi, pp. 187-207. Chapman & Hall, Syd-
ney, Australia (1997)
13. Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in
dynamic software architecture specifications, Workshop on Self-Healing Systems, ACM
Digital Library (2004)