会议论文《基于Pi-演算的OWL-S形式化研究》发表于2009年西南地区网络与信息系统学术年会。该文探讨了如何利用Pi-演算对OWL-S进行形式化建模，以提升语义服务的描述与组合能力。研究旨在通过引入进程代数方法，增强语义网服务的动态行为表达与互操作性，为智能服务计算提供理论支持。
文档为pdf格式，0.36MB，总共5页。
举报
