检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于环境变迁的构件组合模型

电子学报 2005年第B12期33卷 2370-2375页

作者：侯丽珊金芝中科院数学与系统科学研究院北京100080 中科院研究生院北京100039 中科院计算技术研究所北京100080

Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构... 详细信息

Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构件描述框架；然后针对网构软件的特征，提出了基于环境变迁的构件组合算法，最后用具体的案例展示了算法的可行性．

关键词：构件组合网构软件环境本体环境变迁

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一种基于领域模型和构件组合的软件开发框架

电子学报 2009年第3期37卷 540-545页

作者：王晓燕刘淑芬张俊吉林大学计算机科学与技术学院吉林长春130012

本文提出了一种基于领域模型和构件组合的软件开发框架,使用领域模型捕获系统业务静态需求,描述领域内业务对象之间的静态关系,通过领域应用框架描述系统的共性,并在框架中提供足够多的反映领域可变性的扩展点,在此扩展点上可以集成各... 详细信息

本文提出了一种基于领域模型和构件组合的软件开发框架,使用领域模型捕获系统业务静态需求,描述领域内业务对象之间的静态关系,通过领域应用框架描述系统的共性,并在框架中提供足够多的反映领域可变性的扩展点,在此扩展点上可以集成各种类型构件,创建新的应用系统,来满足领域内不同具体应用的特定需求.实验表明,该框架能够利用同一领域软件系统间的共性和变化性并实施有效的控制,促进了软件复用,提高软件生产效率和质量.

关键词：领域模型构件组合领域框架

在线全文

学校读者我要写书评

暂无评论

基于构件库及构件组合的软件重用

计算机工程 1998年第11期24卷 19-22,37页

作者：应时周顺朱春艳康立山唐胜群武汉大学软件工程国家重点实验室武汉430072

介绍了一种具有动态组合特性的构件Pad，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Pad的组合规则消息传递协议．还简要地介绍了一种在面向对象数据库的基础上实现构件库的方法．最后．介绍了已开... 详细信息

介绍了一种具有动态组合特性的构件Pad，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Pad的组合规则消息传递协议．还简要地介绍了一种在面向对象数据库的基础上实现构件库的方法．最后．介绍了已开发成功的一个构件重用支撑环境的原型。

关键词：构件组合构件库软件重用软件工程

在线全文

学校读者我要写书评

暂无评论

基于行为的构件组合及存在性检查

计算机工程 2009年第15期35卷 41-43,46页

作者：孟凡超初佃辉战德臣哈尔滨工业大学(威海)计算机科学与技术学院威海264209 哈尔滨工业大学计算机科学与技术学院哈尔滨150001

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件... 详细信息

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。

关键词：接口自动机构件组合行为映射图

在线全文

学校读者我要写书评

暂无评论

基于消息的构件组合运算与构件演化

小型微型计算机系统 2007年第7期28卷 1216-1220页

作者：黄万艮陈松乔中南大学信息科学与工程学院

根据构件能够接收和发送的消息,扩展了构件接口定义框架,给出了基于消息的构件组合模型,定义了构件的执行路径,对四种组合运算进行了形式化描述,提出并证明了六则构件演化运算.给出了一个实例:把一个没有显示语义的层次系统模型简化为... 详细信息

根据构件能够接收和发送的消息,扩展了构件接口定义框架,给出了基于消息的构件组合模型,定义了构件的执行路径,对四种组合运算进行了形式化描述,提出并证明了六则构件演化运算.给出了一个实例:把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型,并给出了模型的代数表达式和简化算法.

关键词：消息构件组合构件演化

在线全文

学校读者我要写书评

暂无评论

基于场景的构件组合方式的研究

基于场景的构件组合方式的研究

作者：张纪昌浙江师范大学

学位级别：硕士

随着软件系统复杂度的不断增加,对软件需求的抽象变得越来越困难。在一个复杂的软件系统中,需要对用户场景进行充分描述,并对系统结构进行形式化建模。在软件工程中,构件可以是被封装的对象类、类树、软件框架、体系结构、一些功能模块... 详细信息

随着软件系统复杂度的不断增加,对软件需求的抽象变得越来越困难。在一个复杂的软件系统中,需要对用户场景进行充分描述,并对系统结构进行形式化建模。在软件工程中,构件可以是被封装的对象类、类树、软件框架、体系结构、一些功能模块、文档、分析件和设计模式等,其具有的独立性、封装性、适应性和可移植性等特性,使它成为实现软件复用的核心技术。当现有的构件不能满足应用需求时,可以按照一定的软件规范去构建新的能够满足应用需求的构件。为实现高内聚和低耦合的目标,研究并提出一种构件模型的形式化建模方法,通过对已有构件模型的组合来开发新的应用系统,从而达到通过构件重用来设计开发复杂系统的目的。其中,构件组合其实就是通过构件之间彼此的交互与协作来实现系统特定的功能与非功能需求的一个过程,同时也是一个重新构建系统构件以实现业务增值功能的一个过程。本文在对构件复用技术与范畴论技术进行深入研究的基础上,结合范畴论和构件技术,并参考形式化建模方法,提出一种基于事件轨迹的构件组合方法。当前一般采用图形加文本的方式或形式化描述语言来为构件建模,这些方法不能很好地描述构件的动态行为和互操作等特性,而范畴论集中考察对象之间的关系,它可以确定系统构件之间的交互本质,所以文中采用进程理论规范来抽象应用需求,采用范畴论对构件及构件组合的过程进行抽象,把构件划分为构件实现和构件接口两个组成部分：采用带事件轨迹的进程行为描述构件实现,以轨迹为对象,以进程之间的继承关系为态射,构造出一个完备的进程行为范畴,表明通过范畴回拉可以捕获进程行为的并行复合;采用进程行为的观察结构描述构件接口,以构件为对象,构件之间的功能包含关系作为态射,从而构造出一个余完备的构件范畴,余完备构件范畴形成图表的余极限揭示了带同步限制的构件行为组合。由此也证明了运用范畴论技术来解决构件行为交互问题的可行性。本文以某校简化的教师-学生课程选择系统(TSCSS)为例,运用范畴论思想对构件及构件组合的实现进行了初步的探讨,并详细例证了其在处理构件的带同步限制的并行复合问题时的优越性,同时也验证了本文所提方法对解决构件组合问题是可行的和有效的。进而,把范畴论作为一种高效的数学工具引入到软件工程领域。

关键词：构件组合构件交互进程行为范畴推出余极限

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

模型驱动架构中构件组合的研究与实现

模型驱动架构中构件组合的研究与实现

作者：李晓春吉林大学

学位级别：硕士

为了更好地分析问题域,模型驱动架构为问题域定义了精确的模型。构件作为一种可复用的模型单元,可以通过构件组合得到功能更强的新构件,从而提高其可扩展性。CNSP(Communication Net Software Platform,通讯网络软件平台)支持两阶段建模... 详细信息

为了更好地分析问题域,模型驱动架构为问题域定义了精确的模型。构件作为一种可复用的模型单元,可以通过构件组合得到功能更强的新构件,从而提高其可扩展性。CNSP(Communication Net Software Platform,通讯网络软件平台)支持两阶段建模,在模型驱动架构中实现了构件组合。本文首先阐述了研究背景和项目工作;然后说明了与模型和构件相关的概念和技术,提出了将模型驱动架构和构件技术相结合的方法;接着提出了一种构件封装的模型,说明了构件组合的类型,简单阐述了组合实现和构件库管理的相关技术,通过对基于消息的构件组合运算的研究,归纳出了通讯网络领域的模型驱动架构中的构件组合运算以及运算的演化公式,并结合实际提出了组合构件的演化算法;然后论述了CNSP在模型定制和构件组合上的实现方法;最后对文章作了总结。

关键词：模型驱动架构构件组合组合运算演化

基于MDE的AADL构件组合建模及仿真途径研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于MDE的AADL构件组合建模及仿真途径研究

作者：李江伟南京大学

学位级别：硕士

软件体系结构是控制软件复杂度、提高软件质量的一种重要手段。近年来,随着模型驱动技术在软件开发中的普遍应用,越来越多的基于构件的可视化建模语言被提出,相应的系统构件模型也大量存在于各个领域。因此有效复用现有构件的行为从而... 详细信息

软件体系结构是控制软件复杂度、提高软件质量的一种重要手段。近年来,随着模型驱动技术在软件开发中的普遍应用,越来越多的基于构件的可视化建模语言被提出,相应的系统构件模型也大量存在于各个领域。因此有效复用现有构件的行为从而构造出符合要求的系统成为研究热点。尽管目前已经有一些形式工具能够在不同层面上解决构件组合问题,但如何在模型驱动开发中灵活高效地复用此类工具同样是一个值得研究的问题。此外,由于模型驱动技术领域中的大部分可视化建模语言缺乏严格的形式语义定义,因此所建立的系统模型往往存在不一致性的问题,系统的可信性无法得到保证,如何为模型驱动工程领域的非(半)形式化模型提供有效的验证及仿真支持也是学术界和工业界共同关注的问题。本文将实时嵌入式领域中的体系结构可视化建模标准AADL作为具体研究对象,从如何将AADL构件模型向接口自动机映射以解决AADL构件组合建模问题和如何将AADL模型向SystemC仿真平台转换以解决系统模型的动态仿真问题这两个方面进行了深入的讨论和研究。具体来讲,本文的研究工作主要包括以下内容：1.基于MDE思想和构件复用技术提出了基于AADL的体系结构建模框架。该框架可以充分利用已有AADL模型构件来帮助软件开发人员完成软件的体系结构建模工作。2.由于AADL是非形式化建模语言,所以在AADL构件组合时,一些交互活动的序列不匹配可能导致构件组合的行为不兼容,为了验证AADL构件的行为兼容性,提高AADL构件的可复用性,本文提出了基于MDE的异构模型转换框架将AADL转换到接口自动机(IA)的方法。该方法将AADL构件模型转换到IA,然后使用接口自动机支撑工具构造构件兼容运行的环境,最后将构造的环境映射到AADL构件从而解决了AADL构件模型的适应性组合问题。3.模型仿真是一种使用动态执行方式对软件模型进行分析和检验的技术,为了提高AADL体系结构建模的可信性,本文提出了AADL体系结构模型仿真的方法。该方法通过基于MDE的异构模型转换框架将AADI模型转换到SystemC模型,然后将SystemC模型转换为仿真代码,从而对AADL系统模型进行快速仿真提供支持。4.在具体研究了AADL模型仿真方法的基础上,本文进一步探讨了如何将该方法推广到建模语言MARTE和SysML上。通过研究这几类主流的实时嵌入式系统建模语言中构件建模相关元素的语义共性和区别,提出了兼容于这三类主流建模语言的体系结构级仿真方法。综上所述,本文基于模型驱动的思想和技术,解决了AADL的构件组合建模问题以及利用SystemC仿真平台对系统体系结构模型进行仿真支持的问题。

关键词：模型驱动 AADL 接口自动机构件组合模型转换 SystemC 仿真 MARTE SysML

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

构件组合的集成测试

计算机技术与发展 2013年第7期23卷 31-35,39页

作者：邓永杰陈颖上海大学计算机工程与科学学院上海200072

模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题。针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法。根据某个待集成构件抽象已集成的其他构... 详细信息

模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题。针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法。根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型。利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例。实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题。

关键词：模型检验构件组合抽象精化测试用例生成