| 用例图的BNF描述和扩充的基于约束模块化Petri网检测 |
| |
| 引用本文： | 顾明. 用例图的BNF描述和扩充的基于约束模块化Petri网检测[J]. 计算机应用与软件, 2005, 22(11): 26-27,114 |
| |
| 作者姓名： | 顾明 |
| |
| 作者单位： | 深圳职业技术学院软件工程系,广东,深圳,518055;哈尔滨工业大学软件工程有限公司,黑龙江,哈尔滨,150001 |
| |
| 摘 要： | 本文提出了用BNF描述用例图的语法结构，分析了已有Petri技术对描述用例的局限性，给出了扩充的基于约束模块化Petri网的定义，并用一个实例说明了这些描述和定义的具体应用。
|
| 关 键 词： | 用例图 BNF描述 Petri网 |
| 收稿时间： | 2004-03-15 |
| 修稿时间： | 2004-03-15 |
BNF DESCRIPTION AND DEFINITION OF EXTENDED CONSTRAINTS-BASED MODULAR PETRI NETS OF USE CASE DIAGRAM |
| |
| Gu Ming. BNF DESCRIPTION AND DEFINITION OF EXTENDED CONSTRAINTS-BASED MODULAR PETRI NETS OF USE CASE DIAGRAM[J]. Computer Applications and Software, 2005, 22(11): 26-27,114 |
| |
| Authors: | Gu Ming |
| |
| Affiliation: | Software Engineering Department, Shenzhen Polytechnic,Shenzhen Guangdong 518055, China;Software Engineering Limited Company in Harbin Institute of Technology, Harbin Heilongjiang 150001, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
