【摘 要】
：
软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模型的一致性,提出UML模型向Event-B模型转换的
论文部分内容阅读
软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模型的一致性,提出UML模型向Event-B模型转换的方法和规范性要求,设计具体的转换算法,证明这些算法的规范性以及采用这些算法转换得到的Event-B模型和原UML模型的等价性.文中提出了基于EventB形式化分析UML模型一致性的方法,并通过具体的案例说明了方法的具体执行过程.结果证明：基于Event-B形式化分析UML模型一致性的方法是有效的,可帮助改进UML模型
其他文献
<正>油气管网是我国实施'一带一路'、能源革命等国家倡仪和战略的重要基础设施,是油气上下游衔接协调发展的关键环节,是我国现代能源体系和现代综合交通运输体系的重
探讨了浸泡处理温度、时间和pH对发芽糙米蒸煮食用品质的影响。结果表明,发芽糙米在50℃条件下浸泡后蒸煮可使出饭率、膨胀率和米汤固形物含量达最大值,分别为240.9%、269.2%
日本福岛第一核电站在强烈地震和海啸破坏下发生重大事故一个多月后,救助人员仍然在努力控制事故核反应堆。近日,日本将核事故的危害级别提高到了最高的七级,与当年切尔诺贝
以乙腈为溶剂,通过改变前驱物三聚氰氯和二聚氰胺的比例来调控氮化碳(CN)空心球.采用X-射线衍射(XRD)、扫描电子显微镜(SEM)、傅里叶红外(FTIR)和紫外可见漫反射(UV-VisDRS)
近年来,定海区始终以＂自主创新、重点跨越、支撑发展、引领未来＂为指导方针,加快海洋产业创新能力建设,建立创新平台,培育创新型企业,着力为全区提供科技支撑,推进全区海洋产业
2010年，在市委市政府的领导、重视和大力推动下，全市科技工作以加快推进科技创新、国家创新型试点城市建设为主线，积极贯彻实施中央、省、市决策部署，不断加大抓创新、促转型的工
日前，2011年省直机关第二“双服务”赴宁波工作组在余姚、慈溪等地开展“双服务”活动。活动旨在通过宣传贯彻国家知识产权战略，扎实推进知识产权服务平台推广应用，不断完善知识
随着国家建设的不断推进,我国电网事业得到了很大程度的提高。但是在断路器在线状态中,电网内部常常存在一些风险,为用电的稳定性带来一定的难题。因此,本文将针对高压状态下
<正>'十二五'期间,我国干线铁路、城际铁路、城市轨道交通建设取得了长足进步。截至2016年,我国铁路运营里程达到12.4万公里,其中高速铁路达到2.2万公里,另有一批城
针对V2 O5／TiO2催化剂建立了三维单孔道模型，基于Eley－Rideal动力学机制，模拟了单孔道内的流动及NOx 在催化剂表面的反应情况．经模拟结果与实验结果对比，证明了模型的合理性．研究表