共查询到15条相似文献,搜索用时 93 毫秒
1.
2.
3.
4.
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。 相似文献
5.
UML状态图和Petri网络在类测试用例生成的应用 总被引:2,自引:0,他引:2
分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的. 相似文献
6.
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法.论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化UML状态图的方法,指出了它们各自的优缺点以及应用领域. 相似文献
7.
基于UML状态图的测试技术研究 总被引:1,自引:1,他引:1
UML统一建模语言已经广泛应用于软件开发中,基于UML图的测试技术最近成为了一个研究的热点,其中对UML状态图的测试有着广泛应用前景。UML状态图是传统状态图的变体,增加了层次、并发、广播。所以UML状态图的测试方法建立在对传统状态机的测试方法的基础上,对层次、并发、广播的处理或转换。本文介绍了基于UML状态图的测试方法和测试工具的研究进展,最后讨论了未来可以研究的方向。 相似文献
8.
对象Petri网及其在C4ISR系统仿真中的应用 总被引:5,自引:0,他引:5
首先给出对象Petri网(Object based Petri Net,OPN)的定义,介绍了OPN对基本Petri网的扩展,然后总结OPN的特点和C4ISR系统仿真模型的建模原则,讨论了OPN在C4ISR系统仿真建模中的适用性,最后对一个防空战术C4ISR系统建立OPN模型,验证了OPN的可用性。 相似文献
9.
10.
支林仙 《数字社区&智能家居》2011,(9)
该文基于UML状态图对缓存并发读写问题进行面向方面的建模,把系统的同步和调度分离出来,建模为方面。该方法有效解决了面向对象中功能和代码混乱的现象,也提高了系统模块的可复用性。 相似文献
11.
12.
13.
UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。 相似文献
14.
物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。 相似文献