基于逻辑情景演算的虚拟企业过程建模研究

发布时间：2021-06-19 11:12

　　本文主要通过对虚拟企业的结盟、构建和运作过程的深入研究，提出了面向过程建模的虚拟企业本体论，并在该本体论基础上，以逻辑情景演算形式化地描述了虚拟企业在结盟过程中逐步精化的过程模型，并建立了相应的虚拟企业分层递解组织模型。本文采用agent技术来支持虚拟企业合作伙伴对任务的分担、合作和协商，分层递解地构建了基于agent联邦的合作伙伴动态结盟，并以逻辑情景的演算过程作为虚拟企业工作流运作过程，构建了支持虚拟企业的工作流管理系统，实现了虚拟企业的运作。 本文提出的虚拟企业本体论是面向虚拟企业过程建模的本体论，用以形式化地描述虚拟企业的过程模型，其中，虚拟企业本体论包括其构成要素、要素间的约束关系以及相关信息，并以分类体系对这些核心术语进行定义，具有很强的稳定性和可重用性。由于虚拟企业是为响应市场需求而动态构建的，在建立合作联盟过程中，又因合作伙伴的不同而导致对所承担任务的分解、分担过程不同，这都将导致虚拟企业过程模型的动态变化。为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。在这... 

【文章来源】：浙江大学浙江省 211工程院校 985工程院校 教育部直属院校

【文章页数】：156 页

【学位级别】：博士

【文章目录】：
第一章 绪论
    1.1 虚拟企业简介
        1.1.1 虚拟企业的概念
        1.1.2 虚拟企业的合作形式
        1.1.3 虚拟企业的发展
    1.2 企业建模简介
        1.2.1 企业建模的发展过程
        1.2.2 企业建模的需求
        1.2.3 企业建模的评价
    1.3 企业本体论简介
    1.4 虚拟企业过程建模的关键技术
        1.4.1 虚拟企业建模过程
        1.4.2 虚拟企业过程建模的关键技术
    1.5 虚拟企业的构建和管理
        1.5.1 软件agent技术
        1.5.2 虚拟企业的构建和管理
        1.5.3 虚拟企业工作流管理系统
    1.6 论文的研究工作和论文的组织
第二章 形式化的虚拟企业本体论
    2.1 企业本体论
        2.1.1 企业本体论的角色
        2.1.2 企业本体论中术语的选择和定义
        2.1.3 元本体论
        2.1.4 虚拟企业本体论中的主要术语
    2.2 基于逻辑情景演算的形式化表示方法
        2.2.1 情景演算简介
        2.2.2 虚拟企业建模需求
        2.2.3 逻辑情景演算
        2.2.4 逻辑情景演算中的基本公理
        2.2.5 逻辑情景演算中的动作时序
        2.2.6 逻辑情景演算中的状态公理
    2.3 形式化的虚拟企业本体论
        2.3.1 元本体论的关系
        2.3.2 虚拟企业本体论的形式化语言
第三章 基于逻辑情景演算的虚拟企业过程建模
    3.1 虚拟企业过程建模
        3.1.1 虚拟企业过程模型描述
        3.1.2 虚拟企业过程模型中的约束关系
        3.1.3 过程模型的形式化描述
    3.2 虚拟企业组织模型
        3.2.1 伙伴选择
        3.2.2 组织模型
    3.3 基于逻辑情景演算的虚拟企业构建过程
第四章 基于Agent联邦的虚拟企业构建
    4.1 Agent和Agent联邦
        4.1.1 Agent模型
        4.1.2 多agent系统
        4.1.3 Agent联邦
    4.2 Agent构建
        4.2.1 技能模型
        4.2.2 联合意向
        4.2.3 过程分解与分担
        4.2.4 Agent模型
    4.3 基于Agent联邦的虚拟企业构建
        4.3.1 虚拟企业的构建过程
        4.3.2 Agent联邦的配置
第五章 虚拟企业的合作与协商
    5.1 虚拟企业的合作
        5.1.1 虚拟企业合作的表示
        5.1.2 虚拟企业合作中的agent模型
        5.1.3 Agent联邦中合作的实现
        5.1.4 Agent联邦中通信的实现
    5.2 虚拟企业的协商
        5.2.1 虚拟企业联盟的协商
        5.2.2 合作过程中的协商
第六章 支持虚拟企业的工作流管理系统
    6.1 虚拟企业工作流管理系统实现过程
        6.1.1 虚拟企业工作流管理系统特点
        6.1.2 工作流实现技术
        6.1.3 虚拟企业工作流管理系统实现过程
    6.2 虚拟企业工作流过程模型
    6.3 虚拟企业工作流管理系统
        6.3.1 虚拟企业工作流管理系统的支持工具
        6.3.2 多agent工作流管理系统
第七章 虚拟企业实例研究
    7.1 虚拟企业实例分析
        7.1.1 虚拟企业实例介绍
        7.1.2 虚拟企业实例过程建模
        7.1.3 虚拟企业实例工作流管理系统的构建
    7.2 虚拟企业实例模拟运行与分析
结论和展望
参考文献
攻读博士学位期间撰写的论文
致谢


【参考文献】：
期刊论文
[1]管理过程控制系统:工作流思想的一种新的应用模式[J]. 任午令,何伟,杨勇勤,何志均.  计算机研究与发展. 2001(03)
[2]基于关系结构的轻量级工作流引擎[J]. 何清法,李国杰,焦丽梅,刘力力.  计算机研究与发展. 2001(02)
[3]基于Web技术的工作流管理系统的研究[J]. 梁浩,吴启迪,施俊浩.  计算机科学. 2001(02)
[4]动态联盟环境下的联盟单元信息系统研究[J]. 陶丹,范玉顺,吴澄,许青松.  计算机科学. 2001(02)
[5]基于对象和实例互操作行为模型的工作流研究[J]. 窦万春,李东波,张世琪.  计算机学报. 2001(02)
[6]一种结合效用的Agent思维状态模型[J]. 徐晋晖,石纯一.  软件学报. 2000(11)
[7]实现虚拟企业的需求分析[J]. 李凌丰,谭建荣,张三元.  计算机辅助设计与图形学学报. 2000(11)
[8]虚拟企业合作伙伴评价体系及优化决策[J]. 郑文军,张旭梅,刘飞,张宗益,黄河.  计算机集成制造系统-CIMS. 2000(05)
[9]A-ADL:一种多智能体系统体系结构描述语言[J]. 马俊涛,傅韶勇,刘积仁.  软件学报. 2000(10)
[10]敏捷制造系统集成框架研究[J]. 万麟瑞,徐峰.  计算机工程与应用. 2000(10)



本文编号：3237705