构件适应和组装的形式化语义描述

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (21): 36-39.

构件适应和组装的形式化语义描述

谢兄，张维石

大连海事大学计算机科学与技术学院，辽宁大连 116026

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-07-21 发布日期:2007-07-21
通讯作者: 谢兄

Formal specification of component adaptation and composition

XIE Xiong，ZHANG Wei-shi

Department of Computer Science and Technology，Dalian Maritime University，Dalian，Liaoning 116026，China

Received:1900-01-01 Revised:1900-01-01 Online:2007-07-21 Published:2007-07-21
Contact: XIE Xiong

摘要/Abstract

摘要： 构件适应技术是基于构件的软件工程中一个很难解决的问题，分析了三种构件适应结构的应用条件，采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题，根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件，从被适应的构件描述中推导出复合构件的描述，为构件适应的形式化分析、组装正确性检验提供了保证，并列出了一些值得进一步研究的问题。

关键词: 基于构件的软件工程, 软件构件, 构件组装, 构件适应, 软件复用, 形式化描述

Abstract: Software component adaptation is widely recognized to be a crucial problem in component-based software engineering.In this paper，the conditions of component adaptation architecture are analyzed.A component model and three composition architectures are described in formal semantic，including sequential architecture，alternative architecture and parallel architecture.The proposed architecture obtains the semantics of the component requested which has the pre-condition and the post-condition and dynamically composes the requested components based on the condition of the architecture applications.The complex component’s specification can be made automatically from the adapted components’ specifications.The proposed approach in the paper offers a guarantee to the formal analysis of component composition and the validation of the proper component composition.At last the future works are listed.

Key words: component-based software engineering, software component, component composition, component adaptation, software reuse, formal specification

谢兄，张维石. 构件适应和组装的形式化语义描述[J]. 计算机工程与应用, 2007, 43(21): 36-39.

XIE Xiong，ZHANG Wei-shi. Formal specification of component adaptation and composition[J]. Computer Engineering and Applications, 2007, 43(21): 36-39.

[1]	张富为，杨秋翔，宋超峰. 基于卷积神经网络的构件分类策略的研究[J]. 计算机工程与应用, 2019, 55(8): 201-207.
[2]	邓志丹，杨海燕，吴际. 一种约束求解的Web应用测试数据生成与筛选方法[J]. 计算机工程与应用, 2016, 52(18): 214-221.
[3]	张锦1，2，刘曼霞2，赵二群2，柳军飞3. 基于XYZ/SE的软件部分正确性验证[J]. 计算机工程与应用, 2015, 51(14): 46-50.
[4]	金靖1，2，李萌1，2，华哲邦1，2，宋怀达1，2，赵俊峰1，2，谢冰1，2. 一种基于LDA和静态分析的代码功能识别方法[J]. 计算机工程与应用, 2013, 49(15): 27-31.
[5]	汪漪^1，2，李皓^1，2，李晓¹，周俊林³，王磊¹. 多语种构件模型的研究与实现[J]. 计算机工程与应用, 2010, 46(14): 143-147.
[6]	刘行兵^1，2，郑雪峰¹，王宗杰¹，王成耀¹. 油气田图形构件质量模型的研究[J]. 计算机工程与应用, 2010, 46(13): 213-215.
[7]	马华. 面向领域特征聚类的构件组装优化方法[J]. 计算机工程与应用, 2009, 45(21): 197-200.
[8]	唐先贵,李乔良. 一种带非功能特性权值描述的构件模型[J]. 计算机工程与应用, 2009, 45(11): 67-68.
[9]	张成^1,2,吴信才^1,2,罗津¹,胡茂胜¹. 基于构件库/工作流的可视化软件开发[J]. 计算机工程与应用, 2008, 44(10): 82-87.
[10]	蔡剑红李德仁. 多空间尺度下顾及不确定性的投影模型研究[J]. 计算机工程与应用, 2007, 43(14): 77-80.