利用扩展的 Petri 网模型形式化业务场景模型

• 作者: 叶正伟 吴克力 周晓峰 李宗花
• 来源期刊: 淮阴师范学院学报（自然科学版）
• 学科: 工学
• 关键词: 业务场景模型 UCM Petri网 模型形式化
• 年，卷（期）: 2016,（4）
• 页码范围: 309-316
• 页数: 8页
• 分类号: TP311.52
• 字数: 6875字
• 语种: 中文

摘要

UCM模型作为一种图形化的业务场景模型，其场景设计可以表示需求和产生规格，驱动设计和系统演化，UCM模型的正确性影响软件开发的质量。鉴于形式化模型可以验证其正确性，提出了一种利用扩展的Petri网模型，应用模型驱动实现业务场景模型的形式化方法。该方法通过细化Petri网模型中的Transition结点，从而有效的描述业务场景模型中的路径决策和动态行为。通过对UCM模型和扩展的Petri网模型的抽象语法定义，利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则，并根据其规则设计了映射算法；在Eclipse平台上使用ATL语言实现了模型的形式化映射；应用Web Payment实例演示了UCM模型的形式化分析结果。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶正伟	淮阴师范学院城市与环境学院	36	245	9.0	14.0
2	周晓峰	河海大学计算机与信息学院	36	446	9.0	20.0
3	吴克力	淮阴师范学院计算机科学与技术学院	29	75	5.0	7.0
4	李宗花	淮阴师范学院计算机科学与技术学院	13	48	5.0	6.0