共查询到20条相似文献,搜索用时 93 毫秒
1.
从构件组装研究背景出发,提出一种利用功能驱动的构件组装方法,该方法是建立在一种有向图表示的软件体系结构模型上,以构件为基本元素,以用户的功能需求为驱动目标,以构件连通度和功能冗余度为评价指标,达到构件的自动组装并能提供满足用户需求期望的软件实体.最后根据构件的邻接矩阵和可达矩阵设计了一种组装算法,并给出了实验仿真结果. 相似文献
2.
接口连接式构件组装的一种形式化方法 总被引:3,自引:0,他引:3
构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。 相似文献
3.
4.
5.
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题. 相似文献
6.
基于构件的开发方法的目标是将分布在Internet上的构件,自动或半自动组装成为一个新的粒度更大的构件或者一个新的软件,加快系统的开发周期,降低开发成本,提高系统的灵活性、可靠性、可扩展性和易维护性。在对构件组装编译的研究过程中,提出一种新的基于XML的构件组装编译解决方案。利用XML(Schema)对构件组装规约进行形式化描述,采用数据绑定技术,对用构件组装规约描述的XML文档进行组装编译的解析,最后利用标准代码编译器进行编译。实例证明了该技术的可行性。 相似文献
7.
8.
《计算机应用与软件》2015,(9)
构件组装技术是一种将已有的可复用构件遵循特定的组装方案进行组合的技术,组装的结果是一个粒度更大的构件或者是一个完整的应用系统。然而,现有的技术还难以自动组装那些涉及在线人工交互操作的Web应用构件。针对这个问题,提出一种基于语义描述的Web应用构件自动组装与实现方法。该方法首先提出一种扩展OWL-S的针对Web应用构件及其组装的语义化描述方案。基于该描述,可根据用户的应用需求按照匹配规则从众多构件中筛选出符合需求语义描述的Web应用构件。另外,该方法还提出一种OWL-S到符合BPMN2.0标准的映射方案,用于将描述Web应用构件及其组装方式的OWL-S映射为BPMN2.0文件。j BPM流程引擎可加载并解释执行该BPMN文件,从而实现Web应用构件的自动组装与运行。最后,通过一个旅行规划的实例验证了该方法的可行性和有效性。 相似文献
9.
基于构件的开发方法的目标是将分布在Internet上的构件,自动或半自动组装成为一个新的粒度更大的构件或者一个新的软件,加快系统的开发周期,降低开发成本,提高系统的灵活性、可靠性、可扩展性和易维护性。在对构件组装编译的研究过程中,提出一种新的基于XML的构件组装编译解决方案。利用XML(Schema)对构件组装规约进行形式化描述,采用数据绑定技术,对用构件组装规约描述的XML文档进行组装编译的解析,最后利用标准代码编译器进行编译。实例证明了该技术的可行性。 相似文献
10.
随着基于构件的软件开发技术(CBSDT)的不断发展,构件组装中的特征干扰问题逐渐受到大家的重视,针对这一问题的研究也成为一个热点。基于软件构件的特点。提出采用时序逻辑语言XYZ/E形式化构件,并根据构件组装的不同方式对特征干扰问题进行检测。 相似文献
11.
12.
如何合理、高效地选择和组合众多功能相似的服务,为用户提供更优质的服务,是当前SOA领域研究的重点和难点。服务质量QoS(Quafity of Service)的引入,在一定程度上保证了服务组合的合理性,但对于如何确保服务组合的可信,目前还没有一个比较完善和可行的方案。因此,提出了可信Web服务组合模型(Trust Web Service Composition Modcl,TWSCM),并通过在原有Wcb服务体系架构上增加QoS代理和可信模块来确保服务组合的质量和可信。最后,在语言网格上进行了相关实验,结果表明,该方法能为用户提供高质量、可信的组合服务,从而验证了该方法的合理性和有效性。 相似文献
13.
Pierre-Cyrille Héam Olga Kouchnarenko Jérôme Voinot 《Science of Computer Programming》2010,75(10):898-917
Several scientific bottlenecks have been identified in existing component-based approaches. Among them, we focus on the identification of a relevant abstraction for the component expression and verification of properties like substitutivity: when is it possible to formally accept or reject the substitution of a component in a composition? This paper suggests integer weighted automata to tackle this problem when considering a new factor — Quality of Service (QoS). Four notions of simulation-based substitutivity managing QoS aspects are proposed, and related complexity issues on integer weighted automata are investigated. Furthermore, the paper defines composition operators: sequential, strict-sequential and parallel compositions, bringing path costs into the analysis. New results on the compatibility of proposed substitutivity notions w.r.t. sequential and parallel composition operators are established. 相似文献
14.
随着面向服务计算(Service-oriented Computing,SOC)的不断发展,基于服务质量(Quality of Service,QoS)的Web服务组合研究成为了必然趋势。鉴于QoS属性的多维性及相互矛盾性,提出将基于QoS的Web服务组合优化问题转化为多属性决策问题进行求解。采用折中系数 对每个组合服务实例到正负理想点的距离进行累加求和,最终得到一组最优服务排序结果,用户可以根据自身偏好进行选择。传统的多属性决策方法无法有效地处理大规模的组合服务搜索空间,因此,为了有效地解决Web服务组合优化这一NP难题,提出一种结合多属性决策方法和自适应遗传算法的新型优化算法来解决该问题。实验采用真实的QoS综合服务数据集进行验证,实验结果表明,该方法能够在较短时间内找到全局近似最优解,且解集的排序结果接近于实际的最优服务排序。同时,该方法对于解决大规模的Web服务组合优化问题具有良好的可伸缩性。 相似文献
15.
16.
17.
18.
19.
从海量候选服务组合计划中选择具有最优/满意服务质量( QoS)的计划,即基于QoS的Web服务组合,是面向服务计算的难题之一。为此,将该问题建模为多属性决策问题,同时针对传统多属性决策方法难以处理海量搜索空间的问题,提出一种结合折中比例法和遗传算法的新型智能进化算法( GACRM )。 GACRM结合了折中比例法的方案排序优势和遗传算法高效的全局搜索能力,能够从海量搜索空间中快速找到全局近似最优解。实验结果表明,该算法不仅能够高效地产生与折中比例法接近的最优方案排序,且在解决大规模Web服务组合问题上具有良好的可伸缩性。 相似文献
20.
家庭网络多媒体正成为网络主要推动力,而家庭网关成为家庭网络的核心设备。该文完成了基于Lexra网络处理器家庭网关设计,并讨论了网关QoS设计原则,在路由和队列调度层面上实现了QoS保证,并在实际项目中验证了QoS性能。 相似文献