咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 31 篇 期刊文献
  • 25 篇 学位论文
  • 3 篇 会议

馆藏范围

  • 59 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 56 篇 工学
    • 39 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 14 篇 仪器科学与技术
    • 4 篇 机械工程
    • 3 篇 电子科学与技术（可...
    • 3 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 电气工程
  • 11 篇 管理学
    • 10 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 农学
    • 1 篇 水产
  • 1 篇 艺术学
    • 1 篇 设计学（可授艺术学...

主题

  • 59 篇 pi-演算
  • 18 篇 web服务
  • 7 篇 web服务组合
  • 6 篇 进程代数
  • 6 篇 服务组合
  • 4 篇 验证
  • 4 篇 形式化方法
  • 4 篇 模型验证
  • 3 篇 系统建模
  • 3 篇 soa
  • 3 篇 工作流模式
  • 3 篇 mwb
  • 3 篇 形式化
  • 2 篇 业务流程
  • 2 篇 网格服务组合
  • 2 篇 agent
  • 2 篇 类型系统
  • 2 篇 演进特性
  • 2 篇 形式化描述模型
  • 2 篇 服务替换

机构

  • 8 篇 南京航空航天大学
  • 6 篇 吉林大学
  • 3 篇 华中科技大学
  • 3 篇 浙江师范大学
  • 3 篇 太原理工大学
  • 3 篇 清华大学
  • 3 篇 云南大学
  • 2 篇 宁夏大学
  • 2 篇 天津大学
  • 2 篇 同济大学
  • 2 篇 华东师范大学
  • 2 篇 电子科技大学
  • 2 篇 南京邮电大学
  • 1 篇 秦皇岛港股份有限...
  • 1 篇 大连理工大学
  • 1 篇 上海师范大学
  • 1 篇 北京科技大学
  • 1 篇 河南财经学院
  • 1 篇 复旦大学
  • 1 篇 湘南学院

作者

  • 4 篇 袁敏
  • 4 篇 黄志球
  • 3 篇 辜希武
  • 3 篇 闫艳
  • 2 篇 康辉
  • 2 篇 lu zheng-ding
  • 2 篇 高娟
  • 2 篇 杨振国
  • 2 篇 范茸
  • 2 篇 付玉
  • 2 篇 薛岗
  • 2 篇 靖红叶
  • 2 篇 常斌
  • 2 篇 胡静
  • 2 篇 yuan min
  • 2 篇 谭浩
  • 2 篇 廖军
  • 2 篇 贺聪
  • 2 篇 gu xi-wu
  • 2 篇 李祥

语言

  • 59 篇 中文
检索条件"主题词=Pi-演算"
共 59 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于pi-演算的移动通信服务研究与建模
收藏
分享
引用
通信学报 2009年 第4期30卷 11-16页
作者： 康辉 曾莹莹 刘志勇 吉林大学计算机科学与技术学院 吉林长春130012 东北师范大学软件学院 吉林长春130117
在现行的移动通信业务中,为解决不同运营商提供的增值服务无法互通的问题,提出将移动通信过程定义为多个独立的Web服务,利用pi-演算理论对移动通信过程中的连接初始化、基站切换和移动通信进行建模,将其pi-演算表达式进行封装组合。采用... 详细信息
来源： 评论
基于pi-演算的信任网络形式化建模
收藏
分享
引用
系统仿真学报 2008年 第1期20卷 57-61,116页
作者： 袁禄来 曾国荪 王伟 同济大学计算机科学与技术系 上海201804
网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与pi-演算的对应关系,给出基于pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测... 详细信息
来源： 评论
基于pi-演算的Web服务可替换性验证
收藏
分享
引用
华中科技大学学报（自然科学版） 2005年 第Z1期33卷 168-171页
作者： 廖军 谭浩 刘锦德 电子科技大学计算机科学与工程学院 四川成都610054
通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容... 详细信息
来源： 评论
基于pi-演算的Web服务组合的描述和验证
收藏
分享
引用
计算机学报 2005年 第4期28卷 635-643页
作者： 廖军 谭浩 刘锦德 电子科技大学计算机科学与工程学院 成都610054
形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.pi 演算是一种移动进程代数,可用于对并发和动态... 详细信息
来源： 评论
基于pi-演算的供应链节点企业行为的随机分析
收藏
分享
引用
计算机集成制造系统 2013年 第1期19卷 165-172页
作者： 黄永涛 王刚 任秉银 张浩云 哈尔滨工业大学机电工程学院 黑龙江哈尔滨150001 河南同力水泥股份有限公司 河南郑州450000
为解决节点企业行为的不确定影响供应链系统性能的问题,提出一种应用pi-演算对供应链的节点企业行为进行随机分析的方法。利用交互图描述了节点企业行为的不确定性;通过建立交互图与pi-演算的映射关系得到节点企业行为的pi-演算形式规约... 详细信息
来源： 评论
基于pi-演算的集成P2P模式的网格形式化建模
收藏
分享
引用
北京交通大学学报 2008年 第6期32卷 83-89页
作者： 熊曾刚 杨扬 曾明 陈福 北京科技大学信息工程学院 北京100083 湖北孝感学院计算机系 湖北孝感432000
为了改进传统网格的可扩展性和动态性,提出了一种集成P2P模式的网格资源管理模型,该模型融合了网格计算和对等计算的优点.基于该模型,文中分析了一种集成P2P模式的网格体系结构,并利用pi-演算可用于对并发和动态变化的系统进行建模的特... 详细信息
来源： 评论
基于pi-演算的BPEL4 WS Web服务组合形式化模型
收藏
分享
引用
计算机科学 2007年 第3期34卷 69-74页
作者： 辜希武 卢正鼎 华中科技大学计算机科学技术学院 武汉430074
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍... 详细信息
来源： 评论
基于pi-演算的Web服务形式化描述模型*
收藏
分享
引用
计算机应用研究 2011年 第6期28卷 2168-2173页
作者： 胡静 冯志勇 天津大学计算机科学与技术学院 天津300072
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于pi-演算建... 详细信息
来源： 评论
基于类型化pi-演算的Web服务组合相容性检测
收藏
分享
引用
计算机工程与应用 2007年 第7期43卷 120-124页
作者： 刘荣胜 黄邵 高春鸣 湖南师范大学数学与计算机科学学院 长沙410081
定义了一个pi-演算的类型系统,然后利用扩充后的类型化pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相... 详细信息
来源： 评论
基于pi-演算的工作流模式描述
收藏
分享
引用
计算机科学 2008年 第7期35卷 191-194页
作者： 薛岗 姚绍文 Joan Lu 云南大学网络智能计算实验室 Huddersfield大学计算机与软件学院
工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法。pi-演算是一种进程代数,可以应用于业务流程的形式化建模。本文使用pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共6页 <<  < 1 2 3 4 5 6 >  >>
回到顶部
执行限定条件