位置：成果数据库 > 期刊 > 期刊详情页
Using Π-Calculus for Formalizing Service Interactions
  • 期刊名称：International Journal of Digital Content Technolog
  • 时间：2012.4.4
  • 页码：190-197
  • 相关项目：语义业务流程模型验证关键技术研究
作者： 姜久雷|乐嘉锦|何丰|王艳|
同期刊论文项目
语义业务流程模型验证关键技术研究
期刊论文 16 会议论文 9
同项目期刊论文
Research of BPMNO - Based Business Process Model in Logistics Warehousing Field
构件化BPR应用服务器可信属性建模方法研究
基于语义的业务流程建模方法
Research on Consistency Verification of Semantic Business Process Model Based on SWRL
The Ontology - Based Medical CT Image Semantic Retrieval System
Modeling and Implementation of Flexible Business Process
Formalizing Cloud Service Interactions
A Data Mining Based Measurement Method for Software Trustworthiness
基于语义验证的可视化BPR建模工具
构件化业务流程重组应用服务器可信性度量方法研究
采用信息排序的SuperParent算法的研究
构件化业务流程重组应用服务器可信属性建模方法研究
一种基于时间衰减模型的数据流闭合模式挖掘方法