ERP过程建模与仿真优化技术

过程仿真是对企业过程模型进行动态分析的重要技术手段。从企业整体运作过程出发，研究基于过程模型的仿真技术在企业体系改造、体系重构或新体系建设的应用，探索企业业务流程模型通过过程建模系统实现到ERP系统映射的方法。为企业过程建模、优化企业业务流程、业务流程重组和顺利实施、快速应用ERP系统提供一套优秀的应用软件工具和有效的解决方案。     

软件过程建模方法分类概述

本针对当前国际上在软件过程建模领域的研究现状和过程建模方法进行了综合性介绍，给出了三种不同的过程建模方法分类，并对各种建模方法进行了评述。     

支持业务过程重组和信息系统重构的企业建模

本文首先阐述了企业建模,业务过程重组（BRP）和信息系统重构的概念,并提出了企业建模与BPR以及信息系统重构之间的关系。然后通过详细分析传统企业建模方法的不足提出了“支持业务过程重组和信息系统重构的企业建模”的概念,并详细阐述了支持业务过程重组和信息系统重构的企业模型的主要内容及其建模体系,最后还介绍了基于上述模型的企业业务过程重组及信息系统重构的过程和步骤。     

企业建模中资源模型与过程模型解耦问题研究

首先介绍了企业建模与资源模型的概念，分析了企业资源的内在结构，并应用面向对象的方法完整而清晰地表达了企业资源视图中应包含的各种对象．在此基础上，重点提出了一种企业建模中实用的资源模型与过程模型解耦方法，并介绍了基于此方法开发的集成建模工具．     

云建模方法现状、发展趋势及在军事领域的应用

综述计算机图形学领域中云的建模方法。详细介绍了基于体过程、基于分形和基于文法的云建模方法以及云的粒子系统模型和云的内隐面建模方法，分析了几个模型的优缺点，预测了它们的发展趋势。最后，阐述了云的建模方法在军事领域的应用。     

Modelica语言的过程式建模机制研究与实现

过程式建模是仿真的重要手段。本文通过比较过程式与陈述式两种建模方式，研究了Modelica语言的过程式建模特性，提出Modelica过程式建模机制的实现方案，解决了陈述式语言环境下时过程式模型的兼容问题及过程式模型方程的生成．并在多领域统一建模与仿真平台Mwork中得到了应用。     

一种支持简便重构的过程元模型

工作流提倡过程逻辑与业务逻辑分离的理念,然而,业务过程中普遍存在的过程-业务动态关联的特性使这一理念在实际中难以得到贯彻,过程控制与业务处理常常以程序代码的形式耦合在一起,导致业务过程建模复杂,过程重构工作量大且不易实施。分析了WFMC元模型在过程逻辑表示方法上的局限性和难以支持业务过程简便重构的原因,提出了一种新的过程元模型—ESR元模型,在模型中加入了事件、状态和规则等模型元素,能够以规范的形式通过过程定义的方法表示过程-业务的动态关联;基于ESR元模型的工作流模型框架清晰划分了过程逻辑与业务逻辑的界限,对"刚性过程"和"柔性过程"使用统一的过程定义方法进行建模,更好地支持了过程逻辑与业务逻辑的分离;当过程逻辑发生变化时,根据不同的变化内容,可以在不同的模型层次上对过程定义进行修改以应对系统变更的需求,从而实现过程的简便重构。     

面向构件的软件开发方法学研究

文章以集成供应链管理软件的研究开发为背景，从中抽象出面向构件的软件开发的一般过程，原理和方法，首先提出构件化软件开发的过程模型，阐述与过程相适应的阶段和内容划分思想以及机制，进而阐述领域工程及需求分析方法，重点探讨构架和构件设计思想及多种建模方法的综合应用，给出基于软件体系结构风格和形式描述的构架模型和构件模型，最后给出构架与构件实现的典型案例，所提出的过程论和方法论具有一定的理论系统性和工程实践基础。     

基于映射分解的产品开发过程建模技术研究

研究了通过映射推演进行面向集成的产品开发过程建模问题。阐明了逐步建立与细化产品开发过程映射模型,实现对产品开发过程进行描述、分析的建模原理;提出了通过引入通用产品信息模型实现产品开发过程的集成化与通用化的模式。最后结合行业知识说明了该建模方法的应用,并验证了建模方法的可行性。该项研究为解决企业在产品开发过程建模问题提供了一条可行的途径。     

VPML OOPN集成建模方法的设计与实现*

为了支持对企业业务流程进行建模和分析,辅助过程改进,提出了VPML-OOPN集成建模方法.该建模方法是利用可视化过程建模语言VPML建立企业过程模型,然后将该过程模型映射为面向对象Petri网模型.通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计.     

Ontological reasoning in the design space exploration of advanced cyber–physical systems

Cyber–physical systems are becoming increasingly complex. In these advanced systems, the different engineering domains involved in the design process become more and more intertwined. Therefore, a traditional (sequential) design process becomes inefficient in finding good design options. Instead, an integrated approach is needed where parameters in multiple different engineering domains can be chosen, evaluated, and optimized to achieve a good overall solution. However, in such an approach, the combined design space becomes vast. As such, methods are needed to mitigate this problem.In this paper, we show a method for systematically capturing and updating domain knowledge in the context of a co-design process involving different engineering domains, i.e. control and embedded. We rely on ontologies to reason about the relationships between parameters in the different domains. This allows us to derive a stepwise design space exploration workflow where this domain knowledge is used to quickly reduce the design space to a subset of likely good candidates. We illustrate our approach by applying it to the design space exploration process for an advanced electric motor control system and its deployment on embedded hardware.     

基于本体的需求自动获取

以企业信息系统为研究背景 ,提出了一种基于本体的需求获取方法 ,该方法用企业本体和领域本体为基本线索 ,引导领域用户全面描述现实系统 ,并通过重用领域需求模型 ,构造应用软件需求模型 .这种方法的主要特点是 :用领域用户可以理解的语言与他们交互 ,让他们能积极地参与需求获取活动 ;需求获取在模型的制导下完成 ,利于保证需求获取的完整性和一致性 ;在多种知识的支持下 ,自动完成对现实系统的理解和目标系统需求模型的构造 .该文将以该方法的总体结构为主线 ,分企业本体和领域本体的结构以及目标系统需求模型的构造两大部分 ,阐述这种方法 .     

机械产品概念设计中的知识表示

研究了计算机辅助概念设计中的关键技术——知识表示．将行为域引入公理化设计作为功能域和载体域之间的转换桥梁，针对该域结构定义扩展“之”字映射，建立了不同层次功能、行为和载体之间的映射关系；构造了概念设计方案的知识表示模型——域结构模板；针对一类产品的知识表示模型——概念空间，给出了基于概念空间的概念设计方案生成过程．最后以工业平缝机为例对所述模型和方法加以说明。     

Solving CSG equations for checking equivalency between two different geometric models

For two given parametric constructive solid geometry (CSG) models, the problem of determining their parameter domains in which the two models are equivalent is addressed. Here, two CSG models are equivalent if they represent the exact same region in R³, although their constituent features and feature attributes may differ. In this paper, an approach for solving the problem in a limited scope is proposed, in which a CSG model is polyhedral, its parametric form is explicit and its feature orientations are fixed. The solution includes the equivalent parameter domain for each model and parameter mapping that associates these two models on their equivalent parameter domains. One application of this research is to identify the equivalent parameter domains of two parametric part models, respectively, in the design option space and in the capability envelope set of a parametric machining process in order to facilitate the interoperation between part design and process planning through the generated parameter mapping between these two different kinds of models.     

Supporting manufacturing-marketing interface management with a partially automated knowledge base: a precursor to computer-integrated business enterprise

Providing continuity and transparency of decisions across interfaces of domains such as manufacturing and marketing is becoming imperative for competitiveness. Since the issues involved in interface management are not very well understood its practice has not been very successful. In this paper, we explore this problem in a scientific way and establish a set of mappings across and within domains that form the building-blocks of our research. We develop mathematical models to help understand the characteristics of such mappings in a knowledge base environment. One of the models helps support the decision-making process of a manager within a domain while the other helps in detecting patterns of decisions made between domains.The knowledge base mechanism and the models together form a computer-oriented system which encourages synergy between manufacturing and marketing. Our approach therefore can be considered to be a precursor to a fully, i.e. across all different domains in a firm, computer-integrated business enterprise.     

Dynamic constraint satisfaction problems over models

In early phases of designing complex systems, models are not sufficiently detailed to serve as an input for automated synthesis tools. Instead, a design space is constituted by multiple models representing different valid design candidates. Design space exploration aims at searching through these candidates defined in the design space to find solutions that satisfy the structural and numeric design constraints and provide a balanced choice with respect to various quality metrics. Design space exploration in an model-driven engineering (MDE) context is frequently tackled as specific sort of constraint satisfaction problem (CSP). In CSP, declarative constraints capture restrictions over variables with finite domains where both the number of variables and their domains are required to be a priori finite. However, the existing formulation of constraint satisfaction problems can be too restrictive to capture design space exploration in many MDE applications with complex structural constraints expressed over the underlying models. In this paper, we interpret flexible and dynamic constraint satisfaction problems directly in the context of models. These extensions allow the relaxation of constraints during a solving process and address problems that are subject to change and require incremental re-evaluation. Furthermore, we present our prototype constraint solver for the domain of graph models built upon the Viatra2 model transformation framework and provide an evaluation of its performance with comparison to related tools.     

分布式工作流系统的可扩展性和柔性研究

工作流管理系统为企业中不同部门之间的协作以及不同应用之间的集成提供了 一个功能强大的计算环境．在当前工作流技术的研究领域中,分布式工作流系统逐渐成为研 究的热点,而系统的可扩展性和柔性是分布式工作流系统成功实施的两个重要因素．本文介 绍了相关的领域概念、系统结构、过程实例的执行以及全局控制机制,提出了一种基于企业 功能领域划分的、具有高度可扩展性和柔性的分布式工作流系统的设计和实施方案．     

基于MFI的企业业务模型互操作能力度量方法研究

业界存在多种企业业务模型,模型的定义、描述、结构、功能及支持工具通常存在差异,这些差异导致业务模型间的部分语义互操作存在较大困难。绝大部分企业业务模型都能够通过4个维度(Role,Goal,Process,Service)来描述,因此,一个企业业务模型实际上是一个具体的RGPS模型,依此提出企业业务模型互操作能力度量方法。首先基于互操作性元模型框架MFI构建RGPS互操作性特征框架,再将特征框架定义为RGPS模型互操作性特征集;其次对业务模型特征所属类型与所具有的性质进行分析,定义数学方法,并基于互操作性特征集对模型特征进行标识与量化,得到模型实例;再次通过数据相似性算法计算模型实例间的相似性,得出RGPS模型集中任意两个模型间的互操作能力值,从而构建RGPS模型集的互操作能力度量矩阵;最后,采用该方法对不同领域间典型的企业业务模型互操作能力进行度量,分析并讨论度量结果,从而在一定程度上验证了互操作能力度量方法能促进并引导不同领域企业业务模型的有效协作。     

一种通用的身份模型及其构建流程

针对身份管理系统的功能需求以及不同身份管理系统间的融合需求,提出一种通用的身份模型。该模型由用户全局身份标识、本地身份标识、临时身份标识、访问信息组、用户凭证组、用户属性组、可信域组所组成。在此基础上,给出该模型的分阶段构建流程,完成属性和凭证信息的搜集工作以及可信域和访问信息的更新工作。应用结果表明,该模型对现有身份管理系统的融合、身份保护等功能提供了技术支持。