An Embedded Software Modeling and Process by Using Aspect-Oriented Approach

In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.

Aspect-oriented software reverse engineering

To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing traversal features of legacy system is presented based on various unified modeling language （UML） diagrams. While modeling crosscutting concerns in UML use case diagrams, the non-functional requirements that affect several use case modules can be enveloped into aspect modules with a stereotype mechanism. The recurring message transmission patterns can be re-modularized as aspects in UML sequence diagrams with UML collaborations. Standard UML activity diagram notations are extended and modified by node fusion and addition, which support the graphical composition operation between crosscutting behaviors and primary business roles of concurrent systems. Case study indicates that travernal features of software system can be extracted and re-modularized from various perspectives in aspect-oriented reverse engineering, which improves comprehensibility and maintainability of legacy systems.

Using UML Behavioral Model to Support Aspect Oriented Model

Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.

Modeling the blast load induced by a close-in explosion considering cylindrical charge parameters

Structural damage is significantly influenced by the various parameters of a close-in explosion.To establish a close-in blast loading model for cylindrical charges according to these parameters,a series of field experiments and a systematic numerical analysis were conducted.A high-fidelity finite element model developed using AUTODYN was first validated using blast data collected from field tests conducted in this and previous studies.A quantitative analysis was then performed to determine the influence of the charge shape,aspect ratio(length to diameter),orientation,and detonation configuration on the characteristics and distributions of the blast loading(incident peak overpressure and impulse)according to scaled distance.The results revealed that the secondary peak overpressure generated by a cylindrical charge was mainly distributed along the axial direction and was smaller than the overpressure generated by an equivalent spherical charge.The effects of charge shape on the blast loading at 45°and 67.5°in the axial plane could be neglected at scaled distances greater than 2 m/kg^(1/3);the effect of aspect ratios greater than 2 on the peak overpressure in the 90°(radial)direction could be neglected at all scaled distances;and double-end detonation increased the radial blast loading by up to 60%compared to singleend detonation.Finally,an empirical cylindrical charge blast loading model was developed considering the influences of charge aspect ratio,orientation,and detonation configuration.The results obtained in this study can serve as a reference for the design of blast tests using cylindrical charges and aid engineers in the design of blast-resistant structures.

Anti-model测试框架的研究与实现

对于继承的系统或基于组件的系统,常常得不到系统详细的信息,测试这样的系统很困难,采用Anti-model测试思想和方法可以解决此类问题。基于Anti-model测试思想,设计出基于Anti-model的测试框架,详细分析和说明了Anti-model的测试过程中的几个关键性的技术,包括动态数据的获得、动态数据的存储格式、综合行为模型、修正和精炼系统行为模型、再测试的测试用例的获得等。编程实验表明,本方法具有实用性和可行性。

Specifying redundancy tactics as crosscutting concerns using aspect-oriented modeling

Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usually interweave redundancy tactics into the functional models making them complex and cluttered; the maintenance of such models is time-consuming and error-prone. To address this problem, we provide a modeling approach to separate the redundancy tactics from the base functional models using aspect-oriented modeling. More specifically, the conceptual models of the redundancy tactics and their semantic constraints are first defined for deriving the relevant aspects. Subsequently, a UML profile is proposed to specify the tactic aspects followed by mapping these concepts to the corresponding concepts of aspect-oriented modeling based on pre-defined principles. In accordance with our proposed profile, reuse directives are applied to handle the overlap of structural features between redundancy tactics and other kinds of tactic. Based on our tactic aspects and their configured attributes, a weaving algorithm is proposed to associate the tactic aspects with the base functional models. The proposed approach is compared with a traditional tactic modeling approach using two safety-critical systems, revealing that： 1） our approach significantly reduces the number of extra model elements needed in the tactic design stage; 2） our approach can largely avoid the impact of changing of the base functional model as the model evolves.

Aspect-Oriented Modeling and Verification with Finite State Machines

Aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified points of program execution. Aspects can be used in a harmful way that invalidates desired properties and even destroys the conceptual integrity of programs. To assure the quality of an aspect-oriented system, rigorous analysis and design of aspects are highly desirable. In this paper, we present an approach to aspect-oriented modeling and verification with finite state machines. Our approach provides explicit notations （e.g., pointcut, advice and aspect） for capturing crosscutting concerns and incremental modification requirements with respect to class state models. For verification purposes, we compose the aspect models and class models in an aspect-oriented model through a weaving mechanism. Then we transform the woven models and the class models not affected by the aspects into FSP （Finite State Processes）, which are to be checked by the LTSA （Labeled Transition System Analyzer） model checker against the desired system properties. We have applied our approach to the modeling and verification of three aspect-oriented systems. To further evaluate the effectiveness of verification, we created a large number of flawed aspect models and verified them against the system requirements. The results show that the verification has revealed all flawed models. This indicates that our approach is effective in quality assurance of aspect-oriented state models. As such, our approach can be used for model-checking state-based specification of aspect-oriented design and can uncover some system design problems before the system is implemented.

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。

基于着色Petri网构建AFM范式的形式化模型AFM-CPN

针对重用已有的软件模型与资源高效地开发软件的要求,软件产品线编程范式是一种可行的解决方案。方面化特征模块AFM(Aspectual Feature Module)编程范式是一种最新提出的软件产品线编程范式,它引入了AOP编程范式,将系统基于特征而非角色划分能够获得重用性更强的设计。Petri网能够利用一种图形化的表示方法进行系统建模,而且提供理论上的验证机制。把Petri网引入到AFM范式当中,这样既可以根据迭代的方式构建所需的AFM模块以降低建模的规模和复杂度,也可以利用Petri网来实现AFM范式的形式化验证。

一种使用AspectJ技术的Java契约式编程语言模型

契约式开发方法是一种借鉴了形式化方法的优点而又易于实践的开发方法学,然而Eiffel等传统的契约式编程语言难以学习与推广。本文提供了一种模型,该模型利用面向方面的编程技术,在面向对象程序设计语言基础上,增加了契约式约束检查。并以Java面向对象程序设计语言为例,使用AspectJ技术对Java程序中的接口、类、继承、数据类型、构造器、域、方法、异常增加关注点,进行契约约束检查,最终形成一种易于实践且具有契约式功能的开发语言环境。

Incorporating AOSD to Enhance Model Driven Architecture

Various software development approaches in the present scenario are best suited for a specific application. The software development strategies include both merits and demerits when talked in terms of generalization. The Model Driven Architecture (MDA) describes software development based on models on various levels of abstraction. The model driven software development process consists of sequence of model transformations between various models. This paper presents incorporation of the merits of Aspect Oriented Software Development (AOSD) like modularization, reusability and reduced complexity into Model Driven Architecture (MDA) software development strategy. The proposed Model Driven Software Development approach which combines the merits of MDA and AOSD meets the ever changing and challenging demand of the enterprise software development.

一种面向方面编程的图示化分析与实现

图示化地展现面向方面编程的组成、技术架构、编程和测试过程,有助于对AOP思想的理解和技术实现的掌握。以多年实际的教学案例实践,结合UML分析建模技术,使用用例图完成功能需求分析,引入AOP切面的建模分析,建立横切关注方面的立体概念;采用组件图完成技术架构图,进而完成了AOP的技术实现和文件结构图,并详细给出了相关切面织入的测试过程图。探索一种图示化的面向方面的分析与实现过程,解决了面向方面编程认知思想和技术实现的难点。在实际教学中,收到一定效果。

“产出导向法”在大学英语课程思政教学中的应用研究

课程思政和“产出导向法”同为具有中国特色的教学理念,具有良好的融合基础。“产出导向法”在大学英语课程思政教学中应用的可行性,可从教学理念的契合性,教学流程的借鉴性和教学内涵的互补性三个方面进行探讨并构建出“三阶三面三目标”的大学英语课程思政教学模式。

应用型人才培养导向下心理学研究方法课程群批判探究教学模式的构建研究

呼应国家政策导向和社会发展需求,普通本科高校面临从原有以学术性人才培养为目标向聚焦应用型人才培养的多元化办学方向转型,应用心理学专业人才培养需突出其行业实践特点,以人才建设夯实社会心理服务体系构建。在专业课程载体中,研究方法类课程是实现应用型心理学人才培养目标的关键支撑。该文基于解决当前民办普通本科高校心理学研究方法类课程教学“痛点”的思考,构建批判性探究式学习(CIBL)模型,以整合教学理念更新、教学方法创新、教学材料重构、教学资源扩展、教学评价优化以及课程思政挖掘等多层面教改路径,分析CIBL模式支撑应用型心理学人才培养目标的机制,并提出该模式教学效果的检验方案。

一种基于UVM面向RISCCPU的可重用功能验证平台

以UVM验证方法学和UVM1.1标准库为基础建立验证环境,按照面向方面的模式分离功能、时序和结构属性,设计参考模型,在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用,以PKU-DSPII为例建立完整的验证平台。实验结果表明,可重用性得到大幅提升,且测试用例的覆盖率效果提升约7%。

基于Spring的MVC框架设计与实现

为构建高效、灵活且易于使用的模型-视图-控制器(MVC)模式实现机制,提出一种基于Spring框架的MVC框架。该框架使用JSP技术构建视图层,采用总体控制与局部控制相结合的方法增强控制层的功能,采用O/RMapping类完成数据访问操作。基于IOC/AOP技术实现事务管理,并应用该框架开发网络收藏夹。

支持运行监控的可信软件体系结构设计方法

近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.

基于UML的面向方面建模方法

面向方面编程(AOP)技术通过横切关注来实现软件系统。面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发(AOSD)模型框架。从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法。利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系。协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成。基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性。

策略驱动的可靠嵌入式系统建模及分析方法

针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用Petri网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量.

面向方面的UML建模

为了解决软件开发中建模对于系统级关注点被忽略的问题,提出了面向方面的UML建模模型。对面向方面技术和UML进行全面介绍,使其了解它们的主要构成及参数,并基于AspectJ语言扩展UML中的特征文件(profile),来实现面向方面UML建模(AUML)。该扩展是UML体系的一种扩充,它既结合了UML面向对象的特点,又对面向方面横切关注点在语义和结构上进行了规范。最后就图书管理系统进行举例说明,总结了面向方面软件开发(AOSD)profile的参数。