基于Pi-演算的工作流模式描述

薛岗; 姚绍文; Joan Lu

首页> 中文期刊> 《计算机科学》 >基于Pi-演算的工作流模式描述

基于Pi-演算的工作流模式描述

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法.Pi-演算是一种进程代数,可以应用于业务流程的形式化建模.本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力.

著录项

来源
《计算机科学》 |2008年第7期|191-194|共4页
作者
薛岗; 姚绍文; Joan Lu;
展开▼
作者单位

云南大学网络智能计算实验室;

昆明650091;

云南大学网络智能计算实验室;

昆明650091;

Huddersfield大学计算机与软件学院;

英国;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
业务流程建模; 工作流模式; Pi-演算;

相似文献

中文文献
外文文献
专利

1. 基于Pi-演算的扩展有向图工作流模型及验证 [J] . 王金朋 ,侯贵宾 ,邓成玉 . 计算机工程与设计 . 2010,第010期
2. 基于Pi-演算的移动自助服务系统缴费流程的建模与验证 [J] . 高娟 ,丁志义 . 宁夏工程技术 . 2016,第002期
3. 基于多元Pi-演算的Web服务组合描述与验证 [J] . 胡静 ,饶国政 ,冯志勇 . 天津大学学报 . 2013,第006期
4. 基于Pi-演算的供应链节点企业行为的随机分析 [J] . 黄永涛 ,王刚 ,任秉银 . 计算机集成制造系统 . 2013,第001期
5. 基于Pi-演算的信任Web服务组合建模 [J] . 云本胜 . 计算机科学 . 2012,第0z3期
6. 基于DSC的工作流模式描述研究 [C] . 陈娇娇 ,薛岗 ,何象林 . 全国第20届计算机技术与应用（CACIS）学术会议 . 2009
7. 基于Pi-演算的移动自助服务系统的建模与验证 [A] . 高娟 . 2016

基于Pi-演算的工作流模式描述

摘要

著录项

相似文献

相关主题

期刊订阅