免费论文：鉴于Petri网的UML状况机模子的情势化考证本领接洽

跟着软硬件工程本领的兴盛，UML变成可视化建立模型谈话究竟上的产业规范，所以在产业界、学术界被普遍供认与沿用。在寰球范畴内，UML更是面向东西本领范围内占主宰位置的规范建立模型谈话。但是，在UML博得宏大胜利的同声，在某些一定运用中仍生存少许题目，比方在高真实性范围，用户因要害模子的语义不决定性而面对开拓体例的品质和本能的宏大挑拨，而状况机在这类体例的开拓傍边被洪量运用，以是就亟需一种体制来考证状况机模子的精确性。Petri网既是一种图形化建立模型东西，又是具备庄重的语法和语义设置的情势化本领，不只能灵验地对体例举行刻画和建立模型，对体例的并发性、异步性和不决定性也有很强的动静领会本领。舆论经过将UML状况机模子变化为Petri网模子，再运用Petri网的领会考证本领，不妨实行对状况机模子的精确性的考证。如许就不妨在安排阶段创造体例的缺点，进而缩小软硬件开拓后期才创造安排的缺点而带来的丢失，保护了体例的精确性和安定性。舆论开始给出了UML状况机的设置，下来对状况机的语义举行了充溢的接洽，为反面状况机到Petri网的变化做普通处事，重要接洽状况机运转进程的状况震动语义、变换震动语义和辩论变换的优先级。而后在UML状况机到Petri网的变化进程中，完备了UML状况机到平面模子的变化本领，这种本领的手段是去掉复合状况和搀杂变换，获得平面模子FM，下来引见了平面模子到Petri网的变换本领，在这个进程中提出了变换事变构造TES，给出了复合变换的变化本领宁静面模子到Petri网的变化准则，并在表面和语义上领会了变化本领的精确性。接下来给出了原形体例的安排和实行本领，结果给出几个用Petri网考证状况机模子的范例。过程试验表明，舆论接洽功效有确定的表面和适用价格，不妨在很大水平上考证状况机模子中的缺点。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/271107.html