统一建模语言状态图的Petri网模型及其分析方法

针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法.     

基于扩展UML活动图的工作流建模及其到XPDL的转换

针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法.为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活动等建模元素,给出了建模元素的定义和建模规则.为了使统一建模语言活动图的工作流模型能适应不同工作流引擎的执行,定义了统一建模语言活动图到可扩展标记语言的过程定义语言的形式化转换规则.最后,通过订单处理实例,说明了该方法对增强模型描述能力、适应性和柔性具有积极作用.     

业务流程建模标注可配置建模技术

为了解决当前业务过程建模语言场景描述能力较差和模型执行时图元利用率低的问题,提出一种可配置的建模语言方案.基于图论及过程模型扩展途径的研究,通过建立可配置图元并为其增加可配置属性,对现有的过程建模语言BPMN进行可配置扩展.建立了基于控制流可配置的C-BPMN语言,并给出了该语言的形式化描述.通过给出C-BPMN的语法规则,验证了扩展后的可配置建模语言的成立条件.     

支持动态集成的产品数据管理Web服务架构

基于产品模型数据交换标准的异构CAx和产品数据管理系统间的动态集成是网络化制造亟待解决的问题。分析了Web服务访问的产品模型数据交换标准数据的必要性和可能性,利用统一建模语言间接构建了产品模型数据交换标准和统一建模语言图解之间的映射关系。提出了基于产品模型数据交换标准的开放式产品数据管理网络服务架构,并将其应用于CAx和产品数据管理系统的集成方案。分析了架构的内部结构及功能模块,以计算机辅助设计系统为例,阐述了其利用简单对象访问协议消息调用公共产品数据管理网络方法的信息流程。基于产品数据交换标准和面向服务架构的方法,开发了接口功能模块,为系统集成的实施奠定了基础。     

基于着色解释Petri网的网络协议建模及协同仿真方法

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.     

工作流管理系统动态变更模型与实例迁移方法研究

为提高工作流管理系统的柔性,研究了工作流动态变更模型和实例迁移方法.在基于统一建模语言和多色集合的工作流集成建模方法的基础上,建立了工作流动态变更模型,对节点(分支)的增加、删除和结构变化等常见动态变更进行了形式化描述.提出了工作流区域的概念,将当前运行节点和动态变更节点放在同一个层次上排序.基于基本模型结构的简化规则,提出了工作流区域的识别算法和排序规则.按照工作流实例迁移过程中可能采用的迁移策略,提出了支持动态变更的工作流实例迁移方法,并分析了实例迁移前后结构和语义的正确性.最后,以客户订单处理流程为例,验证了以上模型和方法的有效性.     

基于Windchill的PDM系统的研究与实现

针对企业对产品信息管理、过程管理和应用系统集成的实际需求，提出了基于Windchill的产品数据管理系统的体系结构，给出了基于统一建模语言的产品数据管理系统的流程模型和数据模型，并描述了功能实现和扩展的方法。该系统实现了企业的文档、产品结构、配置、工作流程和应用系统集成与封装的管理。     

一种箱体类零件孔信息的描述方法研究

介绍了箱体类零件和孔特征的描述方法。孔加工是箱体类零件加工中的重要工序,特别是复杂箱体类零件中的孔特征加工困难。为提高加工质量,提升生产效率,基于面向零件要素发来描述孔特征的信息,提出了一种孔特征的描述方法,并结合统一建模语言给出孔信息描述的信息模型。输入相关参数信息后,可以提取出有效的信息,以便后续调用的各种加工方法得以实现。     

基于MTConnect的装备建模标准化与互联互通互操作

针对装备源数据异构、共享难度大、互联互通互操作成本高等问题,提出基于MTConnect的数控装备建模标准化和互联互通互操作方法.提出可扩展的装备异构信息统一描述语义和面向MTConnect的信息模型映射方法,实现了异构装备的可扩展标准化建模.在信息模型映射基础上,提出集成可配置的中间件设计、基于超文本传输协议的数据获取...     

EPA协议一致性测试方法

EPA是我国第一个拥有自主知识产权并被国际电工委员会（IEC）认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上，参照TFCN的结构框架对EPA抽象测试集进行形式化描述，提出了一种EPA协议一致性测试的方法，阐述了EPA协议实现一致性说明和协议实施附加信息的生成方法，并以变量写服务的测试为例，说明了EPA协议一致性测试流程。国家863／CIMS验收专家组委托的专家测试表明这种测试方法能够准确测试出被测协议实现与标准的一致程度。     

适用于汽车性能检测系统的CAN总线应用层协议设计

借鉴其他CAN总线应用层协议的优点,设计适用于汽车性能检测系统应用的CAN总线应用层协议-xCAN.主要从报文定义、数据通信和网络管理3个方面进行讨论,并给出了一个应用实例,结果表明xCAN协议应用于汽车性能检测系统是可行的.     

Image Ware在逆向工程设计中的应用

简要介绍ImageWare和UGNX2软件在逆向工程产品设计中的应用,并通过对高尔夫球头的逆向工程产品设计实例,较详细地阐述了逆向工程设计的过程和方法。     

软件再工程理论研究

软件再工程的概念是针对目前软件系统更新换代加剧而提出的．软件再工程通过逆向工程．重构和正向工程几个环节．将现存系统开发成新的系统，是有效利用原有系统的现实可行的方法。本文针对结构化思想和面向对象思想设计的软件系统提出了一般的软件再工程实施模型。     

公理设计辅助产品设计过程重组研究

产品设计过程重组是并行工程的核心,其方法的核心是设计过程分解.公理设计理论为设计过程分解提供了理论依据,应用功能独立性公理的分析框架,通过在功能域和结构域的"之字形"映射变换,进行功能结构分解,建立相对独立的产品功能结构等级树.根据设计分解得到的功能结构等级树、完整设计矩阵和产品设计流程图,在考虑产品设计任务之间相互影响关系的前提下,确定其顺序及其组织形式.最后,用该方法对某类大型阀门进行了设计过程重组.     

EPA协议状态机的一致性测试方法及实现

以太网工厂自动化协议状态机的一致性测试方法,是将标准以太网工厂自动化服务原语序列作为激励输入被测协议实现,并检验其输出与预期输出是否一致,从而对以太网工厂自动化协议状态机实现与协议之间的一致性程度作出评判.针对以太网工厂自动化协议状态机状态变迁的约定,通过改变状态、获取状态和验证状态3个步骤,评判该协议状态机在状态变迁的条件、状态变迁的事件和具体状态所支持的操作3个方面与协议约定之间的一致性,从而使通过状态机一致性测试的不同协议实现之间的可靠互联概率得到提高.     

并行产品开发过程分析与重组方法研究与实现

产品开发过程分析与重组是企业实施并行工程的前提和基础。分析并行产品开发过程的特点 ,提出面向并行工程的产品开发过程分析、改进与重组的基本方法与步骤 ,建立产品开发过程分析与重组的过程模型 ,并针对齐车公司产品开发过程的实际情况 ,对现有的粮车产品开发过程进行分析、改进与重组 ,建立集成产品开发团队 ,并取得令人满意的效果     

通用即插即用(UPnP)及其应用

介绍了一种新颖的网络协议通用即插即用(UPnP),阐述了UPnP协议以及寻址、发现、描述、控制、事件处理和展示等工作过程。以Intel公司提供的Authoring Tools for UPnP Technologies说明了UPnP软件开发的流程,并给出了一个符合UPnP标准的数字电灯设备程序的开发实例。     

基于IDEF3的并行工程过程建模

介绍过程建模在并行工程和业务过程重组中的重要性,并采用ＩＤＥＦ３方法对西 飞公司的客舱内装饰并行工程的过程建模与重组的方法与步骤进行了研究。     

低速Ad Hoc网络多信道接入协议研究与设计

针对每个终端仅配置一套无线信号收发装置、信道传输速率较低（1-10kbit/s）、可划分成多个不相重叠的子信道的情况下组建Ad Hoc网络的需求,提出了一种基于多信道改进的MACA-BI协议——RIMA-MC（Receiver Initiated Multiple Access basedon multiple Channels）。在充分借鉴本领域内现有研究成果的基础上,该协议试图通过减少控制开销、增加信道的空间复用度等方法提高低速Ad Hoc网络的吞吐量。最后,利用计算机仿真证明了这一协议在一定条件下对提高网络的吞吐量确实有所帮助。