论文部分内容阅读
工作流技术是当前信息领域关注的一个焦点,是办公自动化系统的核心技术之一。作者深入研究了工作流建模的基本理论和实现技术,针对境外学者提出的“流程发掘”算法存在的问题,结合办公自动化系统中公文流转的实际应用环境,提出了一个能描述完整业务流程的Petri网工作流模型,并给出了该模型的正确性分析与验证。 在理论研究的基础上,作者根据建立的公文流转工作流模型设计并实现了一个以公文管理为核心的办公自动化系统。 本文介绍了作者的研究开发工作,详细论述了基于Petri网的工作流建模、基于Lotus Domino/Notes的办公自动化系统分析与设计、基于Lotus Domino/Notes的办公自动化系统安全问题等关键技术。