UML活动图到Petri网映射方法的研究与实现

UML活动图缺乏精确的语义描述.难以对其正确性进行分析,而CPN模型有严格的数学定义和分析方法,可用于验证模型的正确性.基于CPN模型的这一特性.本文给出了一种UML活动图到CPN模型的映射方法.首先根据UML活动图模型的形式化描述,将活动图划分成子模块,利用提出的活动图基本结构到CPN模型的映射方法将子模块映射为CPN模型,最后组合为整个活动图的CPN模型,并用实例证明UML活动图能快速地映射为CPN模型.     

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

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

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模，但缺乏有效的模型检测的方法，使用形式化方法对UML模型进行分析，可以发现UML模型的设计问题，提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网，既是一种图形化建模工具，又是具有严格的语法语义定义的形式化方法。通过引入事件托肯，改进了将UML模型转换为对象着色Petri网的方法，结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型讲行了分析．验证了模型的一系列性质．     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。     

基于UML的空间位置和坐标变换建模方法

针对常用的WGS-84坐标系统,应用基于统一建模语言（UML）的面向对象建模方法,建立空间位置和坐标变换的对象模型,采用UML类图描述空间参考坐标系模型、空间位置模型和坐标变换模型的对象定义、层次结构和关联关系,采用UML活动图和顺序图描述坐标变换算法。     

基于AUML与GPN的Agent交互协议建模

本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议 建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。     

基于UML和Petri网的铁路联锁软件建模

在异种嵌入式平台上，采用统一建模语言UML，可为铁路联锁软件建立平台无关模型，从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性，采用了Petri网作为补充，对复杂的动态行为和约束规则，在模型中加入了精确和严格的形式化描述。     

基于CPN与Aalaadin元模型的MAS建模

对于MAS而言,传统的UML已经无法满足建模的需求,必须找到一种更好的方式来对MAS建模,这里对UML进行了研究和扩展至AUML,以达到对建模的需求,还使用了CPN与Aalaadin元模型来弥补AUML的不足,CPN与Aalaadin元模型也能很好的互为补充,极大提高了MAS模型的可行性.     

UML在虚拟企业集成模型中的应用

建立虚拟企业集成模型是虚拟企业创建和运作的关键。在分析虚拟企业建模和其面临问题的基础上,提出使用面向对象的、可视化的统一建模语言UML,来为虚拟企业集成模型进行建模,并详细介绍了UML如何对虚拟企业集成模型各视图进行描述。最后,还提出了UML对虚拟企业建模的集成支持环境。     

UML在学生选课系统中的应用

UML是以对象模型为基础的适用于编制软件蓝图的标准化语言，它提供了软件过程和方法的描述基础。本文介绍UML的主要内容，并以学生选课系统为实例，探讨了基于UML的建模过程。     

基于赋时有色petri网的维修过程模型

维修过程模型是研究维修保障系统结构与运行的基础。petri网模型具有直观、形象的优点，又是严格定义的数学对象，既可用于静态的结构分析，又可用于动态的行为分析，具有灵活的建模和强大的系统性能分析能力，是描述维修过程的有力工具。该文介绍了petri网方法的有关概念、特性。假定了典型的维修资源配置环境，对维修资源进行了分类。描述了典型的维修过程，应用赋时着色Petri网建立了维修过程的petri网模型。文章最后讨论了模型的应用。     

基于UML和CPN的列控系统等级转换建模与分析

针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方法的有效性。验证结果表明,UML和CPN模型相结合的方法适合于列控系统需求规范的验证。搭建的等级转换模型能够满足系统实时性要求。在保证切换成功率的前提下,列车运行速度与切换时间成反比,速度越高,切换时间越短;列车速度越高,对系统实时性要求也越高。     

联锁软件的统一建模语言和Petri网建模

使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model．PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。     

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

UML是一种应用广泛的面向对象建模语言，但是在对实时系统的建模中，UML缺乏实时和并发特性的描述能力，运用UML的扩展机制，借鉴着色Petri网描述并发的思想，扩充了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.     

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

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

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

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