论文部分内容阅读
传统静态工作流无法有效支持现今复杂业务过程，缺乏对知识的有效利用，为此本文采用本体的方法建立工作流模型，且在模型建立阶段，构建一个基于 Protégé 公理语言（PAL）的限制网，以支持动态工作流系统。本文论述了通过使用 PAL，可以把工作流模型中基于现实生活的逻辑规则和知识本身的一些限制和约束加入限制网，执行 PAL 描述的这些限制，可以对进入工作流模型知识库的信息做有效性验证，从而可以保证所建的工作流模型的正确性和有效性。研究动态工作流模型建立阶段的限制和约束网,可以增强工作流系统的管理功能。