|
|||||
|
|
| 基于扩展Petri网的软件服务模型设计方法 | |
| 引用本文： | 方舟,陈阳,李锐,马超.基于扩展Petri网的软件服务模型设计方法[J].科技创新与应用,2020(5). |
| 作者姓名： | 方舟 陈阳 李锐 马超 |
| 作者单位： | 黑龙江省网络空间研究中心,黑龙江 哈尔滨 150001;哈尔滨理工大学 计算机科学与技术学院,黑龙江 哈尔滨 150080;哈尔滨理工大学 软件与微电子学院,黑龙江 哈尔滨150080 |
| 基金项目： | 黑龙江省自然科学基金;黑龙江省领军人才梯队后备带头人资助项目 |
| 摘 要： | 为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出的Horn子句映射至扩展Petri网上,构建出满足用户需求的抽象服务集,最后通过案例验证了该方法的可行性。 |
| 关 键 词： | 软件服务模型 Petri网 Horn子句 抽象服务集 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
