UML通信图与Petri网转换方法的研究.pdfVIP

∞rvg蛳一】 系统仿真学报@ Ⅶ9汕。l 型竺!! !!!竺!!!!!!竺竺!!竺!!!!竺 !兰!竺 uML通信图和Petri网转换方法的研究 孙莹，蒋波，王赫 摘要软件建模是鼓件}发中的一A重晏环节uML是一和柱有效的彳击，但由于饕乏形式化 的语义，幢得萁应用受刮一定限制Pe【n网具有彤式化的语z和成熟的分析技采，固此，研究T 特uML通帖鸸#捷为Pet^网的转挺兢删迁讨论T这十转按的，￡转棰“＆自动转挺程序曲曲 要＆厦可秆性，从自使得在系统建棰的旱期阶段就可Ⅸ利用艮m脚的各种”析方法对系统模型进 行分析验证 啊关键诃uMI；通信圈PeⅢ目，转换万法 01fH04 中圈分共号TP钟1 文献标识码A 文章蝙号：ⅢH一731xc圳)7)s1 Researchof from 7rfansformationCommunjcationtoPetriNet Diagram sUNMnq，J|ANG80。Ⅵ㈦GHe lDalIⅫ、hn【Imou…～o^1lun^umll6(n6Cmnal lhce币c}e㈣柚sm AhIract：Son…odeJmg……口舳Ipan‘J‘onwaRdeveJ(m…￡UML…ne‘，r on[k m(mellnPBecau…r州1tvufm肿aIiza㈨n，I』MLh“蛐…sinc【loBslnlb邙pJIcmlonomerh如d艮mNec 1samnn“m础1 w汕“mt…dysIst舶nlquesThl‘pap盯me#∞f-md…m甜mfⅢ呵n舢w“西删cm啪 Also Tben D“口㈣Arn胁f pfo舯m sy㈣modelcanka脚yzedmdv蛳d删Ⅵ艮mNe[柚myⅢ*chnlq㈣n岫删1y390of‘ysfcmm删ehng Koywor出：UML，com…1caIIonm雄tam．Pe虮Ⅱel，t咖lsm九Tm口0n 在国内帆事uML形式磊义研究舶机构也槛多。对uML 引言 静态图的形式语义主要是用。蛳∞t．z等静态描述语言实现 uML是一种用}轼件系统的可视化、详述、构造和文 的，而引对比较建形式化的动态嘲则主要是耀项代赦，进程 档化的建模语；．是多种而自对象建模方法统一的产物。近 代数和陀m同等着重描述它们的代数语义或操作语义。 年来，uML的应用从面向对蒙系统建揽扩展剑r宴时系统， uML楔型向P啦j网映剿与转抉方面的研究有幢固的 嵌入式系统、web应用等方面．甚至可用r描述非软件领域 uMLtob印ve Pekf鼢“g和RobP∞I叫鼓表了论殳《u蜘g 的系统。虽熊uML表现出了嘎^的生命力．但0ML也存s雠h∞nc 在看些不足，主要表现在L，MI．罡半形式化的，所以在 埘的方洼．涉段到L肌用例圈状态瑚．尝圈，怫作图。 语言体系结构、语法、语义等方面还存在龈略。近年米