【摘 要】
：
设计初期的错误,严重的影响着实现阶段的代码验证、测试、及运行维护期的成本和工作量。在应用建模阶段尽量减少错误,对提高整个软件开发的效率和质量,具有重要的理论研究意
论文部分内容阅读
设计初期的错误,严重的影响着实现阶段的代码验证、测试、及运行维护期的成本和工作量。在应用建模阶段尽量减少错误,对提高整个软件开发的效率和质量,具有重要的理论研究意义和广泛的实际价值。论文介绍了统一建模语言UML的基本概念、工具,并分析了其优缺点,讨论了Petri网的基本概念、结构特点和存储机制,总结了Petri网定义语言PNML的性质、结构描述及其应用所支持的工具。论文通过分析XML格式UML文件和XML格式Petri网文件各自的特点,给出了UML到Petri模型转换的设计框架,深入研究了针对UML中的用例图、状态图、协作图、时序图和活动图等到Petri网的转换规则和实现方案。结合UML模型和Petri网模型的存储机制,以XML为转换对象,实现了UML模型到Petri网模型的转换功能,给出了具体实现过程和界面设计。基于关联矩阵和标识计算,应用WoPeD2.0和Tina验证工具,研究了分析验证模型的原理和方法。结合应用案例给出了UML活动图和时序图分别转换为Petri网模型的分析验证过程。论文最后总结了课题的研究成果,结合作者的研究方向,提出了进一步的研究目标和展望。
其他文献
随着企业在信息化建设的不断投入，在运行中的信息系统数量越来越多，系统的规模也越来越大，且IT基础设施规模庞大、结构复杂、品牌众多，为实现信息资源合理配置、有效管理，确保系统
随着我国对近地空间环境的不断探索,获取了海量的空间环境探测数据,这些数据具有时变、动态、空间真三维、属性多维的特性,而目前基于文件的数据组织存储方式不能高效回答数
本文首先就ITS的概念、国内外发展现状进行了研讨,分析了面向服务架构的应用现状,并对传统ITS、面向服务架构、知识服务和Agent技术进行了简单的分析和研究,为服务型AB-ITMS
阿尔茨海默症（AD）是世界上最常见的疾病之一。它是一种神经退行性疾病，会使得患者的认知功能出现障碍，记忆力衰退。至目前为止，对其尚未有有效地知了手段。也因此，AD的早期诊断是一
针对电梯轿厢内暴力行为的日益增多,安全问题需要得到更多的关注。而目前的传统视频监控无法自动地检测异常行为,还需要人参与其中,其效率和准确性都不能令人满意。智能视频
行人检测是计算机视觉领域重要的研究方向，其涉及到数学、模式识别、人工智能和机器学习等多学科的知识。行人检测在智能交通领域（如车辆安全、视频监控和自动驾驶系统等）具有广
随着虚拟现实和三维仿真技术的发展,越来越多的针对特定领域的仿真系统应运而生。而针对目前起重吊装行业中手工制定吊装方案的繁重和低效,且无法直观地对吊装方案的有效性和
随着网络信息技术的发展,人们在日常工作中需要处理越来越多的文本信息,文本分类作为这一领域的关键技术近年来日益受到关注,传统的文本分类方法需要大量的已知类别文本来帮
由于XML是一种简单、开放、描述性的语言,随着信息技术的不断发展,XML不仅成为Internet上数据表达与集成的标准,更是被用于搜索引擎、电子商务、应用集成等多个方面,受到广泛
在“三网合一”的发展趋势下,西南交通大学四川省网络通信技术重点实验室提出了以“面向以太网的物理帧时槽交换技术”(EPFTS-Ethernet-oriented Physical Frame Timeslot)为