基于XML的信息物理融合系统组件建模与仿真

信息物理融合系统（CPS）涉及多种计算模型的集成和协同工作，针对CPS设计方法不统一、重塑性差、复杂度高、难以协同建模验证等问题，提出一种结构化、可描述行为的异元组件模型。首先，用统一组件建模方法进行建模，解决模型不开放问题；然后，用可扩展标记语言（XML）规范描述各类组件，解决不同计算模型描述语言不一致和不可扩展问题；最后，用多级开放组件模型的协同仿真验证方式进行仿真验证，解决验证的不可协同问题。通过通用组件建模方法、XML组件规范描述语言以及验证工具平台XModel对医用恒温箱进行了建模、描述和仿真。医用恒温箱的案例表明，这种模型驱动建立可重塑异元组件并确认其设计正确性的过程，支持信息物理协同设计和边构建边纠正，可避免在系统实现过程中发现问题时再进行反复修改。     

一种提高系统柔性的工作流建模方法研究

针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

OBWPA:一种基于本体的工作流参与者柔性分配方法

工作流技术在产品协同设计、知识管理系统等协同工作系统的建模中正起着日益重要的作用.但在目前的工作流模型中,一般通过角色、部门等约束来对活动的参与者进行分配,尚不能依据流程活动中的上下文环境来动态分配任务参与者.这种情况无法满足产品设计等复杂业务过程的需要.提出了一种基于本体的工作流参与者柔性分配方法,并基于该方法建立了工具.用户可通过系统提供的交互工具,依据企业本体中的元素、活动的上下文内容等来分配活动的参与者,增强了系统的灵活性.依据该方法构建的系统,可对复杂产品协同设计过程及设计知识管理过程等提供有效支撑.     

结合Petri网和Pi演算的协同业务过程建模

协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。     

基于知识的协同设计工作过程建模

提出了基于知识的工作流方法，对协同设计的过程进行建模。该方法采用可扩展的和可定制的知识模板对协作活动进行描述，它满足了协作过程管理、资源管理和知识管理的需要，并对协同系统的设计知识和过程知识的重用性提供支持。依据该模型，应用一种扩展的KQML语言实现了一个原型系统。最后对该系统的优缺点和将来的工作进行了讨论。     

团队协同设计理性模型

针对当前的设计理性建模理论与方法不能完全适应协同设计过程,不能全面描述协同设计中的设计理性的问题.在对IBIS(issue-based information system)模型进行拓展和改造的基础上,结合协同设计的认知特征提出了团队协同设计理性模型.该模型包括2类要素,分别以不同类型的节点和连接线表示,其中设计问题、设计方案、设计知识、设计产品、协同过程和协同情境6个要素以不同类型的节点表示;设计行为要素描述设计过程中设计者的具体操作,以不同类型的连接线表示.最后以自动打标机的协同设计过程为例,阐述了文中模型的建模过程,建立了自动打标机团队协同设计理性模型,证明了该模型的可行性和有效性.     

协同状态网及其在软件建模和分析中的应用

软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻“银弹”式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释。以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法。阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等。     

基于扩展UML活动图的过程建模研究

针对传统过程建模不能对仿真编码阶段前的过程进行有效的描述的问题,提出了一种基于扩展UML活动图的建模方法,并从信息活动和物理活动两方面对其进行建模。最后通过一个实例表明该方法能清楚描述过程建模的具体活动,且有利于用户和系统开发者进行沟通和交流。     

一种基于知识树和约束的柔性活动动态细化方法

柔性工作流在应对业务建模过程中的动态不确定因素、提高工作流系统的柔性具有巨大的优势,然而,柔性活动的动态细化一直是柔性工作流建模和应用的一个难点。因此,提出一种基于知识树和约束的柔性活动动态细化方法。该方法以知识树的包含和泛化关系作为启发信息,以活动选取约束和时序约束作为指导和校验,实现柔性活动的动态细化。在介绍了知识树及其蕴含关系以及活动选取约束和时序约束规则的基础上,给出了柔性活动的动态细化算法,描述了活动选取校验和时序约束校验算法。最后给出了算法的实现和实例分析,其结果表明了所提方法的有效性,能够很好地解决柔性活动的细化问题。     

基于分布式异构仿真的协同建模框架研究

复杂大系统的建模与仿真涉及到多个领域的人员协同开发,各类人员采用本领域成熟的建模方法和工具构建模型,这些模型具备粒度精细、置信度较高的特点,但同时也产生了模型异构的问题.本文针对复杂系统的大规模仿真应用探讨了异构模型开发和集成的思路,对如何使这些异构模型协同参与仿真的问题进行了深入研究,分析和归纳了当前已有的协同建模仿真环境DEVS/HLA、DEVS总线以及CDM的工作原理和关键技术,提出了以分布式异构模型为基础的协同建模框架的功能描述.     

基于扩展UML活动图的工作流模型研究*

针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规则。应用模型实例表明,此方法增强了模型描述能力,在模型适应性和柔性方面具有明显的优势。     

基于构件的动态工作流建模方法研究

针对目前工作流管理系统在描述能力和动态性上存在的不足，提出了一种基于构件的动态工作流建模方法。该方法扩展了传统的活动网络模型，引入了新的建模元素，提出了新的建模机制。详细描述了模型的实现机制和应用场景，同时给出了一个模型实例。与传统的活动网络模型相比，该模型方法在提高模型描述能力、降低模型复杂性、提高系统动态性及适应性方面有明显的优点，对于设计开发高可靠性、动态性和适应性的工作流管理系统具有重要的应用价值。     

基于XML的组件化工作流模型研究

提出一种新的组件化工作流建模方法,旨在以统一的数据交换格式XML语言进行任意工作流的过程建模.在对工作流过程进行形式化描述和实质抽象的基础上,给出了工作流模型组件详细的XML语言描述,模型的组件化赋予了工作流柔性特征,扩展了工作流应用领域,提高了工作流引擎设计效率,对于高效开发实用的工作流管理系统具有重要的应用价值.     

基于实例的动态定义执行工作流引擎研究

在强调灵活和快速的业务竞争领域,目前大部分工作流管理系统产品无法完全满足非结构化业务流程对灵活性与复杂性的要求。本文提出一种基于实例的动态定义和执行的轻量级工作流引擎,可实现非结构化业务流程的规范化建模和个性化建模,增强对非结构化业务流程的柔性描述和执行能力。该引擎在深圳电信中得到应用,提高了企业流程的运
营效率。     

基于J2EE的交互式工作流管理系统

针对目前工作流系统在描述能力、跨平台能力和交互性上的不足,该文提出了一个基于J2EE技术的交互式工作流管理系统,系统使用分层描述的方法将复杂的业务过程分解为多个简单的业务过程,通过事件驱动机制来实现分解后的过程间的交互,可以完成与原来复杂过程相同的业务逻辑。实际应用表明,该系统在提高描述能力、降低建模复杂性、增强模型间交互能力及跨平台能力方面都有较明显优点。     

基于扩展模型的工作流描述方法和最大时间控制问题

根据客观世界人们协作完成任务的工作流控制方式,提出了一种扩展的工作流管理模型的描述方法,它将传统的工作流建模表示方法按灵活性,功能完备性和自治进行改造,使之能较好地适应复杂的管理模式。     

基于Domino平台的工作流设计与实现

鉴于目前办公工作流所存在的灵活性和易用性方面的不足,该文以此为出发点提出了一种基于Domino平台的办公工作流的设计与实现算法,实践证明此算法可以有效地提高系统对复杂流程的描述能力,简化了流程建模操作。     

基于Agent的工作流协调模型研究

本文分析了工作流管理系统的现状及存在的问题 ,提出了基于 agent的工作流协调管理模型 .该模型在面向对象的工作流元过程模型基础上 ,利用 agent和面向对象技术 ,建立协调 agent、实例化 agent和活动 agent模型 ,提高系统的自组织、自学习和协调能力 .