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

计算机科学 2018年第10期45卷 189-195页

作者：郑交交李彤林英谢仲文王晓芳成蕾刘妙云南大学软件学院昆明650091 云南大学软件工程重点实验室昆明650091

构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件... 详细信息

构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性。

关键词：构件系统软件演化演化一致性接口一致性结构一致性

来源：评论

学校读者我要写书评

暂无评论

构件系统建模及其动态演化一致性验证方法

引用

计算机科学 2017年第11期44卷 80-86,113页

作者：郑明李彤林英周小煊李响明利云南大学软件学院昆明650500 云南省软件工程重点实验室昆明650500

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型... 详细信息

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。

关键词：构件构件系统进程代数弱互模拟动态演化

来源：评论

学校读者我要写书评

暂无评论

构件系统结构的Petri网方法描述

引用

吉林大学学报（工学版） 2012年第S1期42卷 304-308页

作者：王志坚胡玉平陈章广东省电子商务市场应用技术重点实验室广州510320 广东商学院信息学院广州510320

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构... 详细信息

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。

关键词：计算机应用构件系统 Petri网体系结构

来源：评论

学校读者我要写书评

暂无评论

构件系统演化一致性判定方法研究

构件系统演化一致性判定方法研究

引用

作者：郑交交云南大学

学位级别：硕士

软件需求的不断变更是如今的常态,为了既满足用户需求又适应系统依赖环境的改变,现有的构件系统就必须要进行改变演化,使之成为业务功能更强大、满足需求变动和适应系统环境的构件系统。演化后的构件系统中各个构件彼此能够无冗余的按... 详细信息

软件需求的不断变更是如今的常态,为了既满足用户需求又适应系统依赖环境的改变,现有的构件系统就必须要进行改变演化,使之成为业务功能更强大、满足需求变动和适应系统环境的构件系统。演化后的构件系统中各个构件彼此能够无冗余的按照一定次序正常交互,且可以完成演化前的任务,达到用户的要求,即满足一致性是演化操作正确执行的必要条件。一致性判定选取的判定元素单一、不适用于演化阶段以及各个构件是否按照一定次序正常交互的判定局限性是构件系统演化一致性判定需要解决的问题。基于构件的软件开发方式已经是目前主要的开发方法,针对构件式软件在动态演化前后的一致性保持问题,本文基于外部和内部两方面从接口、流程结构、行为三点出发,提出了一种构件系统演化一致性判定方法,具体内容如下:。首先,在演化后的系统中,将每个构件视为判定执行者,让所有的构件协同参与一致性判定过程。从接口和流程结构出发,判断判定执行者和全局的一致性,其中接口一致性包括接口操作对称性和接口消息类型一致性,流程结构一致性是基于UML状态图来进行分析的,这是外部一致性;其次,在满足接口、流程结构一致性的情况下,通过比较判断演化构件在演化前后的行为一致性,这是内部一致性;最后,本文分析了演化过程中可能出现的异常演化情况,并且用π演算对其进行了建模描述。除此之外,对一个图书订购的构件系统实例进行了完整分析,详细描述了本文所提判定方法的分析过程,并且运用π演算对其进行建模检测和推演,然后代码实现了演化一致性分析的原型工具,验证了本文所提方法的可行性和有效性。总之,本文提出了一种演化一致性判定方法,并完整描述了其分析过程。

关键词：构件系统软件演化演化一致性接口一致性结构一致性

来源：评论

学校读者我要写书评

暂无评论

构件库中构件系统的模型和实现

引用

小型微型计算机系统 2002年第9期23卷 1114-1117页

作者：任洪敏王渊峰钱乐秋复旦大学计算机科学技术系上海200433

构件系统是具有某种关联的构件和子构件系统的集合 .构件库管理系统支持和实现构件系统具有重要的意义 .论文描述了一个构件系统的逻辑结构、物理结构和其面向对象的管理技术 .其主要特点是 :(1)构件系统的类型机制 ;(2 )丰富的、支持... 详细信息

构件系统是具有某种关联的构件和子构件系统的集合 .构件库管理系统支持和实现构件系统具有重要的意义 .论文描述了一个构件系统的逻辑结构、物理结构和其面向对象的管理技术 .其主要特点是 :(1)构件系统的类型机制 ;(2 )丰富的、支持共享的构件和构件系统信息 ;(3)构件、构件系统间关系的表达和存储 .因此 ,利用该构件系统能够简单和强有力地表达构件库的体系结构 ,全面支持软件开发生命周期各个阶段构件和大粒度构件系统的复用和构件库的其它功能。

关键词：构件库构件系统模型软件复用面向对象软件工程

来源：评论

学校读者我要写书评

暂无评论

基于结构模式的构件系统测试方法

引用

计算机科学 2005年第11期32卷 227-230页

作者：许静庞博王庆人南开大学信息学院机器智能所天津300071

基于构件的开发模式使大型软件系统的开发提高了效率,增强了可靠性,但同时也给测试带来了诸多困难。本文从构件使用者的角度出发,提出了一种基于结构模式的测试方法,在借鉴ADL的基础上详细描述了这种方法的形式化表示,并给出了工具的设... 详细信息

基于构件的开发模式使大型软件系统的开发提高了效率,增强了可靠性,但同时也给测试带来了诸多困难。本文从构件使用者的角度出发,提出了一种基于结构模式的测试方法,在借鉴ADL的基础上详细描述了这种方法的形式化表示,并给出了工具的设计方案。

关键词：构件系统测试方法软件体系结构结构模式基于构件软件系统可靠性测试带使用者 ADL

来源：评论

学校读者我要写书评

暂无评论

EDI-XML通用数据转换构件系统的设计与实现

引用

计算机科学 2007年第12期34卷 129-131,160页

作者：任洪敏钱乐秋蔡国钧上海海事大学计算机系上海200135 复旦大学计算机科学系软件工程实验室上海200433

本文分析了基于EDI和XML技术的电子商务系统应用集成问题,描述了一个EDI-XML通用数据转换构件系统的设计原则和软件架构,论述了该架构方案中EDI-XML数据模式的定义机制,提出了一个EDI-XML通用数据转换的实现算法。

关键词： EDI XML 企业应用集成构件系统

来源：评论

学校读者我要写书评

暂无评论

一种适用于构件系统的软件抗衰技术框架

引用

计算机科学 2006年第8期33卷 275-277,289页

作者：郑贤福杨群许满武软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

近年来,软件抗衰技术已被证实是解决软件衰老问题的有效途径。本文针对构件系统特点,将Micro-Reboot思想引入到软件抗衰技术中,也即将单个构件作为抗衰技术中检测和措施的对象,一方面使得每个构件能够长时间保持在良好状态,从而提高整... 详细信息

近年来,软件抗衰技术已被证实是解决软件衰老问题的有效途径。本文针对构件系统特点,将Micro-Reboot思想引入到软件抗衰技术中,也即将单个构件作为抗衰技术中检测和措施的对象,一方面使得每个构件能够长时间保持在良好状态,从而提高整个体系的性能,另一方面引入Request-Retry机制,提高系统的可用性。本文基于J2EE构件模型开发出一种新的软件抗衰技术框架,相关理论已成果并在江苏省科技攻关项目“城域网海量视听信息实时点播系统”中应用。

关键词：软件抗衰构件系统抗衰粒度可用性性能优化

来源：评论

学校读者我要写书评

暂无评论

基于结构模式的构件系统测试方法研究

基于结构模式的构件系统测试方法研究

引用

作者：许静南开大学

学位级别：博士

该文分析了传统测试方法对构件系统的测试不适用,提出了一种基于结构模式的测试方法,增加对构件系统内部不同层次的信息描述,包括不同构件子集合间的结构关系描述,以及构件子集合内部的语义关系描述,为构件的使用者集成构件生成样本程... 详细信息

该文分析了传统测试方法对构件系统的测试不适用,提出了一种基于结构模式的测试方法,增加对构件系统内部不同层次的信息描述,包括不同构件子集合间的结构关系描述,以及构件子集合内部的语义关系描述,为构件的使用者集成构件生成样本程序提供必要的信息,以解决问题①.为了寻找生成充分的样本程序集合的规则,该文将此规则分成两个层次,即单元选择规则和集成选择规则,该文只讨论单元选择规则.该文定义构件使用者角度的单元为两个或几个构件通过连接件的连接组成的实体,称为构件偶.所以构件使用者角度的单元,与构件之间的连接方式有关,该文通过对连接件的分类,概括出六种主要的连续件模式,提出基于连接件分类的单元选择准则,以解决问题②.借鉴软件体系结构描述语言(ADL),该文提出了一种用于生成测试样本程序的形式化描述语言TADL(Testing Architecture Description Language),用于对待测试构件系统的模型描述.为了将模型系统转化为可执行的代码,该文给出了具体的算法实现,通过对Microsoft Speech SDK构件系统的样本程序自动生成系统的设计与实现,验证了该文提出的测试方法的正确性和可行性.该文提出的测试方法不仅针对构件系统的测试者,对基于构件的开发者同样有很大的帮助.该方法中定义的系统不同层次的结构描述,增加了系统的可控点,提高了系统的可见性和可追踪性,为系统的维护和进化带来了方便.

关键词：软件测试构件系统软件体系结构描述语言

来源：评论

学校读者我要写书评

暂无评论

乡村装配式住宅构件系统标准化设计方法研究 ——以苏南地区为例

乡村装配式住宅构件系统标准化设计方法研究 ——以苏南地区为例

引用

作者：刘文辉东南大学

学位级别：博士

建筑工业化的转型发展和装配式建筑的研发推广是当前国家城乡建设战略中的重要环节,当前乡村住宅的改善与发展需要逐渐跟上城市住宅的建设品质,因此对于乡村装配式住宅的新型技术研究与实践是乡村振兴背景下的艰巨任务。国外早期的住宅... 详细信息

建筑工业化的转型发展和装配式建筑的研发推广是当前国家城乡建设战略中的重要环节,当前乡村住宅的改善与发展需要逐渐跟上城市住宅的建设品质,因此对于乡村装配式住宅的新型技术研究与实践是乡村振兴背景下的艰巨任务。国外早期的住宅工业化和乡村装配式住宅的相关研究就采用标准化设计理念,预制构件的标准化和通用化水平较高,住宅房屋的设计、生产、运输和建造均采用一套标准化流程。而我国乡村住宅现代化、产业化起步较晚,乡村建筑工业化水平低,乡村装配式住宅发展基础薄弱,其构件工厂化生产与机械化建造水平较低。本论文基于十三五国家重点研发计划中“乡村住宅设计与建造关键技术项目”,通过乡村住宅空间适应性与建筑体系适配性技术研究,探索乡村装配式住宅标准化设计方法及其实践应用。本文采用乡村装配式住宅构件系统标准化设计理论与方法,采用一套符合设计师思维逻辑的标准化设计策略并基于构件系统层面进行逐级控制,提出标准化率定量计算方法,并以此提升其生产建造效率与建筑性能。苏南乡村地区具备良好的经济文化基础,适合乡村装配式住宅技术的研发与推广。因此,本文选取适用于该地区的三类装配式住宅建筑体系,研究形成了乡村装配式轻型钢结构体系、乡村装配式刚性骨架结构体系与乡村装配式复合腔体建筑体系的三种装配式住宅体系的关键技术,并通过实践研究得出符合苏南乡村地区的装配式住宅的标准化构件系统组合设计与应用方法。本文将BIM技术与乡村装配式住宅构件系统分类方法相结合,并运用信息化管理平台进行构件系统的全过程调用、追踪、建造与运维管理,为乡村装配式住宅产品化及其产业数字化发展提供基础。基于互联网WEB端研发乡村装配式住宅产品用户选购与定制平台构架,并采用Python程序对乡村装配式住宅产品进行设计匹配与构件标准化优化,以形成基于标准化构件系统定型、选型的苏南乡村装配式住宅标准化产品。本论文研究基于Revit平台搭建乡村装配式住宅标准化构件系统库,通过Python程序的开发实现了前端用户需求与后端装配式住宅产品设计之间的数据自动匹配,形成装配式住宅构件系统标准化设计优化技术方法。该方法可实现标准化理念下的多种形式与功能需求之间的融合,并利用其多样化的技术组合支撑,最终形成乡村标准化装配式住宅系列产品。本研究形成的创新点有:建立起一套适用于我国乡村地区的装配式住宅标准化设计策略与流程,形成定量化的乡村装配式住宅标准化设计优化技术和方法;研发形成适用于苏南乡村地区的轻型钢结构、刚性骨架、复合腔体三种新型装配式住宅建筑体系及配套关键技术;研究形成乡村装配式住宅构件系统分类与编码方法、装配式住宅产品交互设计与定制框架、装配式住宅产品选定与匹配设计方法,并对装配式住宅产品构件系统进行了优化。综上,本文创新性地提出了基于“构件系统”的乡村装配式住宅“标准化、产品化设计”方法。

关键词：乡村装配式住宅苏南地区构件系统标准化设计 BIM设计优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：