可信工作流管理系统的软件机理与方法研究

项目名称： 可信工作流管理系统的软件机理与方法研究

项目编号： No.61363001

项目类型： 地区科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 韩强

作者单位： 北方民族大学

项目金额： 45万元

中文摘要： 在当前面向互联网的软件运行环境中，由于用户需求的复杂多变，以及工作流管理系统运行环境的动态性，构造可信工作流管理系统并使之能够应对这些动态变化，保障系统持续有效地运行，即保证其实际执行指令的行为符合其预期声明，是工作流管理系统研究和应用中需要解决的具有重大挑战性的问题。本项目提出"两个方法三个机理"，即基于语义的复杂工作流需求的自动获取、分解、组合和验证方法，可信工作流管理系统的构造方法，应对动态环境的自适应机理，成员系统组合的可信性自优化机理，系统运行的可信性自修复机理。从而使得所提出的可信工作流构建方法能够实现：面向需求分析可以自动获取、分解、组合和验证不确定的复杂需求；构造的可信工作流管理系统可以适应随后的软件演化和变化；面向业务流程应用软件开发可以自优化成员系统组合的方案；面向软件维护可以自修复系统的异常。并在实际应用中进行验证。项目研究对可信工作流管理系统研究和应用具有重要意义。

中文关键词： 可信软件；工作流；管理信息系统；机理；方法

英文摘要： Due to the open, dynamic and constantly changing nature of Internet-oriented software, Workflow Management System (WfMS) needs to cope with complex and variety user's requirements and dynamic running environments. To assure the WfMS can operate continuous

英文关键词： Trustworthy software；Workflow；Management Information System；Mechanism；Approach