期刊文章详细信息
面向体系结构的构件接口模型及其形式化规约 ( EI收录)
Architecture Oriented Component Interface Model and Its Formal Specification
文献类型:期刊文章
机构地区:[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]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...