Design regler uttrycker begränsningar på beteende och struktur av ett program. Dessa regler kan bidra till att se till att ett program följer en uppsättning etablerade metoder, och undviker vissa klasser av fel. Designregler korsar ofta programstrukturen och genomdriver dem växer fram som en viktig applikationsdomän för Aspect Orienterad programmering. För många intressanta design regler, nuvarande allmänna syfte AOP språk saknar uttrycksfullhet för att karakterisera dem statiskt och genomdriva dem vid sammanställa tid. Vi har utvecklat ett domänspecifikt språk som kallas Program Description Logic (PDL). PDL tillåter kortfattade deklarativa definitioner av programmatiska strukturer som motsvarar brott mot designreglerna. PDL är baserat på ett helt statiskt och uttrycksfullt pointcut språk. PDL pointcuts gör det möjligt att karakterisera ett brett spektrum av designregler utan att offra statisk verifiering. Vi utvärderar PDL genom att jämföra det med FxCop, ett industriellt hållfasthetsverktyg för att kontrollera designregler.
Programbeskrivning Logik (PDL) REF, inspirerad av det pointcut språket i AspectJ, tillåter koncisa deklarativa definitioner av programmatiska strukturer som motsvarar design regelöverträdelser.
A static aspect language for checking design rules
{'venue': 'AOSD', 'journal': None, 'mag_field_of_study': ['Computer Science']}