论文研究 多模态脑机接口游戏系统的设计与应用.pdf

利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合，检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义，利用约束理论（TOC）中的现实树（RT）将约束提取出来放在AOP的切入点（pointcut）中，然后利用命题语言表示约束的监控性质，再通过合并真值表的方法来检测约束中存在的冗余和冲突，最终提高软件的可靠性。