Architecture-level Dependence Analysis for Software Systems

TitleArchitecture-level Dependence Analysis for Software Systems
Publication TypeJournal Article
Year of Publication2001
AuthorsStafford, J. A., D. J. Richardson, and A. L. Wolf
JournalInternational Journal of Software Engineering and Knowledge Engineering
Date PublishedAugust
Keywordsadl, architectural analysis, software architecture

Software architecture description languages provide a means to formally describe software systems at a high level of abstraction. They capture the high-level structure and/or behavior of the system, thus providing a basis for course-grain static analyses. Dependence analysis has been used as a basis for program optimization, debugging, and testing. We are developing a dependence analysis technique, called chaining, for use with formal architectural descriptions, and implementing the technique in a tool called Aladdin.