基于UML状态图的C4ISR系统的建模和实时分析

针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模。同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性。应用一个C4ISR防空实例表明了该方法的可行性和实用性。     

对象Petri网及其在C4ISR系统仿真中的应用

首先给出对象Petri网（Object based Petri Net,OPN)的定义，介绍了OPN对基本Petri网的扩展，然后总结OPN的特点和C4ISR系统仿真模型的建模原则，讨论了OPN在C4ISR系统仿真建模中的适用性，最后对一个防空战术C4ISR系统建立OPN模型，验证了OPN的可用性。     

对象Petri网及其在C~4ISR系统仿真中的应用

首先给出对象Petri网 (ObjectbasedPetriNet,OPN)的定义 ,介绍了OPN对基本Petri网的扩展。然后总结OPN的特点和C4 ISR系统仿真模型的建模原则 ,讨论了OPN在C4 ISR系统仿真建模中的适用性。最后对一个防空战术C4 ISR系统建立OPN模型 ,验证了OPN的可用性     

一种集成U—P的工作流建模方法与正确性分析

Petri网和统一建模语言UML是当前工作流建模领域两种非常流行、功能强大的建模工具。Petri网便于描述,可以动态地运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够,缺乏有效、严密的分析工具与方法。本文整合两种建模方法的优点,提出一种集成U．P建模的方法,该方法能够有效地描述系统,实现系统的模块化和模型重用,还能够对系统进行严密的分析,通过对模型仿真,找出其缺,羔和不足。     

光电干扰武器系统C3I可执行建模的研究

UML已经成为面向对象分析与设计建模事实上的标准。基于UML的C3I系统模型的设计结果是对系统的静态表述，而C3I系统的本质是动态的。着色Petri网(CPN)具有强大的描述能力及严密的数学基础和多种分析手段，并且是可以仿真运行的。提出了从UML产品映射到可用于逻辑、行为和性能方面体系结构评价的CPN可执行模型的方法，对光电干扰武器系统C3I进行了UML建模的一般描述，阐述了光电干扰武器系统C3I从UML产品映射到CPN建立可执行模型的过程。通过对可执行模型CPN的仿真可对光电干扰武器系统C3I进行完整准确的评价。     

基于UML扩展的实时系统建模方法

UML是一种应用广泛的面向对象建模语言，但是在对实时系统的建模中，UML缺乏实时和并发特性的描述能力，运用UML的扩展机制，借鉴着色Petri网描述并发的思想，扩充了UML的模型元素，并在此基础上提出了一种并发图，用于描述实时系统任务间的动态并发行为。最后通过一个实例说明了该扩展的应用方法和有效性。     

顺序图至Petri网转化方法的研究与实现

作为一种面向对象分析和设计建模语言，统一建模语言（UML）已经越来越多的被用在大型系统中，然而，UML是半形式化的，这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分，同样存在这样的问题，而Petri网作为一种建模工具，有着严格的形式化语义，而且有很多成熟的分析方法。该文针对UML20顺序图模型，结合几个简单Petri网结构，提出了将顺序图转换为Petri网的算法，最后通过实例说明了转化算法的有效性。     

UML和着争PETRI网在物资采购建模中的应用

本文讨论了如何用当今流行的建模语言UML对系统进行建模，列出了一个完整的物资采购实例，通过这个实例分析建模的全部过程，提出UML作为建模语言本身存在的问题，并就存在的问题提出了着色Petri的解决方案。将UML和Petri网联合起来对系统进行建模。     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.     

基于消息顺序图和Petri网的移动应用监测平台建模分析

随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。     

An object-oriented approach to formally analyze the UML 2.0 activity partitions

Nowadays, UML is the de-facto standard for object-oriented analysis and design. Unfortunately, the deficiency of its dynamic semantics limits the possibility of early specification analysis. UML 2.0 comes to precise and complete this semantics but it remains informal and still lacks tools for automatic validation. The main purpose of this study is to automate the formal validation, according a value-oriented approach, of the behavior of systems expressed in UML. The marriage of Petri nets with temporal logics seems a suitable formalism for translating and then validating UML state-based models. The contributions of the paper are threefold. We first, consider how UML 2.0 activity partitions can be transformed into Object Petri Nets to formalize the object dynamics, in an object-oriented context. Second, we develop an approach based on the object and sequence diagram information to initialize the derived Petri nets in terms of objects and events. Finally, to thoroughly verify if the UML model meets the system required properties, we suggest to use the OCL invariants exploiting their association end constructs. The verification is performed on a predicate/transition net explored by model checking. A case study is given to illustrate this methodology throughout the paper.     

基于活动图的C4ISR能力需求过程建模及验证

当前对C⁴ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在C⁴ISR系统能力元概念模型的指导下,通过扩展UML活动图得到系统的能力需求过程元模型。然后用本体表示能力需求过程元模型语义,通过对本体的逻辑推理实现对C⁴ISR系统能力需求过程元模型的验证。     

基于UML和Petri网的锅炉仿真系统的研究

结合了UML状态图的表达特性和Petri网的分析特性,总结出状态图的设计步骤和状态图转化为Petri网的规则,并以国家质检总局科技项目-锅炉仿真系统为背景,对锅炉自动燃烧过程实例进行分析,按照设计步骤和转化规则,最终用Petri网描述出实例,为进一步分析系统特性奠定基础.     

基于UML顺序图的Petri网建模

UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。     

UML活动图的形式语义及分析

UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。     

统一建模语言状态图的测试用例生成方法

目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts.作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法.考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法,最终实现对时间扩展UML statecharts的测试.     

基于XML的UML时序图向Petri网的转换

针对统一建模语言（UML）时序图与Petri网间转换的问题,提出基于消息的UML时序图向Petri网转换的映射算法。以XMI,XPDL,XSLT为核心,建立基于可扩展标记语言（XML）的实现该映射算法的3层转换方案。结合XML应用环境要求,建立映射处理流程,并通过实例对方案可行性进行了验证。