VPML过程模型到面向对象Petri网模型的映射

为了支持对企业业务流程进行建模和分析,辅助过程改进,文章提出了用VPML语言建立过程模型.然后将该过程模型映射为面向对象Petri网模型,通过对Petri网模型的定性分析和模拟仿真,其结果可用于修正和改进模型设计.     

支持C4ISR系统研究的一种集成建模方法

建模仿真技术是C4ISR体系结构研究、C4ISR系统分析与设计所采用的重要且有效的方法之一。该文介绍了一种应用于C4ISR系统研究的集成建模方法：应用IDEFO建模方法进行CAISR系统的顶层分析与设计研究，并实现IDEFO模型向OOPN模型的转换；然后实现OOPN模型的动态运行，并根据仿真结果，度量、评估顶层分析与设计成果或系统的性能。最后，本文给出集成IDEFO和OOPN的建模仿真方法的一个简单应用示例。     

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

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

OOPN和PNOO建模技术研究

面向对象方法是一种非形式化的建模方法,对建模后的系统缺乏有效的分析和验证手段.Petri网是一种形式化的建模工具,存在无输入、输出和状态空间爆炸等问题.针对以上问题提出了将面向对象和Petri网结合为OOPN、PNOO的两种建模方法,具体分析了这两种方法的特点和步骤并进行了比较.结果表明面向对象和Petri网的有机结合克服了各自的缺点,方便了系统建模,由此可见多种建模技术的融合将成为未来系统建模的发展趋势.     

基于面向对象Petri网的Web服务合成

主要讨论了基于面向对象Petri网的Web服务合成技术。利用此技术,不仅可以精确描述Web服务与合成运算的形式化语义,还可以建立合成Web服务的控制流模型。研究了Web服务组件与OOPN(面向对象Petri网)元素之间的映射关系,讨论了基于OOPN的Web服务合成的各种运算,并给出了建模步骤。最后结合应用实例进一步验证了本文的工作。     

基于组件的空间集成建模研究*

分析了模块化、组件式和基于服务三种主要的空间集成建模方法的特点和关键问题,指出基于组件方法在研究机构内部或之间的模型共享和复用方面具有更大的优势。描述了所设计的一个基于组件的空间集成建模的方案,对设计的主要内容,即集成模型的结构、模型的接口规范、模型的耦合方式,以及支持模型集成的基础库进行了讨论,并分析了设计所具有的潜在优势。基于以上设计,实现了一个空间集成建模系统,并针对化学品突发事件建立了集成的应急响应辅助支持模型。     

UML／OOPN集成建模技术研究

文章探讨了可视化面向对象方法与对象Petri网（00PN）方法的集成建模问题。首先根据两种方法的互补性，阐述了UML／OOPN模型的语义定义、图符定义和形式定义；进而以电子支付领域应用为例，提出了UML／OOPN模型的转换与集成优化方法；最后给出了基于体系结构描述语言的软件构架模板。所提出的集成建模方法和研究模型在电子商务软件开发中取得了良好的效果。     

一种面向对象Petri网模型的语义和行为分析

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型（Object-Oriented Petri Net,OOPN）,给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具.     

PETRI网描述的VPML语义

企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础,用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础,利用PETRI网描述VPML的所有语义,证明其语义的正确性与完备性。利用二者之间建立的映射关系,将VPML建立的模型转换为PETRI网描述,借助于PETRI网工具可进行系统性能分析,提高产品开发的可靠性。     

UML-OOPN集成建模方法及其在柔性制造系统的应用

针对柔性制造系统FMS(Flexible manufacturing system)建模特点,提出了UML-OOPN集成建模方法。该方法是用UML(the Unified Modeling Language)建立柔性制造系统FMS(Flexible manufacturing system)模型,然后将该模型映射为面向对象Petri网OOPN(Object-Oriented Petri Nets)网模型,通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计。     

基于时序逻辑的业务过程约束建模及验证*

提出一种可视化的约束规则建模语言(visual constraint modeling language, VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和业务过程两种模型的形式化语义,为约束规则的自动验证提供形式化基础;然后基于模型检验(model checking)技术,简要讨论模型自动验证的实现方法;最后通过一个应用实例说明业务过程约束的建模。     

虚拟原型建模语言VPML

现有的模型描述语言难以满足基于虚拟原型的概念设计中产品模型描述的需求,基于扩充连接图思想,以基于虚拟原型的概念设计产品描述模型V－desModel为核心,提出了一种虚拟原型建模语言VPML,VPML是一种独立于领域与过程的面向机电产品概念设计的虚拟原型模型描述语言,具有较强的几何和行为建模能力,为多领域系统在概念设计阶段的协同设计、并行设计及联合仿真过程提供了一致的模型描述,VPML模型内嵌的虚拟特征生成算法,使得在概念设计阶段建立真实感很强的产品虚拟原型时设计信息不完备问题得到有效解决。     

过程模型中批处理活动执行语义的研究

所有复杂的开发过程都需要过程模型来进行抽象的描述,因此定义了一个可视化过程建模语言VPML,并根据实际应用的需求增加了批处理活动。介绍了VPML的设计思想和基本的原语,详细定义了批处理活动,最后描述了VPML语言和批处理活动的执行语义。     

可视化过程建模语言VPML与PETRI网的等价性证明

VPML（Visual Process Modeling Language)是企事业过程建模系统EPMS（Enterprise Process Modeling System)所采用的可视化过程建模语言,适用于过程模型建造和过程模型模拟。VPML语言功能的强弱直接影响过程建模的能力,它是过程建模、过程优化和运作的基础。因此,VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。以枚举法为基础,利用PETRI网描述VPML的所有语义,从而证明VPML语义的正确性与完备性,综合VPML语言易于掌握,PETRI网描述并发执行简单易行的优点,建立了二者之间的映射关系,加快系统建模过程,提高开发产品的可靠性。     

软件过程环境的设计与实现

本文主要讨论了软件过程环境ISPE（integratedsoftwareprocessenvironment）的设计与实现．首先．讨论了ISPE的体系结构，介绍了可视化的过程建模语言VPMI，（vispalprocessmodelinglanguage）．然后，在这些内容的基础上，详细讨论了ISPE的几个重要的组成部分：过程编辑环境、过程分析和模拟环境以及过程运作环境．最后，本文给出了一个小结．     

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

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

集成化企业建模系统体系结构与实施方法研究

提出一种集成化的企业建模方法,给出了建模框架体系和基于工作流的过程视图建模方法,并设计了基于ＣＯＲＢＡ软件总线的集成化企业建模与仿真优化系统,将企业建模的生命周期加以扩展,提出４阶段生命周期的建模方法,并以工作流模型作为企业模型的核心,提出了实现企业模型到实施系统转化的两种可行方法。     

支持多学科设计优化的集成产品过程建模方法

针对当前主要的设计过程建模方法缺乏表达复杂产品多学科设计过程中资源的组织调用和协作方式等信息,提出一种支持复杂产品多学科设计优化的设计路线图框架过程建模方法.从全面表达设计过程信息的角度出发,描述产品多学科设计优化过程中的主要活动及其协同关系,建立支持多学科设计优化的过程模型;在此基础上,给出了多学科设计优化的过程规划方法,以降低产品设计过程中的迭代,通过构建支持多学科设计优化的集成产品设计过程结构框架,实现产品多学科设计优化的过程集成.最后通过已开发的多学科系统集成平台,应用具体设计实例验证了整套方法的有效性.