PI-CALCULUS

作品数：6被引量：6H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：潘晓华冯志林董金祥尹建伟徐东红更多>>
相关机构：浙江大学西安交通大学清华大学中国科学技术大学更多>>
相关期刊：《Journal of Software Engineering and Applications》《计算机应用研究》《Journal of Computer Science & Technology》《Journal of Southeast University(English Edition)》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Behavioural equivalences of a probabilistic pi-calculus
《Science China(Information Sciences)》2012年第9期2031-2043,共13页CHEN WeiEn CAO YongZhi WANG HanPin 
supported by National Natural Science Foundation of China (Grant Nos. 60973004,61170299,70890080);National Basic Research Program of China (Grant Nos. 2009CB320701,2010CB328103)
Although different kinds of probabilistic π-calculus have been introduced and found their place in quantitative verification and evaluation, their behavioural equivalences still lack a deep investigation. We propose ...
关键词：probabilistic pi-calculus behavioural equivalence probabilistic bisimulation probabilistic barbed bisimulation 
An Extension to Pi-Calculus for Performance Evaluation被引量：1
《Journal of Software Engineering and Applications》2011年第1期9-17,共9页Shahram Rahimi Elham S. Khorasani Yung-Chuan Lee Bidyut Gupta 
Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the concurrent systems whose...
关键词：PI-CALCULUS Performance EVALUATION MULTI-AGENT SYSTEMS System MODELING 
MAS-based dynamic web service composition formal model被引量：3
《Journal of Southeast University(English Edition)》2008年第3期289-292,共4页徐东红 齐勇 候迪 沈林峰 杜小智 王功震 
The National Natural Science Foundation of China(No.90612014);IBM China Research Lab Joint Project
Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture （SOA）and service-oriented computing（SOC）.For implementing dynamic web services composition,the mu...
关键词：dynamic web service composition MAS（multi agent system） PI-CALCULUS process calculus Pi4SOA 
Dynamic business process modeling and verification for inter-organizational collaboration被引量：1
《Journal of Southeast University(English Edition)》2007年第3期455-460,共6页胡庆成 邢春晓 杨吉江 严琪 李益民 
The National Natural Science Foundation of China(No60473078)
To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new busi...
关键词：inter-organizational collaboration PI-CALCULUS business process modeling model verification 
BEAP： An End-User Agile Programming Paradigm for Business Applications被引量：1
《Journal of Computer Science & Technology》2006年第4期609-619,共11页舒承椿 余海燕 刘昊植 
Supported by the National Natural Science Foundation of China （Grant No. 90412010）, the National Basic Research 973 Program of China （Grant Nos. 2003CB317008 and 2005CB321807）, and the National High Technology Development 863 Program of China （Grant No. 2004AA104330）. thank the members of Vega The authors would like to Center of Institute of Computing Technology, CAS. It is their feedbacks and supports that have been inspiring and advancing the BEAP paradigm to grow up and make continuous progresses. We also feel grateful for the anonymous referees＇ comments.
Business applications are subject to changes with technology trends or market demands. However, quick response to these changes is still a challenging issue. Most of the existing architectures （e.g., CORBA, Web Servi...
关键词：visual programming EVENT-BASED VIRTUALIZATION COMPONENT AGILE PI-CALCULUS 
基于Pi-Calculus的跨组织工作流建模方法
《计算机应用研究》2006年第1期63-65,76,共4页潘晓华 冯志林 尹建伟 郑正平 董金祥 
国家"863"资助项目(2003AA411021;2001AA415220);国家自然科学基金资助项目(60273056)
针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(W fMC)的有关工作流过程定义接口规范,利用Pi-Calculus技术对跨组织业务流程结构进行了形式化定义。此外,利...
关键词：工作流建模 Pi—Calculus 跨组织流程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部