检索结果-内蒙古大学图书馆

对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。

关键词：实时构件时间行为协议形式化描述一致性验证

来源：评论

学校读者我要写书评

暂无评论

RTCS:一种具有精确语义的实时构件描述机制

引用

计算机科学 2005年第8期32卷 205-208页

作者：徐丽萍贾红卫卢炎生华中科技大学计算机科学与技术学院武汉430074

大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础... 详细信息

大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础上,提出了一种具有精确语义的实时构件描述机制—RTCS,并探讨了在实时COR-BA架构内利用RTCS实现构件自动生成的方法。

关键词：实时构件构件描述构件集成实时系统 RTCS 机制语义软件开发方法可复用构件过程自动化

来源：评论

学校读者我要写书评

暂无评论

基于XML描述的实时构件在WEB上的发布

基于XML描述的实时构件在WEB上的发布

引用

作者：谷世江昆明理工大学

学位级别：硕士

在当前的软件开发中,为了降低软件的开发成本且方便用户使用,在新软件的开发定制时,用户都提出了将这些软件继承并进行有效地重组和集成的需求。为了解决此问题,人们提出了基于软构件(Software Component)的软件开发方法。构件是面向软... 详细信息

在当前的软件开发中,为了降低软件的开发成本且方便用户使用,在新软件的开发定制时,用户都提出了将这些软件继承并进行有效地重组和集成的需求。为了解决此问题,人们提出了基于软构件(Software Component)的软件开发方法。构件是面向软件体系结构的可复用软件模块。构件是可复用的软件组成成份,可被用来构造组装成其他软件。基于构件的软件开发(Component-Based Software Development, CBSD)方法是软件工程的重要领域,被认为是解决软件危机、提高软件生产率和软件质量、增强软件的开放性和对外部扰动适应性的主要途径。因此,对构件的规约描述及构件信息的发布将成构件技术研究的一个热点。本文着重于研究学习的构件模型是支持分布式控制系统应用软件开发的实时多任务图形化支持工具、具有实时特性的实时构件模型及接口语法语义规约以及其图形化设计工具DRSCDE的构件模型。在基于刻面描述的实时软构件的基础上引入XML Schema技术,来全面描述实时构件的静态属性和接口行为等信息,并给出了实时构件接口行为的图形化表示,使得实时构件信息描述有一个统一的规范。本文是基于实时构件接口信息的XML Schema规约,在.NET平台下设计了具有C/S模式的实时构件信息发布系统。该系统的用户界面要求用户按照实时构件模型接口信息规范输入,形成一个规范的实时构件接口信息XML文档,然后通过实时构件接口信息的XML Schema规约对实时构件的接口元素属性等信息进行校验,使得用户发布的实时构件接口信息符合实时构件接口模型的统一规范,最后用户可以对实时构件信息进行发布,以一个HTML格式的文件展示在WEB平台上,方便其他用户对该实时构件信息的了解。

关键词：实时构件构件模型接口规约信息校验 WEB发布

来源：评论

学校读者我要写书评

暂无评论

基于C/S关系的实时系统构件交互规约

引用

计算机工程与应用 2007年第17期43卷 104-107,110页

作者：刘晓燕张云生 J-J.Schwarz 李俊昌昆明理工大学信息工程与自动化学院 LIRIS UCB Lyon1IU TA69622 Villeurbanne Cedex France

给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C/S关系的实时软件构件的重用及装配问题,提出了构件相互交互的文本描述语言语法语义规约,其主要刻画了分布式实时构件之间的交互协议及其实... 详细信息

给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C/S关系的实时软件构件的重用及装配问题,提出了构件相互交互的文本描述语言语法语义规约,其主要刻画了分布式实时构件之间的交互协议及其实时特性。

关键词：实时构件实时系统接口设计 C/S关系交互规约

来源：评论

学校读者我要写书评

暂无评论

实时系统构件非功能性接口语义规约

引用

计算机科学 2007年第6期34卷 251-252,257页

作者：刘晓燕张云生 J-J.Schwarz 李俊昌昆明理工大学信息工程与自动化学院 LIRIS UCB Lyon1IUTA69622 Villeurbanne Cedex France

该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的... 详细信息

该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。

关键词：实时系统实时构件接口设计非功能性语义规约

来源：评论

学校读者我要写书评

暂无评论

实时系统构件库的设计与实现

实时系统构件库的设计与实现

引用

作者：罗晓茜昆明理工大学

学位级别：硕士

信息技术在当今的快节奏全球业务活动中起着前所未有的重要作用。随着信息技术的迅猛发展,实时系统的应用变得越来越广,而要实现实时系统的工业化生产方式,软件复用是一种最有效的途径。基于构件的软件开发CBSD用以解决长期以来的软件... 详细信息

信息技术在当今的快节奏全球业务活动中起着前所未有的重要作用。随着信息技术的迅猛发展,实时系统的应用变得越来越广,而要实现实时系统的工业化生产方式,软件复用是一种最有效的途径。基于构件的软件开发CBSD用以解决长期以来的软件重用问题,并已在通用系统开发中占据重要地位,而由于实时系统存在的特性使CBSD在该领域的应用尚未成熟。如今存在着大量可复用的实时系统构件却很难真正被使用,则需要借助构件库来有效地组织和管理这些大量可复用的构件。然而目前存在的构件库大多是通用构件库,库中的构件种类繁多,通用性高但构件适用性差,并对构件库中构件的管理造成了一定难度。构建一个针对实时系统开发领域的实时系统构件库,相对于通用构件库而言,涉及构件数量较少则便于管理,而且其使用者大都对实时系统领域知识相对熟悉,在构件应用中不会产生过多问题,这样能大大提高实时系统构件的复用效率。鉴于上述现状,本文以设计与实现实时系统构件库为核心,对实时系统构件技术进行了探索和研究。针对实时系统实时性强、可靠性要求高等特性,在吸收了现有构件模型优点的基础上提出一种实时系统构件模型CMRTS,该模型关注实时构件的特征信息及其接口。为了支持CBSD并方便对实时系统构件的管理,本文还设计并实现了一个基于Web的实时系统构件库WRRTC。文章首先介绍软件复用与构件技术相关技术,针对实时系统与实时构件的特性提出CMRTS构件模型;其次设计了实时系统构件的存储,并在存储成库的基础上设计了一个基于Web的实时系统构件库管理系统WRRTC以方便对实时构件的管理,该系统中采用刻面分类的方法,并用XML对实时系统构件进行描述来存储构件信息,还用XML对实时系统构件的刻面信息进行了描述;之后分析了基于关键字、刻面和基于接口相结合的多种检索方法实现实时系统构件的检索,并重点分析了基于刻面的实时构件检索方法;最后依据构件库WRRTC的设计,使用.NET和SQL Server技术相结合实现了基于Web的实时系统构件库WRRTC。基于Web的实时系统构件库可以实现对实时系统构件的有效管理,能方便对构件的浏览和检索,此外通过Internet向用户提供实时构件,进一步实现了资源共享,为最终实现基于构件的实时系统开发提供最基础的技术支持。

关键词：实时构件实时构件模型构件存储构件刻面分类构件信息XML描述实时构件检索

来源：评论

学校读者我要写书评

暂无评论

基于XML的实时系统构件规约

引用

计算机时代 2009年第10期 9-11页

作者：谷世江刘晓燕罗晓茜昆明理工大学信息工程与自动化学院云南昆明650011

给出了基于XML描述的实时多任务应用系统图形化设计软件的构件接口语义规约。在基于刻面描述的实时软构件的基础上引入XML Schema技术,全面描述了实时构件的静态属性和接口行为,以方便构件在Web中进行信息交换与处理,方便系统之间的互... 详细信息

给出了基于XML描述的实时多任务应用系统图形化设计软件的构件接口语义规约。在基于刻面描述的实时软构件的基础上引入XML Schema技术,全面描述了实时构件的静态属性和接口行为,以方便构件在Web中进行信息交换与处理,方便系统之间的互操作。

关键词：实时构件实时系统接口规约 XML Schema

来源：评论

学校读者我要写书评

暂无评论

实时系统构件模型及构件库研究

引用

计算机时代 2010年第4期 26-28,31页

作者：罗晓茜刘晓燕谷世江孙璐炜昆明理工大学信息工程与自动化学院云南昆明650011 日照港集团通信公司

针对实时系统具有时间约束性强、可靠性要求高等特点,在吸收现有构件模型优点的基础上,提出了一种实时系统构件模型CMRTS。该模型关注实时系统构件的特征信息及其接口。为了方便管理构件,设计了一个基于Web的实时系统构件库WRRTC,为有... 详细信息

针对实时系统具有时间约束性强、可靠性要求高等特点,在吸收现有构件模型优点的基础上,提出了一种实时系统构件模型CMRTS。该模型关注实时系统构件的特征信息及其接口。为了方便管理构件,设计了一个基于Web的实时系统构件库WRRTC,为有效使用实时系统构件提供支持。

关键词：实时系统实时构件实时构件模型CMRTS 构件库WRRTC

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：