基于扩展Petri网的软件服务模型设计方法  

作　　者：方舟 陈阳 李锐 马超 

机构地区：[1]黑龙江省网络空间研究中心,黑龙江哈尔滨150001 [2]哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨150080 [3]哈尔滨理工大学软件与微电子学院,黑龙江哈尔滨150080

出　　处：《科技创新与应用》2020年第5期87-88,共2页Technology Innovation and Application

基　　金：黑龙江省自然科学基金资助项目（编号：QC2018081）;黑龙江省领军人才梯队后备带头人资助项目（黑人社函[2019]63号）

摘　　要：为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出的Horn子句映射至扩展Petri网上,构建出满足用户需求的抽象服务集,最后通过案例验证了该方法的可行性。A service model design method based on extended Petri nets is proposed in this paper.First,the registered service is converted into a set of Horn clauses,and the input and output parameters provided by the user are converted into a set of facts and goals in the Horn clause.Then,this paper constructs a complete service process by logical reasoning,maps the Horn clauses obtained to the extended Petri network,and constructs an abstract service set that finally meets user expectations.Finally,a case is given to verify the feasibility of the method.

关 键 词：软件服务模型 PETRI网 HORN子句 抽象服务集 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]