利用图变换中的关键对分析检测 UML 状态图中的语法方面交互
软件工程
2013-12-30 v1
摘要
面向方面建模通过在模型层面定义方面（Aspects）和组合机制来分离横切关注点。多个方面的组合很可能导致不止一个方面匹配相同的连接点。因此，方面在织入时并不总是以可预测的方式交互。方面之间的预期交互由系统设计者设计，而非预期交互（或干扰）必须自动管理。当织入后的方面表现出与其自主行为不同的行为时，这就构成了潜在的干扰。业界最近在面向方面软件开发（AOSD）中报道了干扰问题。若不解决此问题，可能导致软件行为异常，并阻碍 AOSD 在业界的采用。这一已识别的问题类似于图变换系统中存在的现象，即多个图变换规则共享一些冲突元素，这被称为关键对分析（Critical Pair Analysis），它提供了一种基于代数的机制来检测和分析规则的交互。在本文中，我们提出了一个在模型层面检测非预期方面交互的框架。该框架将 UML 状态图中建模的方面转换为图变换规则，然后应用关键对分析来检测方面之间的非预期交互。这将使开发人员能够仅指定方面之间预期交互的优先顺序，而无需手动调查系统中每个方面与其他每个方面组合的非预期交互。所提出的交互检测解决方案是自动化的、模块化的，且独立于基础模型；其优势在于每次基础模型变更时无需重新评估交互。
引用
@article{arxiv.1312.6939,
title = {Detection of Syntactic Aspect Interaction in UML State Diagrams Using Critical Pair Analysis in Graph Transformation},
author = {Zaid Altahat and Tzilla Elrad and Luay Tahat and Nada Almasri},
journal= {arXiv preprint arXiv:1312.6939},
year = {2013}
}