Abstract
As the focus of software design shifts increasingly toward the architectural level, so too are its analysis techniques. Dependence analysis is one such technique that shows promise at this level. In this paper we briefly describe and illustrate the application of dependence analysis to architectural descriptions of software systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications. IEEE Transactions on Software Engineering (to appear)
Feather, M.S.: Rapid Application of Lightweight Formal Methods for Consistency Analyses. IEEE Transactions on Software Engineering 24(11), 949–959 (1998)
Gansner, E.R., Koutsofios, E., North, S.C., Vo, K.-P.: A Technique for Drawing Directed Graphs. IEEE Transactions on Software Engineering 19(3), 214–230 (1993)
Garlan, D., Monroe, R., Wile, D.: ACME: An Architecture Description Interchange Language. In: Proceedings of CASCON 1997. IBM Center for Advanced Studies, November 1997, pp. 169–183 (1997)
Jackson, D., Wing, J.M.: Lightweight Formal Methods. Computer 29(4), 21–22 (1996)
Podgurski, A., Clarke, L.A.: A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance. IEEE Transactions on Software Engineering 16(9), 965–979 (1990)
Stafford, J.A.: A Formal, Language-Independent, and Compositional Approach to Control Dependence Analysis. PhD thesis, University of Colorado, Boulder, Colorado, USA (August 2000)
Stafford, J.A., Wolf, A.L.: Architecture-Level Dependence Analysis in Support of Software Maintenance. In: Proceedings of the Third International Software Architecture Workshop, November 1998, pp. 129–132 (1998)
Stafford, J.A., Wolf, A.L.: Architecture-Level Dependence Analysis for Software Systems. International Journal of Software Engineering and Knowledge Engineering 11(4), 431–452 (2001)
RAPIDE Design Team. Draft: Guide to the Rapide 1.0 Language Reference Manuals (July 1997)
RAPIDE Design Team. Draft: Rapide 1.0 Architecture Language Reference Manual (July 1997)
RAPIDE Design Team. Draft: Rapide 1.0 Pattern Language Reference Manual (July 1997)
Vestal, S.: MetaH Programmer’s Manual Version 1.27. Honeywell, Inc., Minneapolis, MN (1998)
Vieira, M.E.R., Dias, M.S., Richardson, D.J.: Analyzing Software Architectures with Argus-I. In: Proceedings of the 2000 International Conference on Software Engineering. Association for Computer Machinery, June 2000, pp. 758–761 (2000)
Zhao, J.: Using Dependence Analysis to Support Software Architecture Understanding. In: New Technologies on Computer Software, pp. 135–142 (September 1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stafford, J.A., Wolf, A.L., Caporuscio, M. (2003). The Application of Dependence Analysis to Software Architecture Descriptions. In: Bernardo, M., Inverardi, P. (eds) Formal Methods for Software Architectures. SFM 2003. Lecture Notes in Computer Science, vol 2804. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39800-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-39800-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20083-3
Online ISBN: 978-3-540-39800-4
eBook Packages: Springer Book Archive