一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

基于规则和语义匹配的模型合成研究*

设计一种基于规则和词汇语义匹配的模型合成框架,采用形式化方法描述模型及合成过程,提出语义匹配算法和合成规则,自动识别匹配元素并确定合成规则,根据规则自动生成合成模型。该框架较好地处理了模型合成中模型种类的多样性及模型命名的灵活性问题。     

非精确实时计算的方面框架及编织测试

针对应用面向方面技术提出了一个非精确实时计算的框架。该框架允许开发人员将可选任务定义和设计为方面,基于运行时可用资源动态编织可选的方面。通过一系列编织与解编织的时间测试,找到影响编织与解编织时间的两个主要因素——通知和目标方法的数目。测试结果表明,在实时系统中动态编织技术可实现非精确计算的可行性,且无需引入不可预测性。     

基于非功能性特征的软件动态自演化框架

针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该框架是有效可行的。     

基于Linux的SMP机群环境中并行I/O模型研究

提出了一个基于数据通路的波浪推进式并行I/O模型框架,并在基于Linux的SMP机群系统中,根据波浪推进式并行I/O模型框架对各个数据通路进行建模,具体分析了这个波浪推进式并行I/O模型,从思路上解决了刻画并行I/O性能的并行I/O模型问题。     

模型驱动工程中的模型合成技术研究

模型驱动工程中,模型合成技术能降低软件复杂度,提高开发效率和质量.提出基于语义和结构进行模型匹配并按规则进行合成的方法,首先建立形式化的中间数据模型,用于统一模型合成过程中的模型表示方式;然后结合元素名称设计语义相似度函数,并基于元素属性和元素之间的关系计算结构相似度,提高模型匹配精度;根据相似度值确定匹配元素,对于完全匹配和完全不匹配的元素,自动确定合成规则,对于相似元素对,经过少量的人工分析可判定合成规则;根据合成规则能自动产生合成模型;设计校验规则和验证框架检验合成模型的正确性和一致性.最后用实例说明了方法的有效性和可行性.     

通用ATE测试资源信息模型

测试资源管理是通用性自动测试系统的核心,是实现系统硬件资源可扩展/可配置、测试程序集(TPS)可移植的基础.提出一种通用ATE测试资源信息模型的框架,通过建立仪器驱动器模型(IDM)以及在设备模型中引入状态信息及故障隔离信息,扩展了标准[1-2]所定义的模型框架,使其更具有通用性和应用价值并以关系模型的形式给出了该测试资源信息模型的详细描述.     

一种支持多目标框架的模型驱动开发方法

平台无关模型到平台相关模型的转换是OMG提出的模型驱动架构(MDA)中的关键技术。目前多数开发工具将平台相关模型定义为具体的目标运行框架,这严重降低了软件演化过程中设计模型的可重用性。为此,引入抽象平台相关模型和具体平台相关模型的概念,使基于某种平台的业务逻辑设计与目标运行框架相分离,提出一种支持多目标框架代码生成的扩展MDA开发模型。实验证明,该方法提升了模型描述的灵活性和可重用性,能够对模型驱动的软件开发提供有力的支持。     

基于类面向对象的模型表达与反应器模拟模型系统研究

提出了基于类面向对象的模型结构化表达方法,形成由模型框架、模型类和模型实例构成的继承层次,并应用到天然气等离子体合成乙烯乙炔反应器模拟研究中。同时考虑到模拟模型在多种条件下的优化,以星形模式设计描述模型关系。另外针对等离子体系的特点还讨论了以RGB三色素的不同合成描述温度分布的方法。最后介绍了反应器模拟模型系统的结构和功能。     

UML模型到N层Web模型的模型驱动转换

模型驱动架构(MDA)是由对象管理组织(OMG)提出的应用模型技术进行软件开发的方法和标准体系,其核心理念是平台无关模型建模和平台特定模型转换。通过编程实现基于元对象机制2.0(MOF2.0)查询/视图/转换(QVT)标准定义开发的框架,该框架可以将元模型转换为特定N层应用程序类,实现主要程序功能,从而大大提高开发效率。验证了通过编程实现模型驱动转换的灵活性和功能实现的多样性,包括XML文件对模型规范的描述以及生成代码的完整性。     

基于元胞自动机模型的交织区车道分配问题分析

为探究交织区不同车道分配方案对系统产生的影响效果,在Nagel和Schreckenberg提出的NS元胞自动机模型的基础上为三种不同换道区域定义了三种换道规则,建立针对交织区的元胞自动机模型。对比交织区是否设置隔离带的两种车道分配情况下交织区及非交织区分别进行了数值的模拟和分析,结果表明,流量低时,两种措施的效果无明显差异;流量较高并且交织比不大时设置隔离带将减少系统拥堵及各流向车辆的行程时间。当交织区的长度在一定值内,设置隔离带的效果更好,且随着交织区长度的增加,设置隔离带而产生的优化效果也越来越小。交织区超过这个长度后两种措施效果差不多。     

基于类修改和反射的动态方面编织模型

方面编织是系统关注点编织的实现部分,其优劣关系着面向方面软件系统的执行效率、编织粒度、模块化程度。依据方面化构件组装以及按需计算中间件平台需求,提出一种动态方面编织模型——DAWeaver,该模型利用BCEL修改类文件,通过方面容器反射调用方面组件,支持了编织的动态性。最后,给出该模型的原型系统,并对已编织系统作了性能分析。     

Semantic based aspect-oriented programming for context-aware Web service composition

An aspect-oriented programming (AOP) based approach is proposed to perform context-aware service composition on the fly. It realises context-aware composition by semantically weaving context into Web service composition. The context weaver algorithm is implemented and illustrated. The proposed semantic weaving allows Web services to be composed as the context changes.     

面向方面软件体系结构编织的形式化描述方法

面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。本文以Petri网作为行为描述和结构描述的统一基础,提出了一种描述软件体系结构方面及其编织逻辑的形式化方法,并通过实例对相关的概念和模型进行了说明。应用研究表明,该方法描述能力强,不仅能描述复杂的方面结构、行为以及相应的编织逻辑,还可对编织效果进行推理和评价。     

基于元胞自动机的快速路交织区交通流仿真建模

城市快速路交织区由于复杂的交通流容易造成拥塞, 成为快速路交通的瓶颈。充分考虑到辅道交通流对交织区的影响,以元胞自动机NS模型为基础,通过设定跟车规则、换道规则,对一个包含入口匝道、出口匝道、主线车道和辅道的快速路交织区路网建立模型进行微观仿真。仿真得出交织区长度对流量、密度、速度等交通流参数的影响并给出了最优交织区长度参考值, 最后用HCM经验公式的计算结果验证了仿真模型。     

Performance analysis of security aspects by weaving scenarios extracted from UML models

Aspect-oriented modeling (AOM) allows software designers to describe features that address pervasive concerns separately as aspects, and to systematically incorporate the features into a design model using model composition techniques. The goal of this paper is to analyze the performance effects of different security features that may be represented as aspect models. This is part of a larger research effort to integrate methodologies and tools for the analysis of security and performance properties early in the software development process. In this paper, we describe an extension to the AOM approach that provides support for performance analysis. We use the performance analysis techniques developed previously in the PUMA project, which take as input UML models annotated with the standard UML Profile for Schedulability, Performance and Time (SPT), and transform them first into Core Scenario Model (CSM), and then into different performance models. The composition of the aspects with the primary (base) model is performed at the CSM level. A new formal definition of CSM properties and operations is described as a foundation for scenario-based weaving. The proposed approach is illustrated with an example that utilizes two standards, TPC-W and SSL.     

一种基于日志的增量式编织机制

编织效率会严重影响面向方面编程的性能。针对上述情况,将按需编织和编织历史机制相结合,提出一种基于日志的增量式编织机制。使用索引日志、编织历史日志和系统日志3种日志文件,通过改变方面存储结构,定量描述方面状态,计算方面状态改变量,由此实现效率更高的增量式编织。     

Computer simulation of production systems for woven fabric manufacture

This paper reports a research and development of a suite of generic software program entitled TEXSIM (TEXtile SIMulator). The software is mainly intended to create simulation models of weaving of production systems without any programming and automatically performs the simulation study and produces results to understand the stochastic behaviour of the system as well as to analyze the system performances to solve the real life weaving production management problems. The ’TEXSIM’ reads the input parameters from the user in an on-line session through its user-interface, written in FORTRAN’77, and interactively uses WITNESS, a manufacturing simulation package containing the basic simulation model building blocks, and creates the simulation model in accordance with the user’s specifications and conducts the simulation experiments and produces results. The objective is to focus on the practicality and simplicity of simulation model building of a weaving production system with a readily available suite of user-friendly program TEXSIM within few minutes without expertise and back ground of simulation technique and the knowledge of computer simulation programming as well as the skill of handling of commercial simulation package. It also highlights the importance of use of computer simulation technique as a modern, powerful and flexible management analysis tool in weaving factories. Textile engineers and technologists, particularly the managers who have no background of simulation can take full advantages of the use of simulation technique to analyze their present complex weaving production systems, rather than using the conventional analytical rule of thumb methods, to help the management to plan, design and operate their systems in an efficient manner to improve the manufacturing productivity. TEXSIM also facilitates the scheduling of production within the factory through simulation.     

Model driven design and aspect weaving

A model is a simplified representation of an aspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior, functionalities, user-interface, and extra-functional concerns (such as security, reliability, timeliness, etc.). For software systems, the design process can then be characterized as the weaving of all these aspects into a detailed design model. Model Driven Design aims at automating this weaving process, that is automatically deriving software systems from theirs models. This paper explores the relationship between modeling and aspect weaving. It points out some of the challenges related to such automatic model weaving, illustrating them with the example of a weaving process for behavioral models represented as scenarios. This work has been partially supported by the AOSD-Europe Network of Excellence.

---

方面编织策略研究进展及图形化方面编织框架

目前AOP作为OOP的扩展和补充,成为软件工程领域中的研究热点,其核心思想是分离关注点,实现横切关注点的模块化。实现关注点分离的关键技术之一是方面的编织。重点阐述了AOP系统中方面的具体编织策略,包括方面编织实现策略和织入时间策略。详细介绍了目前四种主流AOP系统：AspectJ、AspectWerkz、Spring AOP以及JBoss AOP的编织机制和技术,通过分析和总结目前AOP系统方面编织策略的优缺点,提出了一种基于XML的图形化方面编织框架——XbGAWF,以及XbGAWF与不同AOP平台的集成模式。