Aspect-orienterade koncept introduceras för närvarande i alla faser av programvaruutvecklingslivscykel. Emellertid kan komplexiteten i samspelet mellan olika aspekter och mellan aspekter och basenheter minska värdet av en aspektorienterad uppdelning av övergripande problem. Vissa interaktioner kan vara avsedda eller kan vara framväxande beteende, medan andra är källan till oväntade inkonsekvenser. Det är därför önskvärt att upptäcka inkonsekvenser så tidigt som möjligt, helst på modellnivå. Vi föreslår ett tillvägagångssätt för att analysera interaktioner och potentiella inkonsekvenser när det gäller kravmodellering. Vi använder en variant av UML för att modellera krav i en användningsfallsdriven strategi. Verksamheter som används för att förfina användningsfall är gemensamma punkter för att skapa övergripande problem. Verksamheten och dess sammansättning formaliseras med hjälp av teorin om grafomvandlingssystem, som ger analysstöd för att upptäcka potentiella konflikter och beroenden mellan regelbaserade omvandlingar. Denna teori används för att effektivt resonera om potentiella interaktioner och inkonsekvenser orsakade av aspektorienterad sammansättning. Analysen utförs med grafomvandlingsverktyget AGG. De automatiskt analyserade konflikter och beroenden fungerar också som en ytterligare vy som hjälper till att bättre förstå det potentiella beteendet hos det sammansatta systemet.
Mehner et al REF föreslog ett tillvägagångssätt för att analysera interaktioner och potentiella inkonsekvenser när det gäller kravmodellering med hjälp av variant av UML.
Interaction Analysis in Aspect-Oriented Models
{'venue': "14th IEEE International Requirements Engineering Conference (RE'06)", 'journal': "14th IEEE International Requirements Engineering Conference (RE'06)", 'mag_field_of_study': ['Computer Science']}