登录    注册    忘记密码

期刊文章详细信息

面向体系结构的构件接口模型及其形式化规约  ( EI收录)  

Architecture Oriented Component Interface Model and Its Formal Specification

  

文献类型:期刊文章

作  者:任洪敏[1] 张敬周[2] 钱乐秋[2]

机构地区:[1]上海海事大学计算机系,上海200135 [2]复旦大学计算机科学系软件工程实验室,上海200433

出  处:《计算机工程》

基  金:国家"863"计划基金资助项目(2001AA1100241)

年  份:2005

卷  号:31

期  号:23

起止页码:67-69

语  种:中文

收录情况:AJ、BDHX、BDHX2004、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号:2006029637977)、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊

摘  要:借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。

关 键 词:基于构件的软件工程  软件体系结构 构件接口模型  接口规约  行为协议  

分 类 号:TP311]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心