温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

语义Ｗｅｂ服务组合的模型转换及形式化验证方法属于语义网及Ｗｅｂ服务领域，其特征在于，在计算机上建立语义Ｗｅｂ服务组合存储单元、模型转换子模块、语义Ｗｅｂ服务着色Ｐｅｔｒｉ网存储子模块、正确性验证子模块和本体工具Ｐｒｏｔéｇé；该方法通过模型...
该专利属于清华大学所有，仅供学习研究参考，未经过清华大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。