摘要
文章提出了一个跨平台、支持各种操作系统、提供模型验证的独特工作流开发平台框架。通过平台建模工具搭建流程定义,依托引擎实现流程流转,采用基于Web的缺省客户端和管理监控工具完成对流程的调整、监控与审计,提供建模时期模型验证功能,提高了平台运行的可靠性。
The article provides a special workflow platform, which can be used among different platforms,operation system and can supposes model checking.Users can define workflow process through definition tool.Then,the workflow definition run in the workflow engineer.Finally,users can manage and monitor the process through the default Web client.The platform can provide model checking reliably during workflow process definition building.
出处
《电脑与信息技术》
2007年第1期10-11,32,共3页
Computer and Information Technology
基金
湖南省教育厅基金资助项目(05c245)
关键词
工作流
模型验证
进程代数
workflow
model checking
process algebra
