CAJ | 학술논문

为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspect能够保持所有的不包含Next算子的安全属性和活性属性.Djoko等人的工作可以避免针对织后程序的直接验证.在Djoko等人工作的基础上,提出了一种新的aspect分类—functor,并提出了属性推断的概念.functor是一种仅在特定条件下修改基程序性质的aspect,functor的确会造成基程序已有性质的失效,但却是以一种可预测的方式.属性推断就是根据基程序已有的性质和functor的特有性质,直接推断出织后程序的性质.functor同样避免了针对织后程序的直接验证,是对Djoko等人工作的重要补充.
위간화면향방면정서(aspect-oriented programming,AOP)적형식화험증문제,Djoko등인대aspect진행료계통적분류,병학정료매류aspect능구보지적속성.분류지일적observer지일류대기정서적변량지독불사,차불수개기공제류적aspect,저류aspect능구보지소유적불포함Next산자적안전속성화활성속성.Djoko등인적공작가이피면침대직후정서적직접험증.재Djoko등인공작적기출상,제출료일충신적aspect분류—functor,병제출료속성추단적개념.functor시일충부재특정조건하수개기정서성질적aspect,functor적학회조성기정서이유성질적실효,단각시이일충가예측적방식.속성추단취시근거기정서이유적성질화functor적특유성질,직접추단출직후정서적성질.functor동양피면료침대직후정서적직접험증,시대Djoko등인공작적중요보충.