Extended Workflow Patterns description in term of Pi-Calculus

机译：Pi演算方面的扩展工作流模式描述

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Workflow patterns contain basic features of business process. How to implement these patterns depends on the modeling languages and methods. Extended Workflow Patterns, containing 23 patterns, are extended patterns based on the original 20 patterns. This paper proposes Pi-calculus as a formal foundation for workflow. Furthermore, Extended Workflow Patterns were described in term of Pi-calculus in detail.

机译：工作流模式包含业务流程的基本功能。如何实现这些模式取决于建模语言和方法。扩展工作流模式包含23个模式，是基于原始20个模式的扩展模式。本文提出Pi-演算作为工作流的正式基础。此外，根据Pi演算对扩展工作流模式进行了详细描述。

著录项

来源
《4th International Conference on New Trends in Information Science and Service Science》|2010年|p.654-659|共6页
会议地点 Gyeongju(KR);Gyeongju(KR)
作者
Kui Yu; Yanjun Qian; Gang Xue; Shaowen Yao;
展开▼
作者单位

School of Information Science and Engineering, Yunnan University, No. 2 Green Lake Road, Kunming, China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类信息与传播理论;
关键词
Business Process; Extended Workflow Patterns; Pi-calculus;

机译：业务流程;扩展的工作流模式; Pi演算;

相似文献

外文文献
中文文献
专利

1. EXTENDING GRID-BASED WORKFLOW TOOLS WITH PATTERNS/OPERATORS [J] . Cecilia Gomes, Omer F. Rana, Jose Cunha International Journal of High Performance Computing Applications . 2008,第3期

机译：扩展了具有模式/运算符的基于网格的工作流工具
2. Adding a cost of resistance description extends the ability of virus-host model to explain observed patterns in structure and function of pelagic microbial communities [J] . V?ge S., Storesund J.E., Thingstad T.F. Environmental microbiology . 2013,第6期

机译：增加抗药性描述的成本可扩展病毒宿主模型解释上层微生物群落结构和功能中观察到的模式的能力
3. Extended ABCD matrix formalism for the description of femtosecond diffraction patterns; application to femtosecond digital in-line holography with anamorphic optical systems [J] . Marc Brunei, Huanhuan Shen, Sebastien Coetmellec, Applied optics . 2012,第8期

机译：用于描述飞秒衍射图的扩展ABCD矩阵形式主义;变形光学系统在飞秒数字在线全息中的应用
4. Extended Workflow Patterns description in term of Pi-Calculus [C] . Kui Yu, Yanjun Qian, Gang Xue, 4th International Conference on New Trends in Information Science and Service Science . 2010

机译：Pi演算方面的扩展工作流模式描述
5. VEGF treatment during status epilepticus alters long-term hippocampal astrocyte morphology: A detailed description of astrocyte morphology and glutamate transporter patterns with and without administration of VEGF and seizure induction. [D] . Lenzer, Janice R. 2014

机译：癫痫持续状态期间的VEGF治疗可改变海马星形胶质细胞的长期形态：对有或没有给予VEGF和癫痫发作诱导的星形胶质细胞形态和谷氨酸转运蛋白模式的详细描述。
6. Extending the Lee-Carter method to model the rotation of age patterns of mortality-decline for long-term projection [O] . Nan Li, Ronald Lee, Patrick Gerland -1

机译：扩展Lee-Carter方法以模拟死亡率下降的年龄模式的轮换以进行长期预测
7. Extending workflow patterns with transactional dependencies to define reliable composite Web services [O] . S. Bhiri, O. Perrin, C. Godart 2006

机译：扩展了使用事务依赖项的工作流模式以定义可靠的复合Web服务
8. Petri Net Translation of pi-Calculus Terms [R] . Devillers, R., Klaudel, H., Koutny, M. 2005

机译：pi-Calculus术语的petri网翻译

Extended Workflow Patterns description in term of Pi-Calculus

摘要

著录项

相似文献

相关主题

期刊订阅