新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     >>计算机科学论坛<<     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> Web服务(Web Services,WS), 语义Web服务(Semantic Web Services, SWS)讨论区: WSDL, SOAP, UDDI, DAML-S, OWL-S, SWSF, SWSL, WSMO, WSML,BPEL, BPEL4WS, WSFL, WS-*,REST, PSL, Pi-calculus(Pi演算), Petri-net,WSRF,
    [返回] 计算机科学论坛W3CHINA.ORG讨论区 - Web新技术讨论『 Web Services & Semantic Web Services 』 → [论文]基于Pi-演算的Web服务组合的描述和验证 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 11974 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: [论文]基于Pi-演算的Web服务组合的描述和验证 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     MerryZhang 美女呀,离线,快来找我吧!
      
      
      威望:4
      头衔:CTO
      等级:计算机学士学位
      文章:442
      积分:2808
      门派:W3CHINA.ORG
      注册:2006/1/4

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给MerryZhang发送一个短消息 把MerryZhang加入好友 查看MerryZhang的个人资料 搜索MerryZhang在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看MerryZhang的博客楼主
    发贴心情 [论文]基于Pi-演算的Web服务组合的描述和验证

    基于Pi-演算的Web服务组合的描述和验证

    摘要 形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于Pi-演算对Web服务及其组合进行形式化描述和建模.文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题.讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证.




       收藏   分享  
    顶(0)
      




    ----------------------------------------------
    那一段我们曾心贴着心,我想我更有权力关心你,可能你已走进别人风景,多希望也有星光的投影.努力为你改变,却变不了预留的伏笔.以为在你身边那也算永远
    仿佛还是昨天,可是昨天已非常遥远,但闭上双眼我还看得见.

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/5/10 10:54:00
     
     matthew2005 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:14
      积分:192
      门派:XML.ORG.CN
      注册:2005/12/16

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给matthew2005发送一个短消息 把matthew2005加入好友 查看matthew2005的个人资料 搜索matthew2005在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看matthew2005的博客2
    发贴心情 
    这篇文章以前发过啊
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/5/11 9:12:00
     
     MerryZhang 美女呀,离线,快来找我吧!
      
      
      威望:4
      头衔:CTO
      等级:计算机学士学位
      文章:442
      积分:2808
      门派:W3CHINA.ORG
      注册:2006/1/4

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给MerryZhang发送一个短消息 把MerryZhang加入好友 查看MerryZhang的个人资料 搜索MerryZhang在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看MerryZhang的博客3
    发贴心情 
    那再复习一下吧!

    ----------------------------------------------
    那一段我们曾心贴着心,我想我更有权力关心你,可能你已走进别人风景,多希望也有星光的投影.努力为你改变,却变不了预留的伏笔.以为在你身边那也算永远
    仿佛还是昨天,可是昨天已非常遥远,但闭上双眼我还看得见.

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/5/11 9:32:00
     
     larkcom 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:20
      积分:180
      门派:XML.ORG.CN
      注册:2006/4/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给larkcom发送一个短消息 把larkcom加入好友 查看larkcom的个人资料 搜索larkcom在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看larkcom的博客4
    发贴心情 
    希望廖博士能给我们这些pi-calculus初学者提供一些相关资料。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/5/15 23:39:00
     
     binbin0708 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:6
      积分:86
      门派:XML.ORG.CN
      注册:2007/9/26

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给binbin0708发送一个短消息 把binbin0708加入好友 查看binbin0708的个人资料 搜索binbin0708在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看binbin0708的博客5
    发贴心情 
    大家好,轻轻问一下,目前基于pi演算的服务描述还有研究的价值吗?刚开始关注pi演算,谢谢!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2008/1/3 16:11:00
     
     whsatan 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:6
      积分:79
      门派:XML.ORG.CN
      注册:2008/4/22

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给whsatan发送一个短消息 把whsatan加入好友 查看whsatan的个人资料 搜索whsatan在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看whsatan的博客6
    发贴心情 
    感谢啊,正在找
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2008/4/22 11:49:00
     
     whsatan 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:6
      积分:79
      门派:XML.ORG.CN
      注册:2008/4/22

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给whsatan发送一个短消息 把whsatan加入好友 查看whsatan的个人资料 搜索whsatan在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看whsatan的博客7
    发贴心情 
    谢谢
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2008/5/4 15:23:00
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Web Services & Semantic Web Services 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/7/19 7:27:58

    本主题贴数7,分页: [1]

    管理选项修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    78.125ms