企业业务流程的结构化建模

分析了组成业务流程的活动之间的关系，提出了活动间信息交流的度量的方法，将活动间的结构特征转化成代数矩阵形式加以表示，据此提出了业务流程的结构模型，并用ＩＳＭ法进一步分析了该模型所揭示的结构特征，从而为流程的重构提供新的依据。     

业务流程的角色复杂性

从组织角色职责分配的角度研究业务流程的复杂性度量问题.给出了集成角色和数据信息的扩展工作流网模型,从活动内聚性、数据内聚性和耦合性3方面分析了角色承担的多个流程活动间的关系,提出了业务流程的角色复杂性度量方法,并通过一个实例说明了方法的应用过程.在流程结构和实施流程的角色数量确定时,角色复杂性分析有助于完成流程活动的角色分工.角色复杂性指标可以从流程职责分配视角度量业务流程的动态复杂性,指导业务流程的设计和实施.     

基于角色约束的流程建模(RB-BPM)方法研究

提出了一种新的基于角色约束的业务流程建模模型RB-BPM,描述了通过在业务流程建模中引入基于角色的访问控制中的用户、角色、流程、操作、活动等要素,并确定各要素间的相互关系和静态动态约束条件。最后给出了在生产制造企业业务流程管理系统中的应用。     

业务流程建模与测试方法研究

针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。     

蜘蛛丝拉伸变形行为的力学模型

根据大腹园蛛牵引丝力学性能的结构机理及其聚集态结构和形态结构特征，初步建立了以皮芯层结构为基础的蜘蛛丝拉伸力学模型，分析了皮芯层比例及结构对蜘蛛丝纤维力学性能的影响。以层状复合材料的拉伸变形为依据，分析了蜘蛛丝纤维的拉伸断裂过程与皮芯层性能间的关系。     

基于Petri网的贷款业务流程一致性优化分析

分析业务流程模型的一致性是业务流程管理的重要部分。已有的研究方法不能充分描述、构建实际模型。因此,结合可配置的业务流程模型的一致性,对业务流程进行一致性分析,分析事件日志是否与业务流程行为相匹配,针对业务流程模型,进行一致性分析。首先,给出业务流程Petri网源模型,然后对事件序列进行配置分析,分析各活动集的弱序关系,最后,通过对银行贷款业务流程实例进行分析,验证了该方法的可行性。     

煤的超细物理结构特征

讨论煤的非晶态结构特征及其变化规律，并对煤的孔隙结构特征和模型进行了详尽评述。     

基于结构的异构数据模型映射方法研究

源模型和目标模型描述之间的异构性是实现模型映射的主要困难.在对模型结构特征进行抽象分析的基础上,利用树形结构对模型进行描述,通过相似度计算来找到模型间的映射关系,提出了一种基于结构的模型映射方法.该方法能够很好的实现异构数据模型之间的数据集成,不仅可为模型转换的具体实现提供理论指导,还为验证模型之间映射关系的正确性提供了依据.     

基于消息中间件的电子政务协同工作流模型的研究

如何实现各政府部门的异构系统间互联互通是电子政务领域一项极富挑战性的工作。提出了基于消息中间件的电子政务协同工作流模型,将异构系统整合到统一的业务流程之中,并采用Petri网对业务流程中各部门子系统间的调用序列进行了形式化描述,确保了业务流程建模的正确性。     

基于Petri网业务流程模型抽象方法研究

在传统的对模型抽象进行行为语义和控制流结构分析的基础上,提出了基于Petri网的业务流程模型行为轮廓的业务流程模型。将Petri网的理论和性质应用于业务工作流系统当中,能够从系统的运行过程和形式化的图形描述方式实现对工作流系统的快速建模和分析;定义了一个新的流程模型活动聚合公式算法,拓展了行为轮廓关于控制流结构上的模型抽象。     

基于仿真方法验证IDEF3过程模型的有效性

经营过程建模中对模型的有效性验证是过程分析优化的基础。现有的过程模型有效性验证方法单纯追求算法的高效率,只能针对特定模型验证某些过程结构的合理性,不适合经营过程的复杂性需求。该文提出了一种基于仿真方法的有效性验证算法,在确保验证算法效率的基础上,能够验证扩展的IDEF3过程模型的3种逻辑错误:结构死锁、同步丢失和对象不匹配,从而不仅能够验证过程逻辑结构上的不合理,还能够对参与过程的对象所造成的不合理进行验证。     

信息系统重组分析

本文根据结构化分析与设计方法和面向对象分析与设计方法的基本原理,结合组织重组的各项内容,通过一些例子说明了信息系统重组的分析原理和过程。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

商业模式创新理论模型构建研究

此研究的开展基于以下背景：在新的一波转型浪潮中,创新商业模式的必要性和迫切性与日俱增,虽然对商业模式创新过程的研究在逐年增加,但多聚焦于成功企业商业模式创新的变革阶段或成功创业者的高阶战略认知,缺乏对商业模式创新过程的进一步抽象和总结,以致无法回答企业“如何进行商业模式创新”的问题。此研究认为,以“活动系统”为中心的商业模式创新理论模型——光谱模型,确定了商业模式创新的逻辑起点和逻辑终点,融合了从整体上指导企业进行商业模式创新的价值过程和从认知视角指导活动开展的商业模式创新源过程,呈现出商业模式创新过程中主体之间的动态交互和子过程的动态迭代,旨在更直观地回答企业“如何进行商业模式创新”。     

基于业务规则的事件驱动建模方法

为使企业信息系统的分析与设计能有效管理业务逻辑的高度复杂性,适应业务环境的易变性,该文在结构化分析与面向对象设计方法的基础上提出一种复合型的业务过程建模方法。其指导思想是将事件驱动的业务规则作为贯穿建模过程的主线,同时引入业务对象的参考模型,能更深刻地揭示系统内部组成单元的动态交互特性,并增加对象识别与提炼的规范性。此外,还运用分布式对象技术和组件技术规划了企业应用程序与业务对象的运行模式。由于业务知识被作为可更改的规则封装在分布式对象服务器的内部,从而可为信息系统的重构和再配置提供有力支持。     

流程导向知识管理的策略研究

将业务流程与知识管理整合起来是流程导向知识管理的主要目的,为了将知识融入业务流程中的价值增值活动,需要建立面向流程的知识管理目标、知识管理系统、知识管理组织架构,并加强面向流程的知识管理审计。通过对流程导向、流程知识以及流程与知识管理流程关系的分析,探讨了流程导向知识管理的策略。     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

基于时序依赖表达的工作流过程模型

时间管理是日益复杂的业务处理环境对工作流管理系统提出的新的要求。本文在对丁作流过程控制结构描述的基础上，定义了活动的时序依赖图，并在全面描述活动各种属性的同时分析活动时序依赖的内在决定因素。从而建立了一种以时序依赖的定义为核心的完整的过程模型。     

基于角色的活动动态分配

目前广泛应用于分布式计算环境上的三层结构框架——用户界面层、事务应用层和数据服务层，虽然在软件结构和系统实现技术方面具有一定的灵活性，但是系统各部分固有的紧耦合关系及其业务逻辑的“硬编码”等制约了系统的敏捷性，本文在中间关键层——事务应用层中采用了基于角色的活动动态分配机制，利用业务逻辑的“与或”关系建立目标活动的协作图，通过角色映射机制实现活动的分配，利用ECA规则描述活动之间的约束关系，并组织Agent的运行，从而将活动的描述和活动的执行体Agent联系起来，可进一步提高系统的可适应性和敏捷性，满足分布计算的需要。