|
 ABSTRACT
Much of the recent work on Architecture Description Languages (ADL) has concentrated on specifying organisations of components and connectors which are static. When the ADL specification is used to drive system construction, then the structure of the resulting system in terms of its component instances and their interconnection is fixed. This paper examines ADL features which permit the description of dynamic software architectures in which the organisation of components and connectors may change during system execution.The paper outlines examples of language features which support dynamic structure. These examples are taken from Darwin, a language used to describe distributed system structure. An operational semantics for these features is presented in the π-calculus, together with a discussion of their advantages and limitations. The paper discusses some general approaches to dynamic architecture description suggested by these examples.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
B. Agnew, C. Hofmeister, J. Purtilo, Planning for Change: a Reconfiguration Lunguage for Distributed Systems, Distributed Systems Engineering Journal, Vol. l, No.5., pp 313-322.
|
| |
2
|
|
| |
3
|
M. Barbacci, C. Weinstock, D, Doubleday, M. Gardner and R Lichota, Durra: a structure description language for developing distributed applications, IEE Software Engineering Journal, Vol. 8, No. 2, March 1993, pp 83-94
|
| |
4
|
|
| |
5
|
T. Coatta and G. Neufeld, Distributed Configuration Management using Composite Objects and Constraints, Distributed Systems Engineering Journal, Vol. 1, No. 5., pp 294-303.
|
| |
6
|
S. Crane , N. Dulay , H. Fosså , J. Kramer , J. Magee , M. Sloman , K. Twidle, Configuration management for distributed software services, Proceedings of the fourth international symposium on Integrated network management IV, p.29-42, January 1995
|
| |
7
|
David Garlan , Dewayne Perry, Software architecture: practice, potential, and pitfalls, Proceedings of the 16th international conference on Software engineering, p.363-364, May 16-21, 1994, Sorrento, Italy
|
 |
8
|
|
| |
9
|
|
| |
10
|
D. Garlan, M Shaw, An Introduction to Software Architecture, in Advances in Software Engineering and Knowledge Engineering, Vol. I, ed. Ambriola and Tortora, World Scientific Publishing Co., 1993.
|
| |
11
|
Harter A., Hopper A., A Distributed Location System for the Active Office, IEEE Network, Jan./Feb. 1994, pp. 62-70.
|
| |
12
|
|
| |
13
|
|
| |
14
|
|
| |
15
|
|
| |
16
|
David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995
[doi> 10.1109/32.385971]
|
| |
17
|
|
| |
18
|
J. Magee, N. Dulay and J. Kramer, Structuring Parallel and Distributed Programs, IEE Software Engineering Journal, Vol. 8, No.2, March 1993, pp73-82.
|
| |
19
|
J.Magee, N. Dulay, J. Kramer, Regis: A Constructive Development Environment for Distributed Programs, Distributed Systems Engineering Journal, Vol. 1, No. 5., pp 304-312.
|
| |
20
|
|
| |
21
|
|
| |
22
|
R. Milner, The polyadic \pi-calculus: a tutorial, in Logic and Algebra of Specification, ed. F.L. Bauer, W. Brauer and H. Schwichttenberg, Springer Verlag, 1993, pp203-246.
|
| |
23
|
|
| |
24
|
|
| |
25
|
|
| |
26
|
|
| |
27
|
James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
|
| |
28
|
Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995
[doi> 10.1109/32.385970]
|
| |
29
|
The Common Object Request Broker: Architecture and Specification, Object Management Goup, Document OMG 91.12.1, December 1991.
|
| |
30
|
A.J. Young, and J. N. Magee, A Flexible Approach to Evolution of Reconjigurable Systems, Proc. of 1st IEE Int. Workshop on Configurable Distributed Systems, London, March 1992, pp 152-163.
|
CITED BY 69
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jason E. Robbins , Nenad Medvidovic , David F. Redmiles , David S. Rosenblum, Integrating architecture description languages with a standard design method, Proceedings of the 20th international conference on Software engineering, p.209-218, April 19-25, 1998, Kyoto, Japan
|
|
|
|
|
|
Dan Hirsch , Paolo Inverardi , Ugo Montanari, Graph grammars and constraint solving for software architecture styles, Proceedings of the third international workshop on Software architecture, p.69-72, November 01-05, 1998, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
Kevin Sullivan , John C. Knight , Xing Du , Steve Geist, Information survivability control systems, Proceedings of the 21st international conference on Software engineering, p.184-192, May 16-22, 1999, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jeremy S. Bradbury , James R. Cordy , Juergen Dingel , Michel Wermelinger, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.28-33, October 31-November 01, 2004, Newport Beach, California
|
|
|
|
|
|
|
|
|
Nenad Medvidovic , David S. Rosenblum , Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alexander S. Yeh , David R. Harris , Melissa P. Chase, Manipulating recovered software architecture views, Proceedings of the 19th international conference on Software engineering, p.184-194, May 17-23, 1997, Boston, Massachusetts, United States
|
|
|
Lieven Desmet , Nico Janssens , Sam Michiels , Frank Piessens , Wouter Joosen , Pierre Verbaeten, Towards preserving correctness in self-managed software systems, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.34-38, October 31-November 01, 2004, Newport Beach, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Georg Jung , John Hatcliff, A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Peyman Oreizy , Nenad Medvidovic , Richard N. Taylor, Runtime software adaptation: framework, approaches, and styles, Companion of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
|
|
|
|
|
|
|
|
|
N. Bencomo , G. Blair , P. Grace, Models, reflective mechanisms and family-based systems to support dynamic configuration, Proceedings of the 1st workshop on MOdel Driven Development for Middleware (MODDM '06), p.1-6, November 27-December 01, 2006, Melbourne, Australia
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jeffrey J. P. Tsai , Alan Liu , Eric Juan , Avinash Sahay, Knowledge-Based Software Architectures: Acquisition, Specification, and Verification, IEEE Transactions on Knowledge and Data Engineering, v.11 n.1, p.187-201, January 1999
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2