A simple description language for dynamic architectures
Pages 159 - 162
References
[1]
R. Allen, R. Douence, and D. Garlan. Specifying and analyzing dynamic software architectures. In Fundumental Approaches to Sojtware Engineering, volume 1382 of LNCS, pages 21-37. Springer-Verlag, 1998.
[2]
G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, (96):217-248, 1992.
[3]
P. Inverardi and A. L. Wolf. Formal specification and analysis of software architectures using the chemical abstract machine. ZEEE Transactions on Software Engineering, 21(4):373-386, Apr. 1995.
[4]
P. Inverardi, A. L. Wolf, and D. Yankelevich. Checking assumptions in component dynamics at the architecture level. In Coordination Languages and Models, volume 1282 of LNCS, pages 46-63. Springer-Verlag, 1997.
[5]
P. Inverardi, A. L. Wolf, and D. Yankelevich. Behavioral type checking of architectural components based on assumptions. Technical Report CU-CS-861-98, Department of Computer Science, University of Colorado, Apr. 1998.
[6]
P. Inverardi and D. Yankelevich. Relating CHAM descriptions of software architectures. In Proceedings of the 8th International Workshop on SofhYare Specijication and Design, pages 66-74. IEEE Computer Society Press, 1996.
[7]
J. Kramer and J. Magee. Analysing dynamic change in software architectures: A case study. In Proceedings of the Fourth International Conference on Configurable Distributed Systems, pages 91-100. IEEE Computer Society Press, 1998.
[8]
J. Magee and J. Kramer. Dynamic structure in software architectures. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of SofIware Engineering, pages 3-14. ACM Press, 1996.
[9]
N. Medvidovic. A classification and comparison framework for software architecture description languages. Technical Report UCI-ICS-97-02, Department of Information and Computer Science, University of California, Irvine, Feb. 1997.
[10]
R. T. Monroe, D. Garlan, and D. Wile. Acme Straw- Manual, Nov. 1997.
[11]
P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proceedings of the 20th ICSE, pages 177-186. IEEE Computer Society Press, 1998.
[12]
M. Wermelinger. Software architecture evolution and the chemical abstract machine. In Zntemational Workshop on the Principles of Software Evolution, pages 93-97, Kyoto, Japan, Apr. 1998.
[13]
M. Wermelinger. Towards a chemical model for software architecture reconfiguration. In Proceedings of the Fourth International Conference on Configurable Distributed Systems, pages 11 l-l 18. IEEE Computer Society Press, 1998.
[14]
A. L. Wolf. Succeedings of the Second International Software Architecture Workshop. ACMSIGSOFTSofware Engineering Notes, 22( 1):42-56, Jan. 1997.
Index Terms
- A simple description language for dynamic architectures
Recommendations
Experiences with a simple structured programming language
SIGCSE '74: Proceedings of the fourth SIGCSE technical symposium on Computer science educationA great deal of interest has developed in structured programming [Dahl, Dijkstra, and Hoare, 1972] during the past few years. This paper is concerned with some experiences obtained in the use of a structured programming language in the computer science ...
Supporting Dynamic Software Architectures: From Architectural Description to Implementation
WICSA '15: Proceedings of the 2015 12th Working IEEE/IFIP Conference on Software ArchitectureDynamic software architectures are those that describe how components and connectors can be created, interconnected, and/or removed during system execution. Most existing architecture description languages (ADLs) provide a limited support to ...
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL
ICSEA '08: Proceedings of the 2008 The Third International Conference on Software Engineering AdvancesA key aspect of the design of any software system is its architecture. From the perspective of dependability, an effective architecture aims to build fault-free systems,i.e. ensuring fault avoidance. At the architecture level, fault avoidance is ...
Comments
Information & Contributors
Information
Published In
Copyright © 1998 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 November 1998
Check for updates
Qualifiers
- Article
Conference
SOFT98: Sixth International Symposium on the Foundations of Software Engineering
November 1 - 5, 1998
Florida, Orlando, USA
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 358Total Downloads
- Downloads (Last 12 months)41
- Downloads (Last 6 weeks)15
Reflects downloads up to 20 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in