摘要：为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出的Horn子句映射至扩展Petri网上,构建出满足用户需求的抽象服务集,最后通过案例验证了该方法的可行性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社