[1]李敏 曹宝香 郑垒.一种工作流模型的模拟与分析[J].计算机技术与发展,2009,(06):131-134.
　LI Min,CAO Bao-xiang,ZHENG Lei.Simulation and Analysis of a Workflow Model[J].,2009,(06):131-134.
点击复制

一种工作流模型的模拟与分析()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年06期
页码:
131-134
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Simulation and Analysis of a Workflow Model
文章编号:
1673-629X（2009）06-0131-04
作者:
李敏 曹宝香 郑垒
曲阜师范大学计算机科学学院
Author(s):
LI Min;  CAO Bao-xiang;  ZHENG Lei
Computer Science College, Qufu Normal University
关键词:
BPEL; 工作流; 验证; 数据流网络; 故障模拟
Keywords:
BPEL;  workflow;  verification;  dataflow networks;  fault simulation
分类号:
TP311.5
文献标志码:
A
摘要:
基于BPEL的工作流技术，在企业流程的管理上应用越来越广泛。为基于BPEL的工作流模型的模拟和分析提出一个框架，并给出检查用BPEL实现的工作流程正确性的方法。讨论问题主要三个：（1）如何使一个用BPEL语言实现的工作流模型可以转化为数据流网络模型；（2）如何能潜在地把不正确执行路径纳入；（3）如何用SPIN能将工作流的性能形式化地验证出来。为了实现从工作流到分析模型转变的步骤．使用了图形转变，实现分两个步骤实施工作流程-PROMELA转型，使每一个较小的一步都在抽象的水平。此验证方法方便于模型设计，而且
Abstract:
BPEL- based workflow technique is widely used on the aspect of the enterprise process management. Present a framework for the simulation and formal analysis of workflow models. Then, a method to check correctness properties of workflows implemented in BPE

相似文献/References:

[1]刘林钢 姜浩.基于时间约束Petri网的一致性验证算法[J].计算机技术与发展,2010,(01):54.
　LIU Lin-gang,JIANG Hao.Verification Algorithm of Consistency Based on Time Constraint Petri Nets[J].,2010,(06):54.
[2]申屠晓丽 姚明海 汤幸江.工作流管理系统的柔性技术研究与应用[J].计算机技术与发展,2010,(01):116.
　SHENTU Xiao-li,YAO Ming-hai,TANG Xing-jiang.Research and Application of Flexible Technology for Workflow Management System[J].,2010,(06):116.
[3]张月菊 王涛 林拉.跨组织工作流集成中间件语义转换部件研究[J].计算机技术与发展,2010,(03):92.
　ZHANG Yueoju,WANG Tao,LIN La.Research on Structure for Semantic Translation in Cross- Organizational Workflow Integrated System[J].,2010,(06):92.
[4]杨平乐 刘树森 高雅.基于ADO.NET学生信息管理系统的设计与实现[J].计算机技术与发展,2010,(05):238.
　YANG Ping-le,LIU Shu-sen,GAO Ya.Student Information Management System Design and Implementation Based on ADO.NET[J].,2010,(06):238.
[5]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(06):51.
[6]董崇杰 傅秀芬 王凤梅 唐志成 顾牡丹.基于J2EE的公安厅审计信息系统的设计与实现[J].计算机技术与发展,2009,(09):246.
　DONG Chong-jie,FU Xiu-fen,WANG Feng-mei,et al.Design and Implementation of a Public Security Department Audit Information System Based on J2EE[J].,2009,(06):246.
[7]张文博 史维峰.基于BPEL和QoS的动态Web服务组合框架研究[J].计算机技术与发展,2009,(11):72.
　ZHANG Wen-bo,SHI Wei-feng.Research on Dynamic Web Services Composition Based on BPEL and QoS[J].,2009,(06):72.
[8]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(06):49.
[9]蒋永 蒋玉明 彭思达.基于工作流用户权限管理模型的研究与设计[J].计算机技术与发展,2009,(01):161.
　JIANG Yong,JIANG Yu-ming,PENG Si-da.Research and Design of User Rights Management Model Based on Workflow[J].,2009,(06):161.
[10]庞士焕 朱相冰 张琦[] 汤萍萍[].基于TLA的正确性验证方法[J].计算机技术与发展,2009,(03):55.
　PANG Shi-huan,ZHU Xiang-bing,ZHANG Qi[],et al.A Method of Verification Based on TLA[J].,2009,(06):55.

备注/Memo

备注/Memo:
山东省科技计划项目（2006GG2301001）李敏（1979-），女，山东曲阜人，硕士研究生，研究方向为企业信息化；曹宝香，硕士生导师．教授，研究方向为企业信息化、图形图像、数据库技术、计算机控制、计算机辅助设计。
更新日期/Last Update: 1900-01-01