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