检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于工作流引擎的构件组装体系结构

软件学报 2006年第6期17卷 1401-1410页

作者：李海波战德臣徐晓飞哈尔滨工业大学计算机科学与技术学院企业智能计算研究中心

近年来,软件体系结构(SA)、基于构件的软件开发技术(CBSD)等开始在软件开发中发挥出重要的作用.CBSD应用的成功主要体现在自底向上构造系统的方法上.目前,对SA的研究还缺乏一种自顶向下的构件动态组装方法,尤其是过程构件的组装.以工作... 详细信息

近年来,软件体系结构(SA)、基于构件的软件开发技术(CBSD)等开始在软件开发中发挥出重要的作用.CBSD应用的成功主要体现在自底向上构造系统的方法上.目前,对SA的研究还缺乏一种自顶向下的构件动态组装方法,尤其是过程构件的组装.以工作流技术为基础,以基于Web应用为背景,研究了基于工作流引擎的构件组装方法.从业务过程的基本要素——业务对象、控制流和数据流入手,详细分析了这些要素在构件环境下的特点和交互模式,并以此为基础提出了一种基于工作流的引擎的过程构件组装体系结构.该体系结构中除了考虑常规的控制流驱动的构件组装外,还深入研究了文档型的数据流驱动的构件组装机制,能够为其他研究者将文档型工作流技术应用于软件构件组装提供借鉴和参考.

关键词：工作流工作流引擎构件组装过程构件控制流数据流

在线全文

学校读者我要写书评

暂无评论

基于图形转换的构件组装研究与应用

同济大学学报（自然科学版） 2009年第5期37卷 680-684,695页

作者：杜军威徐中伟喻钢同济大学电子与信息工程学院上海200331 青岛科技大学信息科学技术学院山东青岛266061

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联... 详细信息

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.

关键词：图形转换态射构件组装 Petri网

在线全文

学校读者我要写书评

暂无评论

测试驱动的构件组装过程

南京航空航天大学学报 2010年第6期42卷 781-785页

作者：李良明王志坚刘磊南京航空航天大学信息科学与技术学院南京210016 河海大学计算机及信息工程学院南京210098

提出一种测试驱动的构件组装过程,在组装时首先生成组装测试用例,然后通过不断的测试来保证构件组装的质量。文中首先分析了测试驱动开发的思想如何应用于构件的组装过程,然后针对不同的构件组装方式介绍了生成组装测试用例的方法,最后... 详细信息

提出一种测试驱动的构件组装过程,在组装时首先生成组装测试用例,然后通过不断的测试来保证构件组装的质量。文中首先分析了测试驱动开发的思想如何应用于构件的组装过程,然后针对不同的构件组装方式介绍了生成组装测试用例的方法,最后给出了该过程的算法描述并通过实例验证了该过程的有效性。所提出的方法使得构件组装过程中的每一步都有可以衡量的准则,有利于提高系统的开发质量和降低开发费用。

关键词：构件组装测试驱动开发组装测试测试用例

扩展方面机制的软件产品线体系结构建模及构件组装实现

在线全文

学校读者我要写书评

暂无评论

电子学报 2009年第B04期37卷 140-145页

作者：沈立炜彭鑫赵文耘复旦大学计算机科学技术学院软件工程实验室上海200433

软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图,定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现.现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线... 详细信息

软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图,定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现.现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线可变性所带来的更为复杂的构件交互情况.因此,本文提出一种扩展方面机制的软件产品线体系结构建模及构件组装实现方法,其核心是一套扩展xADL2.0、结合面向方面机制的软件产品线体系结构描述语言.它能支持基于可变性的产品线体系结构设计与定制,并指导应用产品的构件组装过程.在此方法的基础上,我们开发了原型工具FdSPLC,提供对体系结构的可视化建模以及应用产品的自动化生成.

关键词：软件体系结构构件组装构件交互模式

在线全文

学校读者我要写书评

暂无评论

基于Petri网的构件组装模型

江苏大学学报（自然科学版） 2010年第4期31卷 452-457页

作者：杨鹤标乔亦民江苏大学计算机科学与通信工程学院江苏镇江212013

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Pe... 详细信息

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.

关键词：构件组装 Petri网构件演化波及效应静态模型动态模型

业务流程驱动的森林仿真构件组装技术及应用研究

在线全文

学校读者我要写书评

暂无评论

计算机科学 2012年第9期39卷 126-132,154页

作者：董天阳李文杰范菁夏佳佳熊丽荣浙江工业大学计算机学院杭州310014

针对森林仿真系统的需求或应用目标不断发生变化的问题,提出了一种业务流程驱动的森林仿真构件组装方法。该方法设计和实现了森林仿真领域的构件模型和仿真构件接口,并通过业务流程驱动的构件组装框架实现了森林仿真系统的业务流程、模... 详细信息

针对森林仿真系统的需求或应用目标不断发生变化的问题,提出了一种业务流程驱动的森林仿真构件组装方法。该方法设计和实现了森林仿真领域的构件模型和仿真构件接口,并通过业务流程驱动的构件组装框架实现了森林仿真系统的业务流程、模型算法等的软件复用,解决了现有森林仿真系统存在的快速构建或重构困难的问题。通过在虚拟森林仿真系统开发中的应用表明,基于构件组装的方法与代码级重用、重新开发方式相比,可以大幅减少开发工作量,降低系统的开发难度,实现森林仿真系统的快速搭建或重构。

关键词：森林仿真软件构件构件组装流程驱动

在线全文

学校读者我要写书评

暂无评论

基于逻辑推理的构件组装策略及其算法

信息与控制 2009年第6期38卷 759-764页

作者：肖刚王培君陆佳炜张元鸣浙江工业大学信息工程学院浙江杭州310023

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的检索算法SABLR(searching algorithm based on logical reason... 详细信息

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的检索算法SABLR(searching algorithm based on logical reasoning)和ASABLR(advanced searching algorithm based on logical reasoning)加以支持.检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息.算法可以判别2种状况:一是库中直接含有请求构件信息,二是库中部分构件可经组装后满足用户请求.克服了普通构件检索算法无法判别第2种状况的缺点.最后,通过实例分析和算法ASABLR的实现,证明该策略的有效性和可行性.

关键词：进程代数逻辑推理构件组装正向推理构件检索

在线全文

学校读者我要写书评

暂无评论

接口连接式构件组装的一种形式化方法

计算机科学 2006年第7期33卷 253-256页

作者：孙莹陈松乔中南大学信息科学与工程学院长沙410083

构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式... 详细信息

构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。

关键词：基于构件的软件开发构件组装接口连接式组装组装推导

Internet环境下一种基于数据流的构件组装模型

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2006年第10期27卷 1865-1870页

作者：陈章陈志刚中南大学信息科学与工程学院

随着Internet上提供在线复用的构件增多,用这种构件服务组装软件系统就成为可能.本文首先针对Internet环境构件组装系统分析了现有相关技术的不足,讨论了组装技术应用上的关键问题.为此将构件与传统的数据流计算模型相结合,设计并实现... 详细信息

随着Internet上提供在线复用的构件增多,用这种构件服务组装软件系统就成为可能.本文首先针对Internet环境构件组装系统分析了现有相关技术的不足,讨论了组装技术应用上的关键问题.为此将构件与传统的数据流计算模型相结合,设计并实现了支持广域构件组装的DFCM组装框架;给出了DFCM的总体结构,描述了其中的关键技术;经过对原型系统的模拟表明该模型框架是有效的,能够充分利用Internet固有的并行性,具有扩展性.

关键词： Internet环境构件组装数据流计算模型