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

作者：邢阳南京大学

学位级别：硕士

随着软件系统的规模和复杂度的不断增大，软件开发所关注的焦点已不再是算法和数据结构，而是作为软件系统总体结构和组织的软件体系结构。软件体系结构在软件系统的设计和实现中具有重要的作用，逐渐成为软件工程领域的研究热点。另一... 详细信息

随着软件系统的规模和复杂度的不断增大，软件开发所关注的焦点已不再是算法和数据结构，而是作为软件系统总体结构和组织的软件体系结构。软件体系结构在软件系统的设计和实现中具有重要的作用，逐渐成为软件工程领域的研究热点。另一方面，计算机辅助软件开发CASE(Computer Aided Software Engineering)技术越来越为众多的软件开发人员所接受，CASE工具和CASE环境得到了广泛的应用。因此，针对软件体系结构的计算辅助开发手段和支撑工具成为一个重要的研究方向。\n 在总结现有的软件体系结构描述机制及其支撑工具的基础上，本文认为构建一个理想的软件体系结构支撑工具需面对如下挑战：首先，要有兼具可视化符号和精确语义的软件体系结构描述框架；其次，要支持体系结构风格的刻画和基于风格复用的软件体系结构实例开发；第三，要支持软件体系结构的动态重配置行为；第四，要支持基于体系结构的软件开发过程；第五，要提高工具的启发性和用户友好性，能将软件体系结构相关的领域知识和专家经验融入到工具之中。\n 为应对这些挑战，本文的工作从以下几个方面展开：\n 1.提出了一种基于属性图文法的软件体系结构描述机制。图文法直接以图为主要处理对象，直观、生动，符合人们的认知习惯，并具有较为完善的理论支持，可满足体系结构精确建模和分析的需要；图文法作为一种元级语言，支持用户定义的图语言，从而支持定制体系结构风格和该风格语境下的体系结构构造和操纵；图文法还是一种基于规则的系统，可以方便地刻画动态体系结构的各种重配置行为。\n 2.提出了一种图文法制导的可视化工具生成机制。以全手工的方式为软件体系结构模型创建特定的支撑工具代价高昂，为此我们需要一种类似MDA的途径来满足模型驱动的工具生成。基于图文法的软件体系结构描述本质上是一种领域建模语言(Domain-Specific Language，DSL)，因此我们借鉴了一种元建模技术，其核心思想是由领域专家按需定制领域建模语言，然后通过模型转换等代码生成技术自动获得支持该领域建模语言的建模工具。考虑到图文法与普通的元模型相比具有丰富的语义信息，弥补了元模型不能指导模型实例生成的缺陷，我们在元建模的基础上融入了图文法制导的编辑思想。\n 3.设计并实现了一个原型系统Artemis-GADE。将上述思想和技术应用于服务协同开发工具Artemis-COOR当中，成功地为其搭建了基于软件体系结构的可视化集成开发环境Artemis-GADE。Artemis-GADE实现了图文法制导的软件体系结构的可视化编辑。在此基础上，它还对以体系结构为中心的协同应用开发的各个阶段，尤其是基于体系结构动态重配置的系统在线演化提供了良好的支持。

关键词：软件体系结构属性图文法图文法制导集成开发环境

来源：评论

学校读者我要写书评

暂无评论

软件体系结构的属性图文法描述及其约束验证

引用

计算机应用研究 2007年第3期24卷 163-168页

作者：石兵冉平马晓星陶先平吕建南京大学计算机软件研究所计算机软件新技术国家重点实验室江苏南京210093

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并... 详细信息

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器。该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中。

关键词：软件体系结构动态演化属性图文法验证

来源：评论

学校读者我要写书评

暂无评论

新型属性图文法反应式规约验证方法

引用

计算机工程与应用 2016年第12期52卷 15-18页

作者：黄延凯周宇魏欧南京航空航天大学计算机科学与技术学院南京210016

属性图文法广泛应用在软件设计阶段建模和分析阶段。命题式时序逻辑(propositional temporal logic)无法直接表达建模实体包含随时间演化的关联属性反应式规约,提出一种可支持通用图文法转换系统中相应规约的验证方法,通过引入标记节点... 详细信息

属性图文法广泛应用在软件设计阶段建模和分析阶段。命题式时序逻辑(propositional temporal logic)无法直接表达建模实体包含随时间演化的关联属性反应式规约,提出一种可支持通用图文法转换系统中相应规约的验证方法,通过引入标记节点及属性,将包含相应关联属性的规约公式等价转换为命题式时序逻辑,从而可以间接支持该类型规约的验证。以流行的对象式属性图文法模型检测工具GROOVE为平台,结合启发案例,验证了所提出方法的有效性。

关键词：属性图文法模型检测关联属性

来源：评论

学校读者我要写书评

暂无评论

一种图文法制导的软件体系结构开发环境Artemis-GADE

引用

计算机研究与发展 2010年第7期47卷 1165-1174页

作者：邢阳谢德平马晓星曹春吕建计算机软件新技术国家重点实验室(南京大学) 南京210093 江苏中烟工业公司南京210011

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编... 详细信息

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性.

关键词：软件体系结构属性图文法语法制导可视化开发环境

来源：评论

学校读者我要写书评

暂无评论

基于图文法的作战系统模型一致性研究与实现

基于图文法的作战系统模型一致性研究与实现

引用

作者：张杰南京航空航天大学

学位级别：硕士

随着计算机软件技术的不断发展，计算机软件已广泛应用于国防建设的各个领域中。然而，很小的软件错误也可能导致整个系统的崩溃。在作战系统中，模型的不一致将导致执行过程中产生错误，所以对作战系统模型一致性研究意义重大。作战系... 详细信息

随着计算机软件技术的不断发展，计算机软件已广泛应用于国防建设的各个领域中。然而，很小的软件错误也可能导致整个系统的崩溃。在作战系统中，模型的不一致将导致执行过程中产生错误，所以对作战系统模型一致性研究意义重大。作战系统领域模型包括作战使命和作战任务，由于多个需求分析人员分析不同的任务需求，导致需求模型间可能存在语义的不一致。为了保证系统建模的可靠性和稳定性，对需求模型进行一致性检测已显得十分必要。首先，本文结合作战系统的模型特点和已有的模型一致性检测方法，提出基于属性图文法的作战系统模型一致性检测方法：把作战系统模型转换成属性图文法并检测功能需求间的冲突和依赖，同时提出依赖检测算法来验证依赖关系的正确性。作战系统静态需求用类图表示，转换成属性图文法的类型图，类转换成类型图中的结点，类之间的二元联系用类型图中的边来表示。功能需求用对象图对活动图中的活动的前置和后置条件建模，转换成属性图文法的图转换规则，把前置条件转换成图转换规则的左部图，后置条件转换成图转换规则的右部图。再调用属性图文法分析工具AGG通过关键对分析技术得到功能需求间的冲突、依赖关系。循环依赖将导致模型无法执行，错误依赖则表示功能需求与动态模型的执行流程不一致。本文对此提出相应的依赖检测算法，循环依赖检测算法通过深度优先搜索找到依赖关系中的环，错误依赖检测算法通过遍历活动图来检测依赖关系与活动图的执行流程是否一致。接着，基于该检测方法设计并实现了作战系统需求分析工具。通过该工具可以检测作战系统需求模型的一致性，工具实现了作战系统模型到图文法的自动转换，再调用AGG分析冲突、依赖并用依赖检测算法检测依赖关系是否正确。同时，工具支持对作战系统进行需求分析，包括分解作战使命和作战任务以及分析作战系统的静态需求、作战任务的动态需求和功能需求。最后，论文对工具进行了实例分析及验证。使用该工具对复杂作战环境下的护航使命进行需求建模，且对需求模型进行一致性检测，根据检测结果修改模型，消除了模型中的错误。

关键词：作战系统一致性检测属性图文法需求分析冲突依赖

来源：评论

学校读者我要写书评

暂无评论

一种图文法制导的软件体系结构开发环境Artemis-GADE

一种图文法制导的软件体系结构开发环境Artemis-GADE

引用

2008全国软件与应用学术会议(NASAC'08)

作者：邢阳谢德平马晓星曹春吕建南京大学计算机软件新技术国家重点实验室江苏南京 210093 南京大学计算机软件研究所江苏南京 210093

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义。本文提出了一种基于图文法的可视化编辑环境生成机制。对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系... 详细信息

图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义。本文提出了一种基于图文法的可视化编辑环境生成机制。对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具。与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性。还设计和实现了一个原型系统Artemis-GADE,初步验证了上述途径的可行性。

关键词：软件体系结构属性图文法语法制导开发环境

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：