公共文化服务平台

搜索到1258篇“ 软件体系结构建模“的相关文章

一种软件体系结构建模和仿真系统: 本发明公开一种软件体系结构建模和仿真系统，包括：建模模块，用于将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；仿真模块，用于对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为...; 黄滟鸿施健史建琦方徽星李昂李新何积丰; 文献传递

一种软件体系结构建模与仿真方法: 本发明公开一种软件体系结构建模和仿真方法，包括：将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MA...; 黄滟鸿施健史建琦方徽星李昂李新何积丰; 文献传递

高阶类型化软件体系结构建模和验证及案例被引量：2: 2019年; 根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.; 乌尼日其其格李小平马世龙吕江花吕江花; 关键词：软件体系结构软件体系结构建模

一种软件体系结构建模和仿真系统: 本发明公开一种软件体系结构建模和仿真系统，包括：建模模块，用于将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；仿真模块，用于对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为...; 黄滟鸿施健史建琦方徽星李昂李新何积丰; 文献传递

一种软件体系结构建模与仿真方法: 本发明公开一种软件体系结构建模和仿真方法，包括：将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MA...; 黄滟鸿施健史建琦方徽星李昂李新何积丰

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估被引量：4: 2015年; 软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。; 许玉堂殷永峰孙静张弛刘斌; 关键词：计算机软件软件体系结构可靠性评估

ABC:一种全生命周期软件体系结构建模方法被引量：6: 2014年; 随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长,并始终制约着软件开发效率和质量的有效提升.软件的结构复杂性,尤其是高层结构的复杂性,是软件复杂性的一种重要表现.如何实现对软件高层结构复杂性的有效控制,是当前开放、动态、难控的网络环境下大规模软件系统开发与演化所面临的主要问题.针对这个问题,我们将设计阶段高层结构复杂性的控制模型―软件体系结构模型―扩展到整个软件生命周期,提出了一种以体系结构为中心的软件开发方法―ABC.该方法将软件生命周期各阶段的核心制品与活动,统一到软件体系结构模型及对其连续迭代的细化、映射和转换,实现对软件高层结构复杂性的一致、灵活、系统化的建模和管理.本文旨在系统性地总结ABC方法在软件体系结构建模方面的成果,并重点介绍近几年在协同式特征建模、运行时体系结构生成、体系结构逆向恢复与建模等方面取得的新进展.; 梅宏黄罡张路张伟; 关键词：软件体系结构网构软件

基于ARINC653的机载软件体系结构建模和代码生成技术研究: 航空电子系统是安全关键的嵌入式系统，其对安全性和可靠性有更高的要求。如何开发安全可靠的机载软件，同时有效的控制开发时间和成本是我们当前面临的一个重大挑战。我们将软件体系结构从软件中抽取出来，得到独立的软件体系结构，可以实...; 王磊马殿富赵永望赵宪琦; 关键词：机载软件 ARINC653 软件体系结构代码生成

关于软件体系结构建模的几点看法: 2013年; 软件体系结构如今已经发展为软件工程的一个重要研究方向。它的本质是对软件系统的抽象,起着描述整个系统的结构以及行为的作用。软件体系结构的合理与否可以影响着整个软件系统的性能好坏。本文针对软件体系结构的定义、概念、描述语言、建模方法、评价指标等方面进行了深入研究与探讨。; 张福轩; 关键词：软件体系结构软件系统用例驱动

基于用例和Z的一种软件体系结构建模的方法: 2012年; 随着计算机软硬件技术和网络技术的发展和应用的不断深入,软件复用技术,特别是软件体系结构的设计和复用是克服软件危机行之有效的手段。用例在面向对象的软件开发过程中起着重要的作用,但它是一种半形式化的方法,缺乏精确的语义描述,难以保证软件体系结构模型的正确性,形式化的方法恰好能够弥补这方面的不足。针对如何构建软件体系结构的问题,提出了一种基于用例和Z语言的形式化构建软件体系结构的方法,将迭代增量技术运用到体系结构的设计开发中,并就相关问题进行了分析探讨。; 刘妮娜周枫; 关键词：软件体系结构 Z语言形式化

加载更多 ∨

相关作者

用户反馈

相关作者

用户登录

用户反馈