{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:04Z","timestamp":1759033204598},"reference-count":20,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2001,8]]},"abstract":"<jats:p>The emergence of formal software architecture description languages provides an opportunity to perform analyses at high levels of abstraction, as well as early in the development process. Previous research has primarily focused on developing techniques such as algebraic and transition-system analysis to detect component mismatches or global behavioral incorrectness. In this paper we motivate the utility and describe the challenges in developing a different kind of analysis for use at the architectural level, namely dependence analysis. Various kinds of dependence analyses have been used widely at the implementation level to aid program optimization, anomaly checking, program understanding, testing, and debugging. However, the languages used for architectural description offer quite different features than the languages for which traditional dependence analysis techniques have been developed. We describe our initial approach to architecture-level dependence analysis and illustrate that approach through a prototype tool we have built, called Aladdin, to automatically perform the analysis.<\/jats:p>","DOI":"10.1142\/s021819400100061x","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:00:37Z","timestamp":1027767637000},"page":"431-451","source":"Crossref","is-referenced-by-count":48,"title":["ARCHITECTURE-LEVEL DEPENDENCE ANALYSIS FOR SOFTWARE SYSTEMS"],"prefix":"10.1142","volume":"11","author":[{"given":"JUDITH A.","family":"STAFFORD","sequence":"first","affiliation":[{"name":"Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ALEXANDER L.","family":"WOLF","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Colorado, Boulder, CO 80309, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1145\/390013.808479"},{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1145\/197405.197406"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019411"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1145\/174662.174663"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48294-6_1"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352593"},{"key":"p_18","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/277631.277638","author":"Krinke J.","year":"1998","journal-title":"Proc. ACM SIGPLAN\/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Association for Computing Machinery"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"key":"p_22","first-page":"137","author":"Magee J.","year":"1995","journal-title":"Proc. Fifth European Software Engineering Conference, in Lecture Notes in Computer Science, Springer-Verlag"},{"issue":"3","key":"p_24","first-page":"262","volume":"5","author":"Murhpy G. C.","year":"1997","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.1109\/32.286418"},{"key":"p_27","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"key":"p_28","doi-asserted-by":"publisher","DOI":"10.1109\/32.58784"},{"key":"p_31","doi-asserted-by":"publisher","DOI":"10.1109\/32.877846"},{"key":"p_36","doi-asserted-by":"publisher","DOI":"10.1145\/288408.288441"},{"key":"p_38","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"p_39","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2000.827330"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819400100061X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,6]],"date-time":"2024-01-06T01:46:20Z","timestamp":1704505580000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819400100061X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":20,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2001,8]]}},"alternative-id":["10.1142\/S021819400100061X"],"URL":"https:\/\/doi.org\/10.1142\/s021819400100061x","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}