-
题名面向体系结构的构件接口模型及其形式化规约
被引量: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
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向铁路控制系统领域的构件接口描述方法研究
被引量:1
- 2
-
-
作者
任荔娜
-
机构
西安铁路职业技术学院
-
出处
《自动化与仪器仪表》
2016年第9期8-10,共3页
-
文摘
目前已有的接口描述方法是一种被动的描述方式,它只对该接口的名称、服务方法、输入输出参数等进行了描述,导致各个服务之间被孤立起来了。因此,本文提出一种新的接口描述方法,它给出了接口服务与其他接口服务之间的潜在关系信息,这些信息不仅方便了客户的使用,更有助于在铁路控制软件开发过程中主动发现其他可用的接口服务,使其来满足后续的功能需求,这样不仅提高了软件开发的效率同时提高了软件的复用率和可维护性[1]。
-
关键词
软件复用
构件接口描述
铁路控制系统
-
Keywords
software reuse
component interface
railway control system
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名信息家电控制器辅助系统仿真构件数学模型
- 3
-
-
作者
朱超平
林吉海
-
机构
重庆工商大学计算机科学与信息工程学院
-
出处
《重庆工商大学学报(自然科学版)》
2006年第3期273-276,共4页
-
文摘
为了解决信息家电辅助控制系统中仿真构件开发的复杂性和多样性,降低整个系统的开发难度,提出了一种适用于系统开发的仿真构件数学模型;给出了信息家电辅助系统中仿真构件的定义、分类和数学模型,并根据Hoare逻辑,提出了验证仿真构件内部逻辑设计正确与否的方法;最后,给出了一个空调辅助开发系统中仿真构件的实现方法。
-
关键词
构件模型
构件接口
软件复用
仿真构件
-
Keywords
simulation component
component model
component interface
software reuse
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式应用中运行支撑框架的构件化技术研究
被引量:5
- 4
-
-
作者
冯庆
桑楠
熊光泽
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机科学》
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
- 5
-
-
作者
字天文
刘晓燕
沈嘉权
-
机构
昆明理工大学信息工程与自动化学院
-
出处
《计算机工程与应用》
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
- 6
-
-
作者
张继宏
徐林
龚晓峰
王红军
-
机构
四川大学计算机学院
四川大学电气信息学院
-
出处
《计算机应用》
CSCD
北大核心
2004年第S1期319-320,共2页
-
文摘
采用分层软件体系架构构建复杂企业计算信息系统 ,核心技术是接口定义 (构件分解 )与构件集成。通过解析软件系统架构中的构件接口定义 ,提出一种标签驱动接口设计模式 ,以实现软件系统一定程度上的柔性 ,核心思想是用数据流状态来映像应用功能变化 ,简化构件接口调用 ,降低模块之间耦合性 ,以利构件模块复用。标签驱动接口设计模式简洁易用 ,具有平台独立性。
-
关键词
标签驱动
设计模式
构件接口
软件无线电
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名MQX-RTOS底层设备驱动构件可复用性研究
被引量:3
- 7
-
-
作者
朱仕浪
王宜怀
冯德旺
-
机构
福建农林大学计算机与信息学院
苏州大学计算机科学与技术学院
-
出处
《计算机测量与控制》
北大核心
2014年第5期1658-1660,1663,共4页
-
基金
国家自然科学基金资助项目(60871086)
-
文摘
针对MQX实时操作系统下如何有效复用已经成熟的底层设备驱动构件,提高操作系统下底层设备驱动软件的开发速度、效率和质量等问题;在详细分析和研究MQX实时操作系统IO设备驱动三层管理体系构架基础上,将底层设备驱动和操作系统剥离,提出了MQX四层设备驱动管理体系框架;通过设计底层设备驱动接口构件,成功地复用了已有的底层设备驱动构件,避免底层驱动软件重复开发,有效缩短嵌入式软件开发的周期,并通过实例证明了该体系框架的可行性。
-
关键词
软件复用
MQX
设备驱动
接口构件
-
Keywords
software reuse
MQX
device driver
interface component
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名工业嵌入式控制系统软件构件的设计
被引量:2
- 8
-
-
作者
陈晓侠
陆坦
张晓艳
-
机构
大连交通大学 电气信息学院
-
出处
《计算机测量与控制》
CSCD
2007年第8期1102-1104,共3页
-
基金
辽宁省教育厅重大项目(202031003)。
-
文摘
随着计算机在工业控制领域的迅速扩大,软件规模及复杂性的不断提高,软件危机愈加明显地暴露出来,提高软件生产率成为软件产业的当务之急;基于构件的软件复用是当前复用研究的焦点,被视为实现成功复用的关键因素之一;基于构件的嵌入式系统软件复用技术是文中讨论的核心内容,提出工业嵌入式系统的系统级软件设计方法,以软件构件形式对其进行封装,以标准接口形式暴露给用户级应用软件对其进行操作,方便了系统的集成和维护。
-
关键词
软件构件
嵌入式控制系统
构件标准接口
-
Keywords
software component
embedded control system
component standard connection
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于构件技术的嵌入式系统复用软件设计
- 9
-
-
作者
杨胜春
曲朝阳
-
机构
东北电力大学
-
出处
《单片机与嵌入式系统应用》
2008年第5期14-16,共3页
-
文摘
提高软件生产率成为软件产业的当务之急;基于构件的软件复用是当前复用研究的焦点,被视为实现成功复用的关键因素之一。本文主要讨论基于构件的嵌入式系统软件复用技术,提出工业嵌入式系统的系统级软件设计方法,以软件构件形式对其进行封装,以标准接口形式暴露给用户级应用软件对其进行操作,方便了系统的集成和维护。
-
关键词
软件复用
嵌入式系统
构件标准接口
软件构件平台
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名解析面向构件的应用架构
- 10
-
-
作者
黄柳青
-
出处
《程序员》
2005年第6期133-135,共3页
-
文摘
常到北京的人,登长城应该是每年的计划。一路上绿水青山上了长城即可无止境地攀登。体验之余,惊叹起长城的架构来:简简单单的砖头,却构造出稳立千年的奇迹,山势如何多变险峻,亦能随势而就。而我们呕心沥血挑灯夜战的大多企业级应用软件,却过一两年就每每要被“新一代”的系统割接而弃用。
-
关键词
软件程序
构件
应用架构
构件接口
兼容性
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向规约挖掘的事件相关性分析
被引量:1
- 11
-
-
作者
张毅
刘超
董亚卓
-
机构
[
-
出处
《软件》
2014年第3期94-95,共2页
-
基金
电子信息类(60903057)
-
文摘
规约在测试、分析、验证、维护等软件工程的各个阶段都发挥着重要作用。规约挖掘技术试图从程序代码或者程序执行轨迹中自动挖掘软件的规约。寻找相关事件是规约挖掘的第一步,也是最重要的一步。本文给出一种寻找相关事件的静态分析方法,可以把该方法与现有的规约挖掘方法相结合,挖掘更好的规约。
-
关键词
软件工程
规约挖掘
静态分析
构件接口
-
Keywords
software engineering
specification mining
static analysis
component interfaces
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名新加坡装配式建筑发展状况
- 12
-
-
-
出处
《住宅产业》
2017年第7期10-11,共2页
-
文摘
主要观点摘要1.新加坡是世界上公认的住宅问题解决较好的国家,住宅政策及装配式住宅发展理念促进其工业化建造方式得到广泛推广,住宅多采用装配式技术建造,截止到目前(2015年),建屋局总共建设了约100万户的组屋单位,有87%的新加坡人住进了装配式政府组屋。2.上个世纪80年代初,新加坡建屋发展局(HDB)开始逐渐将装配式建筑理念引入住宅工程,并称之为建筑工业化。90年代初,装配式住宅已颇具规模,全国12家预制企业,年生产总额1.5亿新币,占建筑业总额的5%。3.装配式建筑发展政策主要从鼓励生产应用以及提升装配式建筑住宅市场需求两个方面入手。
-
关键词
新加坡人
住宅政策
住宅问题
建造方式
观点摘要
发展政策
住宅户型
万户
构件接口
模数化
-
分类号
F416.92
[经济管理—产业经济]
-
-
题名装配式建筑新国标编制中的“三个一体化”发展论
被引量:2
- 13
-
-
作者
叶浩文
樊则森
-
机构
中国建筑股份有限公司
中建科技集团有限公司
-
出处
《住宅与房地产(中)》
2017年第3期48-50,共3页
-
文摘
2016年,装配式建筑迎来了大发展的春天。党中央、国务院从"调结构、转方式""供给侧结构性改革"和"新型城镇化发展"的战略高度提出了大力发展装配式建筑的指导意见。要求不断提高装配式建筑在新建建筑中的比例,坚持标准化设计、工厂化生产、装配化施工、一体化装修、信息化管理、智能化应用,提高技术水平和工程质量,
-
关键词
装配化施工
新型城镇化
标准化设计
工程质量
结构性改革
集成设计
技术水平
系统集成
构件接口
质量验收
-
分类号
F426.81
[经济管理—产业经济]
-