基于AOP的运行时验证中的冲突检测

现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.

基于AOP实现冲突动态检测的实验室预约系统设计

在实验室预约管理工作中,手工操作效率低、出错率高,而使用成品软件难以进行功能扩展与二次开发;针对这种情况,以浙江工业大学经济管理实验教学中心为背景,利用面向切面(aspect-oriented programming,AOP)技术实现能够动态检测预约冲突并满足实际应用需求的新型实验室预约系统;系统基于MVC设计模式,通过异常处理与事务管理机制检测预约冲突,并在运行时将检测程序以AOP切面方式嵌入业务处理流程中,对预约操作实行动态拦截,实现预约冲突的自动化检测与处理;系统提供线上预约与信息管理服务,便于功能扩展与数据对接,其开发技术具有通用性,对优化架构设计提升系统灵活性有一定的借鉴作用。

面向软件非功能需求的软件过程建模方法

软件非功能需求决定了软件的质量,而软件质量需求的满足很大程度上依赖于软件开发或演化时所使用的过程.从软件过程的角度出发,总结凝练满足软件非功能需求的过程策略,使用面向方面方法,提出面向软件非功能需求的软件过程建模方法,从软件过程的方法和技术角度保证软件的质量需求贯穿软件生命周期全过程得以实现.首先,基于对软件非功能需求的分析,总结满足非功能需求的过程策略,构建过程策略知识库,在此基础上,使用面向方面方法将过程策略定义的活动封装为方面,并通过方面合成机制织入基本软件过程模型,既实现了基本模型与面向非功能需求活动间的分离,又实现了软件生命周期全过程注入有助于软件质量提升的活动,其中,重点解决了方面织入基本模型的冲突控制及检测问题;另外,通过开发面向非功能需求的软件过程建模辅助工具NPAT(non-functional requirementsoriented processes aided tool),为过程建模及冲突控制提供了技术支持;最后,通过在案例中使用所提出的理论、方法和技术,说明所提出的理论和方法是可行的,开发的辅助工具是有效的,可以通过非功能需求定制的软件生命周期过程达到提升软件质量的目标.

一种体系结构层方面组合的冲突处理方法

当横切关注点组合到主关注点时,可能出现冲突的情况。该冲突导致体系结构设计难以决策,然而目前也缺乏有效的对这些可能冲突进行处理的方法。针对这一问题,提出了一种体系结构层方面组合的冲突处理方法。该方法结合AHP和加权平均思想的优点,并在定量分析时对结果进行一致性评估,达到了有效解决问题的目的,从而有助于提高软件体系结构设计的质量。最后通过案例和实验证实该冲突处理方法的有效性。

AOP中方面冲突自动检测方法研究

为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案。根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应用程序一起编译,生成包含契约检查的目标文件,从而在程序执行时,自动检测出方面与基础程序间的冲突以及方面与方面间冲突。该方案不破坏现有的应用程序,且无需重新设计编译器。通过一个实例表明该方案的可行性。

AOP中结构冲突解决方案研究及其支撑工具设计

提出了一种基于概念模型的AOP框架,它能从语义上解决AOP系统中的结构冲突问题。为了实现该框架,设计了概念模型配置工具、基础程序标注生成工具、概念层信息更新工具和基础程序转换工具。概念模型配置工具便于程序员设计概念模型中物理信息、逻辑信息及其映射关系,基础程序标注生成工具能根据概念层信息自动为基础程序增加或更新标注,概念层信息更新工具能把修改后的基础程序信息自动更新到概念层,基础程序转换工具能把标注后的基础程序自动生成用逻辑信息表示的概念层程序。这些支撑工具的研究与设计,使基于概念模型的AOP框架更具实用性,便于该框架的应用。

基于非物质文化遗产视角的农村传统体育发展研究

发展农村体育是推动农村文化发展和农村人力资本跃迁的重要途径,但发展农村体育不等于农村体育设施的"硬件化"。本文立足既有的调研资料,采用文献资料法认为农村体育硬件化的思想根源在于原有研究视野比较重视物质层面的研究,而忽视了非物质层面的研究,忽视了农村体育发展的乡土性和非现代性的"土壤"。在进一步解析农村体育的乡土性和现代体育"竞技性"冲突的基础上,认为农民需要才是农村体育发展的基础,充分发挥以非物质文化遗产形式广泛存在的农村民间体育形式是较好实现农村体育发展的重要路径。

一种基于UML的面向方面模块动态特性编织方法

在面向方面软件开发Theme方法的基础上引入用例驱动技术,其中用例技术实现软件模块化,面向方面技术封装横切关注点,从而形成一种用例驱动的面向方面软件开发(UCD/Theme)方法。通过分析面向方面模块的动态特性在编织过程中可能产生的冲突,提出了一种扩展UML的面向方面模块动态特性编织时的冲突解决方法。通过ATM案例说明了该方法的应用。

北方官话中“V-了(liau213)”的可能情态价值的形成机制

北方方言区普遍存在一种表可能的词尾“了”(liau^213)。以往的研究多以语义和语用的描述性分析为主。从认知语言学视角对可能补语“V-了(liau^213)”的形成机制进行论证,并得出语义冲突及其表达的展望体貌是促成其可能情态形成的关键。

一种元数据的面向方面编程冲突解决方法

面向方面编程(AOP)是近年来新兴的编程思想,它焦距于源码级的实现分离。但是目前面向方面编程的理论还没有成熟,各种实现框架还只能支持最基本的方面编程。针对方面之间的冲突解决的支持较少状况,提出一种利用.NET环境下属性元数据处理方面编程冲突的方法,较好解决了方面之间的冲突。

论《红字》中原型的多层次冲突

近年来,国内外众多学者陆续在霍桑的《红字》中挖掘出隐藏其中的各种神话原型。但大多数的研究始终停留在表层的原型还原上。对作品中原型之间的关系进行深入的研究,便可理清其中的多层次冲突,深化人类对于自身的矛盾和斗争的认识。