-
题名面向体系结构的构件接口模型及其形式化规约
被引量：7
- 1
-
-
作者
任洪敏
张敬周
钱乐秋
-
机构
上海海事大学计算机系
复旦大学计算机科学系软件工程实验室
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第23期67-69,共3页
-
基金
国家"863"计划基金资助项目(2001AA1100241)
-
文摘
借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。
-
关键词
基于构件的软件工程
软件体系结构
构件接口模型
接口规约
行为协议
-
Keywords
Component based software engineering
Software architecture
Component interface model
Interface specification
Behavior protocol
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式应用中运行支撑框架的构件化技术研究
被引量：5
- 2
-
-
作者
冯庆
桑楠
熊光泽
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2005年第3期152-155,共4页
-
基金
本课题得到国家"八六三"高技术研究发展计划"面向PDA手机的嵌入式软件开发平台"(No.2003AA1Z2210)资助
-
文摘
为增强嵌入式软件的复用性、可移植性,缩短开发周期,通过研究现有的主流构件运行支撑技术,提出了一种面向嵌入式领域的运行支撑体系结构。为实现灵活、开放的嵌入式应用平台,本文首先建立了构件化的嵌入式运行支撑框架模型,然后结合PDA手机领域重点分析了开放式HLA结构和虚拟OS平台等关键技术,最后利用伪代码示例探讨了该领域中应用平台的定制与扩展方法。
-
关键词
嵌入式构件
支撑框架
构件化技术
中间件
构件接口
嵌入式操作系统
-
Keywords
Embedded component
Middleware
Runtime-supporting framework
Component Interface
Embedded operating system
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名实时嵌入式构件模型组装方法及时间性推理
被引量：2
- 3
-
-
作者
字天文
刘晓燕
沈嘉权
-
机构
昆明理工大学信息工程与自动化学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第25期74-77,85,共5页
-
基金
云南省教育厅科学研究基金项目No.07C10799
昆明理工大学人才培养基金No.2008037~~
-
文摘
针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。
-
关键词
实时嵌入式
软构件模型
构件接口
组装
时间性
-
Keywords
real-time embedded system
software component model
component interface
assembly
time
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名标签驱动接口设计模式及其应用
被引量：1
- 4
-
-
作者
张继宏
徐林
龚晓峰
王红军
-
机构
四川大学计算机学院
四川大学电气信息学院
-
出处
《计算机应用》
CSCD
北大核心
2004年第S1期319-320,共2页
-
文摘
采用分层软件体系架构构建复杂企业计算信息系统 ,核心技术是接口定义 (构件分解 )与构件集成。通过解析软件系统架构中的构件接口定义 ,提出一种标签驱动接口设计模式 ,以实现软件系统一定程度上的柔性 ,核心思想是用数据流状态来映像应用功能变化 ,简化构件接口调用 ,降低模块之间耦合性 ,以利构件模块复用。标签驱动接口设计模式简洁易用 ,具有平台独立性。
-
关键词
标签驱动
设计模式
构件接口
软件无线电
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
