构件式体系结构模型转换的语义一致性

吉林大学学报(工学版) ›› 2010, Vol. 40 ›› Issue (01): 238-0244.

构件式体系结构模型转换的语义一致性

侯金奎^1,2

1.潍坊学院计算机与通信工程学院,山东潍坊 261061|2.山东大学计算机科学与技术学院,济南 250101

收稿日期:2008-04-03 出版日期:2010-01-01 发布日期:2010-01-01
通讯作者: 侯金奎(1976-),男,讲师,博士.研究方向:模型驱动开发,软件体系结构,形式化方法. E-mail:hjk@mail.sdu.edu.cn E-mail:hjk@mail.sdu.edu.cn
作者简介:侯金奎(1976-),男,讲师,博士.研究方向:模型驱动开发,软件体系结构,形式化方法. E-mail:hjk@mail.sdu.edu.cn
基金资助:
山东省科技攻关计划项目(2008GG10001026)

Semantic consistency of component-based architecture model transformation

HOU Jin-kui^1,2

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

Received:2008-04-03 Online:2010-01-01 Published:2010-01-01

摘要/Abstract

摘要：

基于软件体系结构模型的形式化描述，从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述，并建立了相应的判定标准，同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式，对模型转换的语义特性保持进行验证，克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。

关键词: 计算机软件, 模型转换, 形式化语义, 软件体系结构, 语义一致性

Abstract:

The description of the semantic property preservation of the software architecture model was analyzed from the structure semantics, the axiomatic semantics and the behavioral semantics based on the formalized description of the software architecture model. The corresponding judging criteria were set up. An approach to prove whether a transformation satisfies the preservation constraints was given which can verify the semantic preservation of the model transformation theoretically in stead of by model checking. The results provide a theoretical guidance for the definition of the model transformation rules and validation of mapping relations of the model.

Key words: computer software, model transformation, formalized semantics, software architecture, semantic , consistency

中图分类号:

TP311

侯金奎. 构件式体系结构模型转换的语义一致性[J]. 吉林大学学报(工学版), 2010, 40(01): 238-0244.

HOU Jin-kui. Semantic consistency of component-based architecture model transformation[J]. 吉林大学学报(工学版), 2010, 40(01): 238-0244.

参考文献

相关文章 15

[1]	马健, 樊建平, 刘峰, 李红辉. 面向对象软件系统演化模型[J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[2]	罗养霞, 郭晔. 基于数据依赖特征的软件识别[J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[3]	应欢, 王东辉, 武成岗, 王喆, 唐博文, 李建军. 适用于商用系统环境的低开销确定性重放技术[J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[4]	李勇, 黄志球, 王勇, 房丙午. 基于多源数据的跨项目软件缺陷预测[J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[5]	王念滨, 祝官文, 周连科, 王红卫. 支持高效路径查询的数据空间索引方法[J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[6]	特日跟, 江晟, 李雄飞, 李军. 基于整数数据的文档压缩编码方案[J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[7]	康辉, 王家琦, 梅芳. 基于Pi演算的并行编程语言[J]. 吉林大学学报(工学版), 2016, 46(1): 235-241.
[8]	陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[9]	刘磊, 王燕燕, 申春, 李玉祥, 刘雷. Bellman-Ford算法性能可移植的GPU并行优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[10]	冯晓宁, 王卓, 张旭. 基于L-π演算的WSN路由协议形式化方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[11]	李明哲, 王劲林, 陈晓, 陈君. 基于网络处理器的流媒体应用架构模型(VPL)[J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[12]	王克朝, 王甜甜, 苏小红, 马培军. 基于频繁闭合序列模式挖掘的学生程序雷同检测[J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.
[13]	黄宏涛，王静，叶海智，黄少滨. 基于惰性切片的线性时态逻辑性质验证[J]. 吉林大学学报(工学版), 2015, 45(1): 245-251.
[14]	范大娟^{1, 2}, 黄志球¹, 肖芳雄¹, 祝义¹, 王进¹. 面向多服务交互的相容性分析与适配器生成[J]. 吉林大学学报(工学版), 2014, 44(4): 1094-1103.
[15]	贺秦禄¹, 李战怀¹, 王乐晓¹, 王瑞². 云存储系统聚合带宽测试技术[J]. 吉林大学学报(工学版), 2014, 44(4): 1104-1111.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed