联锁软件的统一建模语言和Petri网建模

来源 :计算机辅助工程 | 被引量 : 0次 | 上传用户:lwh020827
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本.UML建模包括静态结构分析和动态行为分析.Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述.
其他文献
食品质量和安全问题是食品行业面临的最大挑战。随着人们越来越关注食品污染风险、生物恐怖袭击及其他食品相关的健康和道德问题,全球的食品标准越来越严格,某些国家甚至完全改
1 Marc中一些主要单元适合什么分析?Marc的单元库提供180余种单元,分析时可自由选择单元数和单元类型,不同类型的单元可组合使用.梁单元主要模拟直梁、曲梁和桁架结构或用作板
<正> 武术是我国劳动人民在长期的斗争实践中创造和发展起来的一项具有独特民族风格的体育项目,是广大人民喜闻乐见的,锻炼身体行之有效的体育项目之一,也是实现高等学校体育
目的:观察人性化护理在剖宫产术后预防尿潴留中的应用效果。方法:以我院妇产科行剖宫产术的120例产妇为研究对象,随机将120例产妇分为甲组和乙组各60例,甲组产妇采取常规术后住院
党组织在国有企业中的地位和作用举足轻重,尤其是在国有企业的改革发展过程中,党组织更是发挥了核心的指导和推动作用。因此,在国有企业中加强党组织建设,形成一套具有高度政治素
350Z的VQ35DE发动机由铝合金材质制造,比铸铁发动机的重量轻了20%。该款发动机的另一卖点是在车主暂时无法找到高标号的汽油的时候,可以临时使用91号无铅汽油,避免发生车辆因为缺
痴迷,那是深深的迷恋与投入。说到痴迷,我便想起了让我痴迷的围棋。黑白两色棋子是两位棋手率领的两支团结的军队,每一颗棋子,每一步路,都是棋手的谋略与算计。棋手正是军队
期刊
农村经济的发展要求建构创业型农村合作组织,分析我国农村合作组织的转型研究发现:集体创业是形成组织的关键要素之一,在集体所有的合作组织中,其焦点是将要素的不同组合投入
目的:分析综合护理干预对新生儿黄疸的治疗效果。方法:选取我院2007年1月至2008年2月收治的新生儿黄疸68例,随机分为两组,每组34例。对照组患儿使用常规护理,干预组患儿使用