会议论文《基于逻辑推理和Petri网的Web服务自动组合》提出了一种结合逻辑推理与Petri网技术的方法，用于实现Web服务的自动组合。该研究在第一届全国服务计算学术会议上发表，旨在解决服务组合中的复杂性问题，提高自动化水平。通过逻辑推理进行服务匹配，利用Petri网建模服务流程，确保组合过程的正确性和高效性。该方法为服务计算领域提供了新的思路和技术支持。
文档为pdf格式，0.69MB，总共10页。
举报
