摘要
UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.
UML has become the de-facto standard for object-oriented modeling. However, it is still an informal language without a precise semantics. PVS is higher-order logic formal specification language. Transforming UML diagram into formal specification was studied in order to combine the advantages of both languages. An approach for transforming UML class diagram into PVS specification was given. Following the four-layer architecture of UML, meta-meta-model, meta-model and UML diagram are formalized in three steps, and the result of each step provides a context foundation for the next formalization. This approach is better in decreasing difficulty, ensuring correctness, and can retain much semantics.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2004年第z1期159-163,共5页
Journal of Shanghai Jiaotong University
关键词
统一建模语言
元模型
PVS规范
转换
unified modeling language(UML)
meta-model
PVS specification
transform
