基于面向方面技术的HLA联邦成员开发方法

高层体系结构的联邦成员中存在大量的横切关注点,直接影响了联邦成员的开发和性能。利用面向方面的编程技术,能够有效地解决邦员的横切问题。介绍了联邦成员横切关注点的确定和方面的分离,面向方面的邦员实现,用扩展的UML表示面向方面的邦员建模,结合一个恒温供热仿真系统邦员的开发实例,详细阐述了面向方面的联邦成员开发方法。     

Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.     

面向方面的模块化推理框架研究

3.贵阳学院物理与电子信息科学系, 贵州 贵阳 550005)〖GK2*2]摘要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming, AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。     

应用面向方面编程的方法提高软件质量

面向方面的编程是一种新的编程技术，结合在系统维护中对这种新技术运用的经验，介绍了面向方面编程的主要概念和使用方法．     

基于AOPN的装备使用保障费用模型研究

提出了一种可用于装备保障系统建模与分析的面向方面的Petri网模型(AOPN),给出了该模型形式化描述,该模型引入了面向方面的建模思想,具有很好的模块性、继承性、可维护性以及描述动态过程的能力,将该模型应用到装备使用保障费用的建模与分析中,给出了相应的建模过程与方法,最后给出了一个应用实例。     

System Dependence Graph Construction for Aspect Oriented C＋＋

This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspeetC＋＋ programs, and presents an approach for the construction of AspectSDG. This approach decomposes aspect-oriented programs into three parts： component codes, aspect codes, and weaving codes. It constructs program dependence graphs （PDGs） for each part, and then connects the PDGs at call sites to form the complete AspectSDG. The AspectSDG can deal with advice precedence correctly, and represent the additional dependences caused by aspect codes. Based on this model, we introduce how to compute a static slice of an AspectC＋ ＋ program.     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

集装箱管理系统开发中面向方面编程方法的量化分析

实现量化分析信息系统开发中应用面向方面编程方法的可行性,提出一套系统设计评价指标体系,量化分析了面向方面编程和面向对象编程方法有机结合的集装箱管理系统框架结构,得出框架相比较于纯面向对象编程方法框架在没有降低系统动态性能的前提下,大幅度提高系统静态性能的结论,验证了集装箱管理系统开发中应用面向方面编程方法的优势.     

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .     

基于AOP的细粒度RBAC模型的设计与实现

针对核心RBAC模型实现B/S企业应用时,没有根据操作特征细化权限控制粒度,缺乏针对细分数据的访问控制问题,提出了一种在操作维度上进行了扩充的细粒度RBAC模型,给出了模型的形式化描述;针对传统企业应用中权限认证逻辑横切业务逻辑的问题,阐述了基于AOP与注解的细粒度RBAC模型实现,模块化了权限认证逻辑,解除了业务逻辑与权限通用服务的耦合,提高了权限管理模块的复用性、可维护性与可扩展性.