一种基于 Theme 方法的横切关注点的分析和验证

摘要

In aspect‐oriented requirements engineering ,crosscutting concern is an special concern ,in which a separate identification and modeling is needed .In this paper ,based on the Theme method ,the method of creating concerns‐demand relationship matrix ,the partial order relationship and entailment relationship between general concerns and crosscutting con‐cerns in the Theme method are proposed .Concerns‐demand relation matrix ,the partial order relationship and entailment re‐lationship between general concerns are used and crosscutting concerns to analyze and verify the crosscutting concerns .The proposed method in the paper can be used for automatic identification and judgment of crosscutting concerns .A case study is made for indicating the effectiveness of the proposed method .%在面向方面的需求工程中，横切关注点是一类比较特殊的关注点，是需要进行单独识别和建模的。论文基于Theme 方法，提出了关注点—需求关联关系矩阵的建立方法，提出了 Theme 方法中一般关注点和横切关注点之间存在着偏序关系和蕴含关系，并且利用关注点—需求关联关系矩阵，关注点之间的偏序关系和蕴含关系来对横切关注点进行分析和验证。可以利用该文提出的方法，对横切关注点进行自动识别和判断。最后，通过一个实例来验证本方法的有效性。