论文部分内容阅读
工作流技术是进入九十年代以后计算机应用领域的一个新的研究热点,它是实现动态企业建模的核心技术,对于工作流技术进行深入的研究对于提高中国企业信息化程度、运行效率以及竞争能力都有着重要的意义.该文的主要任务是针对企业用户以及当前的分布式计算环境,提出一套工作流系统实现框架.该文研究的主要内容包括如下几个方面:·工作流模型的建模,其中包括工作流过程模型、组织模型、资源模型、用户交互模型以及工作流相关数据五个方面的建模.·基于petri网的工作流模型验证以及可扩展的模型验证框架.·可伸缩的分布式工作流执行系统的设计与实现.·工作流客户端的设计与实现.