基于Petri网的面向方面用况建模研究  

ON MODELLING ASPECT-ORIENTED USE CASE BASED ON PETRI NET

作　　者：胡罗凯[1] 蔡恒进[2] 邱长春[1] 

机构地区：[1]湖北第二师范学院计算机科学与工程系,湖北武汉430205 [2]武汉大学国际软件学院,湖北武汉430072

出　　处：《计算机应用与软件》2009年第4期140-142,160,共4页Computer Applications and Software

摘　　要：将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向。提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义约束。通过一个在线外汇交易平台系统的建模实例,详细说明基于Petri网的面向方面用况建模方法,最后应用这种方法在需求分析阶段方便、有效地产生测试用例。实践证明,基于Petri网的面向方面用况建模方法取得了良好的效果。It is an important research area to transfer matured Ohject Oriented techniques to Aspect Oriented programming. The modelling method for aspect-oriented use case with UML extensibility mechanism in software requirements analysis is proposed. In the paper it states how to formalize the aspect-oriented use case model with Petri Net to enhance the semantic constraint of the model. The modelling process and method is expounded through an instance of an online foreign exchange transaction platform system. At last, the test cases are generated conveniently and effectively at the requirement analysis phase using such modelling method. The practice has proved good result of modelling method for aspect-oriented use case based on Petri Net.

关 键 词：用况图 PETRI网 面向方面程序设计 测试用例 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP391.9[自动化与计算机技术—计算机科学与技术]