2. 您的位置
3. 首页
4. 期刊论文
5. 联锁软件的统一建模语言和Petri网建模

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

来源 :计算机辅助工程 | 被引量 : 0次 | 上传用户：lwh020827

【摘 要】

：

使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测

【作 者】

：

杨晋辉 郦萌 

【机 构】

：

同济大学计算机科学与工程系

【出 处】

：

计算机辅助工程

【发表日期】

：

2005年2期

【关键词】

：

联锁软件 建模 统一建模语言 PETRI网 interlocking software modeling unified modeling language ( 

【基金项目】

：

上海市科委资助项目，高等学校博士学科点专项科研项目

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本.UML建模包括静态结构分析和动态行为分析.Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述.

其他文献

追溯助食品企业一臂之力

食品质量和安全问题是食品行业面临的最大挑战。随着人们越来越关注食品污染风险、生物恐怖袭击及其他食品相关的健康和道德问题，全球的食品标准越来越严格，某些国家甚至完全改

期刊

食品企业生物恐怖袭击食品行业安全问题食品质量污染风险道德问题食品标准

CAE软件操作小百科（9）

1 Marc中一些主要单元适合什么分析？Marc的单元库提供180余种单元,分析时可自由选择单元数和单元类型,不同类型的单元可组合使用.梁单元主要模拟直梁、曲梁和桁架结构或用作板

期刊

软件操作CAE单元类型平面应变单元库模拟板组合使用平面应力

浅谈武术课的教学方法

<正> 武术是我国劳动人民在长期的斗争实践中创造和发展起来的一项具有独特民族风格的体育项目,是广大人民喜闻乐见的,锻炼身体行之有效的体育项目之一,也是实现高等学校体育

期刊

武术课武术攻防上手传球体育项目投掷项目动作技术示范面斗争实践综合课劈拳

人性化护理在剖宫产术后预防尿潴留中的应用

目的：观察人性化护理在剖宫产术后预防尿潴留中的应用效果。方法：以我院妇产科行剖宫产术的120例产妇为研究对象，随机将120例产妇分为甲组和乙组各60例，甲组产妇采取常规术后住院

期刊

剖宫产术后尿潴留预防人性化护理效果

国有企业党组织的政治核心作用分析

党组织在国有企业中的地位和作用举足轻重，尤其是在国有企业的改革发展过程中，党组织更是发挥了核心的指导和推动作用。因此，在国有企业中加强党组织建设，形成一套具有高度政治素

期刊

国有企业党组织政治核心作用

日产350Z

350Z的VQ35DE发动机由铝合金材质制造，比铸铁发动机的重量轻了20％。该款发动机的另一卖点是在车主暂时无法找到高标号的汽油的时候，可以临时使用91号无铅汽油，避免发生车辆因为缺

期刊

日产350Z汽车4轮双门双座跑车动力配置个性配置

不变的是那份痴迷

痴迷,那是深深的迷恋与投入。说到痴迷,我便想起了让我痴迷的围棋。黑白两色棋子是两位棋手率领的两支团结的军队,每一颗棋子,每一步路,都是棋手的谋略与算计。棋手正是军队

期刊

围棋

中国润滑油用油水平与国外的差距

期刊

中国润滑油外国汽油机油柴油机油统一润滑油企业民营企业汽车

集体创业视角下农村合作组织转型研究

农村经济的发展要求建构创业型农村合作组织,分析我国农村合作组织的转型研究发现：集体创业是形成组织的关键要素之一,在集体所有的合作组织中,其焦点是将要素的不同组合投入

期刊

集体创业创业型合作组织组织转型

综合护理干预对新生儿黄疸治疗效果分析

目的:分析综合护理干预对新生儿黄疸的治疗效果。方法:选取我院2007年1月至2008年2月收治的新生儿黄疸68例,随机分为两组,每组34例。对照组患儿使用常规护理,干预组患儿使用

期刊

综合护理干预新生儿黄疸治疗效果