您的位置： 专家智库 > >

庄英杰

作品数：3 被引量：0H指数：0
供职机构：西安交通大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇学位论文

领域

  • 1篇自动化与计算...

主题

  • 2篇色组
  • 2篇角色
  • 2篇关联函数
  • 2篇复杂度
  • 2篇参与者
  • 1篇有限状态机
  • 1篇状态机
  • 1篇PROMEL...
  • 1篇SPIN
  • 1篇WS-CDL

机构

  • 3篇西安交通大学

作者

  • 3篇庄英杰
  • 2篇齐勇
  • 2篇张蓓蓓
  • 2篇徐东红
  • 2篇林培文

年份

  • 1篇2015
  • 1篇2012
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种基于角色关联的角色组划分方法
一种基于角色关联的角色组划分方法，应用Pi演算的相关理论和流程模型复杂度理论对Choreography中的角色和角色之间的关系进行重新处理以达到WSBPEL执行性能优化。通过设计相关的关联函数和训练科学的阀值对Chore...
齐勇徐东红林培文庄英杰张蓓蓓
文献传递
一种基于角色关联的角色组划分方法
一种基于角色关联的角色组划分方法，应用Pi演算的相关理论和流程模型复杂度理论对Choreography中的角色和角色之间的关系进行重新处理以达到WSBPEL执行性能优化。通过设计相关的关联函数和训练科学的阀值对Chore...
齐勇徐东红林培文庄英杰张蓓蓓
文献传递
基于SPIN的WS-CDL模型检验工具研究与实现
庄英杰
关键词：WS-CDLSPINPROMELA有限状态机
全选 清除 导出
共1页<1>
聚类工具0