期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于扩展Petri网的软件服务模型设计方法
1
作者
方舟
陈阳
+1 位作者
李锐
马超
《科技创新与应用》
2020年第5期87-88,共2页
为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出...
为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出的Horn子句映射至扩展Petri网上,构建出满足用户需求的抽象服务集,最后通过案例验证了该方法的可行性。
展开更多
关键词
软件
服务
模型
PETRI网
HORN子句
抽象服务集
在线阅读
下载PDF
职称材料
题名
基于扩展Petri网的软件服务模型设计方法
1
作者
方舟
陈阳
李锐
马超
机构
黑龙江省网络空间研究中心
哈尔滨理工大学计算机科学与技术学院
哈尔滨理工大学软件与微电子学院
出处
《科技创新与应用》
2020年第5期87-88,共2页
基金
黑龙江省自然科学基金资助项目（编号：QC2018081）
黑龙江省领军人才梯队后备带头人资助项目（黑人社函[2019]63号）
文摘
为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出的Horn子句映射至扩展Petri网上,构建出满足用户需求的抽象服务集,最后通过案例验证了该方法的可行性。
关键词
软件
服务
模型
PETRI网
HORN子句
抽象服务集
Keywords
software service model
Petri net
Horn clause
abstract service set
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于扩展Petri网的软件服务模型设计方法
方舟
陈阳
李锐
马超
《科技创新与应用》
2020
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
