您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. OWL-S_Editor_User_Manual.pdf

  2. 这是一个关于如何使用OWL-S Editor的手册对初使用OWL-S的人来说很有用哦
  3. 所属分类:专业指导

    • 发布日期:2008-05-30
    • 文件大小:1048576
    • 提供者:rosewxj3
  1. 基于MDA的语义Web服务的组合与验证

  2. 针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:230400
    • 提供者:weixin_38546817