Towards a chemical model for software architecture reconfiguration
Towards a chemical model for software architecture reconfiguration
- Author(s): M. Wermelinger
- DOI: 10.1049/ip-sen:19982294
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): M. Wermelinger 1
-
-
View affiliations
-
Affiliations:
1: Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, Monte da Caparica, Portugal
-
Affiliations:
1: Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, Monte da Caparica, Portugal
- Source:
Volume 145, Issue 5,
October 1998,
p.
130 – 136
DOI: 10.1049/ip-sen:19982294 , Print ISSN 1462-5970, Online ISSN 1463-9831
The chemical abstract machine is a general-purpose, simple, and intuitive progranning model. Among other domains, it has been used for the specification and analysis of the computational behaviour of software architectures. In this paper we explore the ability of the formalism to express the dynamics of the architecture itself and to unify different approaches to reconfiguration within a single framework.
Inspec keywords: rewriting systems; software architecture; grammars; reconfigurable architectures
Other keywords:
Subjects: Programming and algorithm theory; Formal languages and computational linguistics
References
-
-
1)
- Wermelinger, M.: `A hierarchic architecture model for dynamic reconfiguration', Proceedings of the second international workshop on Softwareengineering for parallel and distributed systems, 1997, IEEE Computer Society Press, p. 243–254.
-
2)
- J.-P. Banâtre , A. Coutant , D. Le Métayer . A parallel machine for multiset transformation and its programming style. Future Generation Syst. , 133 - 144
-
3)
- Creveuil, C.: `Techniques d'analyse et de mise en œuvre des programmes Gamma', 1991, PhD, University of Rennes.
-
4)
- G. Berry , G. Boudol . The chemical abstract machine. Theor. Comp. Sci. , 217 - 248
-
5)
- P. Inverardi , A.L. Wolf , D. Yankelevich . (1997) Checking assumptions in component dynamics at the architecture level, Coordination languages and models.
-
6)
- Young, A.J., Magee, J.N.: `A flexible approach to evolution of reconfigurable systems', Proceedings of the first international workshop on Configurabledistributed systems, 1992, IEE, p. 152–163.
-
7)
- Meseguer, J.: `Rewriting logic as a semantic framework for concurrency: a progress report', Proceedings of the 7th international conference on Concurrencytheory, 1996, 1119 LNCS, Springer-Verlag, p. 331–372.
-
8)
- Endler, M.: `A language for implementing generic dynamic reconfigurationsof distributed programs', Proceedings of the 12th Brazilian symposium on Computernetworks, 1994, p. 175–187.
-
9)
- Inverardi, P., Yankelevich, D.: `Relating CHAM descriptions of software architectures', Proceedings of the 8th international workshop on Softwarespecification and design, 1996, IEEE Computer Society Press, p. 66–74.
-
10)
- Kramer, J., Magee, J.: `Self organising software architectures', Joint proceedings of the SIGSOFT'96 workshops, 1996, ACM Press, p. 35–38.
-
11)
- J.-P. Banâtre , D. Le Métayer , J.-M. Andreoli , C. Hankin , D. Le Métayer . (1996) Gamma and the chemical reaction model: ten years after, Coordination programming: mechanisms, models and semantics.
-
12)
- Clavel, M., Eker, S., Lincoln, P., Meseguer, J.: `Principles of Maude', Proceedings of the first international workshop on Rewritinglogic, 1996, 4, Elsevier, p. 65–89Electr. Notes in Theor. Comp. Sci., .
-
13)
- D. Le Métayer . Describing software architecture styles using graph grammars. IEEE Trans. , 7 , 521 - 553
-
14)
- B. Agnew , C. Hofmeister , J. Purtilo . Planning for change: a reconfiguration language for distributed systems. Distrib. Syst. Eng. , 5 , 313 - 322
-
15)
- A.L. Wolf . Succeedings of the second international software architecture workshop. ACM SIGSOFT Software Engineering Notes , 1 , 42 - 56
-
16)
- Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Vittek, M.: `ELAN: A logical framework based on computational systems', Proceedings of the first international workshop on Rewritinglogic, 1996, 4Elsevier, Electr. Notes in Theor. Comp. Sci., .
-
17)
- P. Inverardi , A.L. Wolf . Formal specification and analysis ofsoftware architectures using the chemical abstract machine. IEEE Trans. , 4 , 373 - 386
-
18)
- J. Kramer , J. Magee . The evolving philosophers problem: dynamic change management. IEEE Trans. , 11 , 1293 - 1306
-
19)
- Wermelinger, M.: `A simple description language for dynamic architectures', Proceedings of the third international Software architectureworkshop, 1998, ACM Press, p. 159–162.
-
20)
- Goudarzi, K.M., Kramer, J.: `Maintaining node consistency in the face of dynamic change', Proceedings of the third international conference on Configurabledistributed systems, 1996, IEEE Computer Society Press, p. 62–69.
-
1)