| 构件式体系结构模型转换的语义一致性 |
| |
| 引用本文： | 侯金奎.构件式体系结构模型转换的语义一致性[J].吉林大学学报(工学版),2010,40(1):238-0244. |
| |
| 作者姓名： | 侯金奎 |
| |
| 作者单位： | 潍坊学院,计算机与通信工程学院,山东,潍坊,261061;山东大学,计算机科学与技术学院,济南,250101 |
| |
| 基金项目： | 山东省科技攻关计划项目(2008GG10001026) |
| |
| 摘 要： | 基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。
|
| 关 键 词： | 计算机软件 模型转换 形式化语义 软件体系结构 语义一致性 |
| 收稿时间： | 2008-04-03 |
Semantic consistency of component-based architecture model transformation |
| |
| HOU Jin-kui.Semantic consistency of component-based architecture model transformation[J].Journal of Jilin University:Eng and Technol Ed,2010,40(1):238-0244. |
| |
| Authors: | HOU Jin-kui |
| |
| Affiliation: | 1.School of Computer and Communication Engineering, Weifang University, Weifang 261061, China;2.School of Computer Science and Technology, Shandong University, Ji′nan 250101, China |
| |
| Abstract: | |
| |
| Keywords: | computer software model transformation formalized semantics software architecture semantic consistency |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(工学版)》浏览原始摘要信息 |
|
点击此处可从《吉林大学学报(工学版)》下载全文 |
|
