基于层次CPN的软件建模仿真与性能分析

来源 :中国石油大学(华东) | 被引量 : 0次 | 上传用户:zc198926
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件性能评价认为,在软件开发过程前期发现系统的缺陷和纠正错误花费的代价远远低于在后期发现和修改缺陷所花费的代价。UML是一种面向对象的建模语言,广泛使用于软件开发需求分析的早期阶段,进行系统的建模。但是由于UML语言只能模拟系统静态结构,不能动态仿真系统的行为,所以该模型是难以分析和验证的。着色Petri网(CPN),正式的语义可以有效地显示出系统的状态和动作等,在动态模拟方面有着巨大优势,软件工具CPN TOOLS支持CPN模型仿真和性能分析。因此,建立两个建模语言的转换机制,在软件开发前期构建模型,仿真模型,对模型进行性能分析在软件开发过程中是一种减少资源浪费的有效方法。UML建模语言2.0,给出了一种扩展性能信息到UML模型中的机制。提出按系统的粒度的不同进行分层建模。从用例活动、单个活动、对象三个粒度进行UML建模。建立了一种UML到CPN的转换机制,这种转换机制利用UML和CPN都具有层次性的共性,并且考虑了两者由于建模指导思想的不同而导致语义信息差异。提出了用弱语义建模语言Petri网模型作为中间模型,首先转换层次化的UML模型到Petri网模型,然后在通过添加语义信息和替代变迁、融合库所来扩展Petri网模型为CPN模型。依据系统的粒度的不同分为三个层面叙述了UML到CPN转换过程的方法。应用成熟的CPN模型建模工具CPN TOOLS对转换得到的系统CPN模型进行仿真。运用状态空间分析来检测系统模型的死锁,分析系统的可达性。运用监视器机制,收集系统模型仿真的性能数据,进行性能分析。使用GNUPLOT等画图工具对监视器的收集数据进行画图,直观的显示性能信息。建模人员还可以对CPN模型进行不同的配置,来观察性能信息的变化,从而选择最优的系统配置。开发者可以利用模型仿真结果的反馈来修改系统的设计,从而在软件开发的早期发现系统的缺陷和采取最优的软件性能设计。
其他文献
【正】 在白求恩大夫的故乡——加拿大安大略省格雷文赫斯特市的商务局,发行了白求恩纪念币。纪念币的正面是白求恩的头像。他那一对炯炯有神的眼睛以及紧锁的双眉,严肃的表
检察机关探索检察建议制度已经多年,取得了丰富经验,产生了较好的法律效果与社会效果。但该制度的产生与发展系我国探索的产物,无他国经验可予借鉴。通过对该制度的考察后认
【正】 牡丹江市支行出纳员高金华同志在向黑龙江省委扩大会议作汇报表演的前几天,听说辽宁省来哈尔滨参观的同行中,有一位同志掌握一种新的点钞技术——“桌案式四指提点钞
税收是财政收入的主要来源。为力求税收无漏洞、无死角、无盲区,寿阳县结合实际创新建立了煤企终端监控、中心统管监控、治超平台监控三大监控信息平台,变人力监管为数字监控,变
报纸
高职机械设计基础课程是机械类专业的主要技术基础课,为提高学生学习兴趣,培养学生综合职业能力,本文对该课程开展项目式教学的项目设计、实施及评价进行探讨。
《梁祝》小提琴协奏曲是小提琴民族化的杰作。文章从旋律民族化、演奏方式民族化以及音乐风格民族化三方面回顾剖析了这部作品的民族化特点,对梁祝取得的成功进行探究和论述,
新时代开启新征程,新时代期待新气象。近日,中共中央办公厅印发了《关于进一步激励广大干部新时代新担当新作为的意见》(以下简称《意见》),立足新时代新目标新要求,聚焦干部队伍建
报纸
为适应高校人才培养的需要,确保高校毕业生高效率地就业,应以实事求是的态度开展劳动力市场与高校毕业生的供需分析;用统筹兼顾疏理就业工作的内容和流程;依角色关系组建就业
初涉《品德与社会》第一册教材,我不禁眼前一亮,这册教材以“爱”为主线贯穿始终:爱自我—爱家庭一爱学校一爱家乡,把有内在逻辑联系的“爱”的活动安排在一起。形成有意义的内在集聚,材料组织上给学生很大的活动与思考空间,教师更应该以此为契点,促进学生人格的健全发展。    一、触摸心灵——在反观自我中丰富人格底蕴    《品德与社会课程标准》指出:“课程要关注每一个儿童的成长,发展儿童丰富的内心世界和主体
摘 要:教育实践是学前教育专业学习的重要组成部分,是学前教育理论与实践相结合的重要体现,是培养适应未来发展需要的合格的幼儿教师的重要环节。文章从三个方面进行了阐述。  关键词:中职幼师学校;学前教育;实习指导能力  中图分类号:G715 文献标识码:A 收稿日期:2019-09-20 文章编号:1674-120X(2019)35-0116-01  学前教育实践是以发展学前教育专业学生的幼儿园实际应