软件开发过程模型的发展

针对软件开发过程模型的发展问题进行研讨。通过分析几个典型的软件开发过程模型：瀑布模型、快速原型化模型、增量模型、螺旋模型、构件组装模型,分析每个模型的产生情况,研究软件开发过程模型整体的发展过程,寻找其中规律性的东西。讨论了促使软件开发过程模型发展的两个主要因素：一是需要新的软件开发过程模型来处理新情况和新问题;二是需要新的软件开发过程模型来提高开发的效率和质量。指出了软件开发过程模型可以按照三个方向去发展：一是通过对现有模型进行改进、扩充、综合去发展;二是遵循新的思维方式去发展;三是借助新技术和新工具去发展。     

软件开发过程模型的发展

针对软件开发过程模型的发展问题进行研讨.通过分析几个典型的软件开发过程模型:瀑布模型、快速原型化模型、增量模型、螺旋模型、构件组装模型,分析每个模型的产生情况,研究软件开发过程模型整体的发展过程,寻找其中规律性的东西.讨论了促使软件开发过程模型发展的两个主要因素:一是需要新的软件开发过程模型来处理新情况和新问题;二是需要新的软件开发过程模型来提高开发的效率和质量.指出了软件开发过程模型可以按照三个方向去发展:一是通过对现有模型进行改进、扩充、综合去发展;二是遵循新的思维方式去发展;三是借助新技术和新工具去发展.     

软件开发方法的几种过程模型研究

良好的软件开发过程模型,对高效率、高质量和低成本地开发软件,具有重要的指导意义。本文介绍了软件过程模型的构造和特点,并从最传统的线性顺序过程开始,对瀑布模型、原型模型、演化模型、螺旋模型、RAD模型等模型的结构、特点作了具体的分析。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础,对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状,主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

正向推理过程分析及UML建模

分析了正向推理专家系统中推理机的工作过程及其特征，使用UML建立了这一过程的use case模型、功能模型、交互模型。利用这些模型对正向推理专家系统的行为进行分析，提高系统的重用层次，改善专家系统的开发过程。     

工作流模型的扩展及其形式化描述

工作流是一类能够部分或全部由计算机支持或自动处理的业务过程,工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示。论文以过程工程理论建立的企业模型作为工作流模型的扩展思想,归纳出了工作流模型设计原则,并对现有的扩展方法进行了分析;最后提出了一种工作流模型,该模型由过程模型、活动模型、组织模型、资源模型和信息模型五个子模型组成,并给出了各子模型的形式化描述。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础，对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状，主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

角色驱动下的工作流分析及UML-uc建模技术的应用

通过对工作流中角色机制进行分析,在研究工作流、有向图和UML-uc模型的基础上,提出了一种有向图角色驱动的工作流建模方法.其基本思想是:在角色的驱动下,将工作流模型层次细化到原子活动,并给出其细化过程的系统总体用例模型和静态、竞争、优先、委托等角色类型的UML用例模型.借助基于用例模型的角色参与机制和动态特性,分析了过程模型内部复杂的动态关系,根据分析结果对后续更为复杂的过程模型进行有效的迭代开发.     

基于工作流网的金融机具产品开发过程建模研究

为了精确、有效地量化分析和评估产品设计开发过程,提出了产品开发过程的多视图模型和基于任务结构的产品开发过程模型.应用工作流网与任务结构的相似性,结合产品功能实现的要求,对开发过程的任务结构图进行描述,实现了由产品开发过程的任务结构模型到工作流网的模型映射机制.针对金融机具纸币清分机的开发过程,进行了基于工作流网的设计过程验证,实现了产品设计开发过程中的任务分配和性能评估,以便对产品开发周期进行更量化、更精确的分析.     

基于元模型的虚拟样机数据建模方法研究

数据建模是虚拟样机开发的一个重要内容。首先分析了虚拟样机技术对产品数据模型定义的要求;然后从过程、产品、组织、资源和约束五个视图角度分析了虚拟样机数据模型元模型定义,并以过程视图为核心建立了各视图元模型集成模型,分析了元模型数据描述方法;最后用一个实例系统实现了虚拟样机数据模型。     

A linear time layout algorithm for business process models

The layout of a business process model influences how easily it can be understood. Existing layout features in process modeling tools often rely on graph representations, but do not take the specific properties of business process models into account. In this paper, we propose an algorithm that is based on a set of constraints which are specifically identified toward establishing a readable layout of a process model. Our algorithm exploits the structure of the process model and allows the computation of the final layout in linear time. We explain the algorithm, show its detailed run-time complexity, compare it to existing algorithms, and demonstrate in an empirical evaluation the acceptance of the layout generated by the algorithm. The data suggests that the proposed algorithm is well perceived by moderately experienced process modelers, both in terms of its usefulness as well as its ease of use.     

间歇过程基于Dioid代数模型的分析与协调控制研究

针对现有间歇过程模型的不足之处,提出了一种新的间歇过程Dioid代数模型,此模型不仅描述了间歇过程中的离散事件,而且还用于间歇过程的定量分析,在此模型基础上,我们用代数方法研究了间歇过程的协调控制问题。     

CHEOPS: A tool-integration platform for chemical process modelling and simulation

A large number of modelling tools exist for the construction and solution of mathematical models of chemical processes. Each (chemical) process modelling tool provides its own model representation and model definition functions as well as its own solution algorithms, which are used for performing computer-aided studies for the process under consideration. However, in order to support reusability of existing models and to allow for the combined use of different modelling tools for the study of complex processes, model integration is needed. This paper presents a concept for an integration platform that allows for the integration of modelling tools, combining their models to build up a process model and performing computer-aided studies based on this integrated process model. In order to illustrate the concept without getting into complicated algorithmic issues, we focus on steady-state simulation using models comprising only algebraic equations. The concept is realized in the component-based integration platform CHEOPS, which focuses on integrating and solving existing models rather than providing its own modelling capabilities.     

可信网络中一种考虑不确定性的节点信誉量化模型

可信网络中节点信誉是一种重要而带有不确定性的信任关系。信誉及其聚合过程具有模糊性和随机性特征。云模型能够科学地描述节点信誉及其形成过程的不确定性。采用逆向云生成算法,揭示了节点信誉及其聚合过程在整个生命期的模糊性和随机性规律;获得其信誉云的数字特征值,指导在局部窗口内其信誉的量化。基于服务满意度评价的确定度值这一具有稳定倾向的随机数,结合衰减系数,设计了信誉度量化模型。模型中的权值是与满意度值有关的有稳定倾向的随机数。所提信誉量化模型切合开放网络信任关系的不确定性规律。仿真结果表明,与其它信誉量化模型相比,所提出的模型计算结果稳定,且具有较强的杭攻击性。     

基于事件约束的软件过程验证

软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extended constraints on succeeding and proceeding events)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(event constraint based process difference metric)和EAD(event constraint based activity deviation metric)指标.EPD指标可以反映过程执行与过程模型的偏差,EAD指标则为过程演化提供依据.     

Application of MOKA methodology in generative model creation using CATIA

The paper presents the method of generative model creation in CATIA system. The method covers not only the very process of model creation in CATIA system but also the whole complexity of the process, beginning with knowledge identification and acquisition and finally with explanation system creation that facilitates and justifies the usage of generative model itself. The method, in one of its parts, uses MOKA methodology and in particular its informal knowledge model and knowledge representation for generative model, which is special for CATIA.     

成员系统模型及其归约

本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序计算语言，对研究支持多种ＡＩ问题求解的模型及其语言做了有益的尝试。     

基于敏捷供应链的协同商务过程管理与控制系统

协同商务过程管理与控制系统是基于工作流思想和技术的一种新的应用模式。介绍了工作流技术;分析敏捷供应链中协同商务过程的特征,并建立了其模型;讨论商务过程的管理与控制模式,构建了基于敏捷供应链的协同商务过程管理与控制系统模型,并分析了其实现技术。     

高校行政管理人员绩效考核系统的信息模型研究

信息管理模型适用于指导信息管理系统建设,提高信息系统实施成功率.这里以人力资源管理中高校行政管理人员绩效考核系统为例,探讨了建立管理人员绩效考核系统信息模型的过程,给出了管理人员绩效考核系统的功能模型、信息模型和具体实现方法.     

一种反应式SPM及其动态语义XYZ表示

过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.