|
|||||
|
|
| 基于Event-B形式化分析UML模型一致性 | |
| 摘 要： | 软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模型的一致性,提出UML模型向Event-B模型转换的方法和规范性要求,设计具体的转换算法,证明这些算法的规范性以及采用这些算法转换得到的Event-B模型和原UML模型的等价性.文中提出了基于EventB形式化分析UML模型一致性的方法,并通过具体的案例说明了方法的具体执行过程.结果证明:基于Event-B形式化分析UML模型一致性的方法是有效的,可帮助改进UML模型质量. |
| 本文献已被 CNKI 等数据库收录！ | |