Framväxten av formella arkitekturbeskrivningsspråk ger en möjlighet att utföra analyser på hög abstraktionsnivå, såväl som tidigt i utvecklingsprocessen. Tidigare forskning har främst fokuserat på att utveckla tekniker som algebraisk och övergångssystemanalys för att upptäcka komponent missmatchningar eller global beteendefel. I detta papper presenterar vi Aladdin, ett verktyg som implementerar kedja, en statisk beroendeanalysteknik för användning med arkitektoniska beskrivningar. Beroendeanalys har använts i stor utsträckning på genomförandenivå för att underlätta programoptimering, avvikelsekontroll, programförståelse, testning och felsökning. Vi undersöker definitionen och tillämpningen av beroendeanalys på arkitekturnivå. Vi illustrerar nyttan av kätting, genom användning av Aladdin, genom att visa hur tekniken kan användas för att besvara olika frågor man kan utgöra av en Rapide arkitektur specifikation.
REF utvecklade en arkitekturnivåberoendeanalysteknik, kallad kedjning och implementering av tekniken i ett verktyg som kallas Aladdin.
Aladdin: A tool for architecture-level dependence analysis of software systems
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}