Correct-by-construction synthesis of model transformations using transformation patterns

Model transformations are an essential part of model-based development approaches, such as Model-driven Architecture (MDA) and Model-driven Development (MDD). Model transformations are used to refine and abstract models, to re-express models in a new modelling language, and to analyse, refactor, compare and improve models. Therefore, the correctness of model transformations is critically important for successful application of model-based development: software developers should be able to rely upon the correct processing of their models by transformations in the same way that they rely upon compilers to produce correct executable versions of their programs. In this paper, we address this problem by defining standard structures for model transformation specifications and implementations, which serve as patterns and strategies for constructing a wide range of model transformations. These are incorporated into a tool-supported process which automatically synthesises implementations of model transformations from their specifications, these implementations are correct-by-construction with respect to their specifications.     

Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering

Software and Systems Modeling - Recently, there has been increased interest in combining model-driven engineering and search-based software engineering. Such approaches use meta-heuristic search...     

A model driven engineering process of platform neutral agents for ambient intelligence devices

Ambient intelligence (AmI) systems are now considered a promising approach to assist people in their daily life. AmI proposes the development of context aware systems equipped with devices that can recognize your context and act accordingly. Agents provide an effective way to develop such systems since agents are reactive, proactive and exhibit an intelligent and autonomous behavior. However, current agent approaches do not adequately fulfill the requirements posed by AmI systems. From a modeling point of view, the aim should be to help in the design by providing adequate tools that assist in the development of important properties of AmI systems, such as context-awareness; and from an implementation point of view, agent technologies must be adapted to the diversity of AmI devices and communication technologies. As a solution to these issues we propose a Model driven engineering process, which supports the automatic generation of agent-based AmI systems. The source metamodel is PIM4Agents, a general purpose agent metamodel that we have adapted to support the explicit modeling of context aware systems, and the target metamodel is Malaca, an aspect-oriented agent architecture. Aspect-orientation makes Malaca platform-neutral for FIPA compliant agent platforms, simplifying the model driven process. The solution generates MalacaTiny agents, an implementation of Malaca that is able to run in AmI devices. We have evaluated the convenience of applying a model driven approach by measuring the degree of automation of our process and we have evaluated MalacaTiny for mobile phones by assessing different parameters, related to the scarcity of resources in AmI systems. All the results obtained are satisfactory.     

Integrating ontologies,model driven,and CNL in a multi-viewed approach for requirements engineering

Research in requirements engineering (RE) has been growing in the last few years. RE researchers are generally concerned with a set of open issues such as: (i) the need for a well-defined process to identify and specify the requirements scope, (ii) suitable mechanisms to support communication among different stakeholders and development teams involved in the RE process, (iii) mechanisms to deal with the inherent volatility of requirements, and (iv) the need for a traceability scheme to help managing requirements in the downstream phases of the development process. In this work, we address some of these open issues by proposing the use of an iterative and incremental model-driven RE process combined with the employment of different notations such as controlled natural language and ontology in each activity of RE process. Based on the argument that there is no single notation suitable to represent requirements from the different perspectives of all the stakeholders and development teams, we propose a RE process encompassing different views, representing each perspective. This paper describes the proposed process, its tool support, and presents a controlled experiment that illustrates the proposal and evaluates its benefits.     

目标驱动的CMMI-DEV度量模型

针对采用CMMI-DEV进行过程改进的组织在实施度量时常常存在的问题,结合目标驱动思想和PSM的特点,提出一种目标驱动的CMMI-DEV度量模型(Goal-Driven PSM模型),并建立基于该模型的度量过程框架。度量模型具有度量目的明确、度量选择准确和可重复利用等优点,度量过程框架能够自然的融入到组织的技术和管理过程中,并能对度量过程自身进行持续改善。结合某单位的CMMI-DEV过程改进实例,结果表明了该模型能为组织建立符合CMMI-DEV的度量体系提供有效的支持和指导。     

Agile model driven development is good enough

I'm not all that sure about the direction that model-driven development appears to be taking. Don't get me wrong-I'm a firm believer in modeling. It's just that I think that there's a lot more to development than this. Here's my point: We need to distinguish between generative MDD and Agile MDD. Generative MDD, epitomized by the Object Management Group's Model Driven Architecture, is based on the idea that people will use very sophisticated modeling tools to create very sophisticated models that they can automatically "transform" with those tools to reflect the realities of various deployment platforms. Great theory-as was the idea that the world is flat. In my opinion, generative MDD is a lost cause for the current generation of developers. Agile MDD will be a struggle to pull off, but at least it has a chance of succeeding.     

MDA的设想与实现

模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法,它将模型作为软件开发过程的关键,MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model),通过不同抽象层次模型之间的转换完成软件开发过程。介绍了MDA的设想,包括MDA的基本概念,基于MDA的开发过程,讨论了实现MDA所涉及的几个重要问题。     

Requirements model driven adaption and evolution of Internetware

Today’s software systems need to support complex business operations and processes.The development of the web-based software systems has been pushing up the limits of traditional software engineering methodologies and technologies as they are required to be used and updated almost real-time,so that users can interact and share the same applications over the internet as needed.These applications have to adapt quickly to the diversified and dynamic changing requirements in the physical,technological,economical and social environments.As a consequence,we are expecting a major paradigm shift in software engineering to reflect such changes in computing environment in order to better address the fundamental needs of organisations in this new era.Existing software technologies,such as model driven development,business process engineering,online(re-)configuration,composition and adaptation of managerial functionalities are being repurposed to reduce the time taken for software development by reusing software codes.The ability to dynamically combine contents from numerous web sites and local resources,and the ability to instantly publish services worldwide have opened up entirely new possibilities for software development.In retrospect to the ten years applied research on Internetware,we have witnessed such a paradigm shift,which brings about many changes to the developmental experience of conventional web applications.Several related technologies,such as cloud computing,service computing,cyber-physical systems and social computing,have converged to address this emerging issue with emphasis on different aspects.In this paper,we first outline the requirements that the Internetware software paradigm should meet to excel at web application adaptation;we then propose a requirement model driven method for adaptive and evolutionary applications;and we report our experiences and case studies of applying it to an enterprise information system.Our goal is to provide high-level guidelines to researchers and practitioners to meet the challenges of building adaptive industrial-strength applications with the spectrum of processes,techniques and facilities provided within the Internetware paradigm.     

Bond-graph model of a piezostack driven jetting dispenser

Micro liquid jetting technology is widely used in the field of electronic packaging. This paper presents a bond-graph model of a piezostack driven jetting dispenser that can dispense adhesive fluids accurately, rapidly, and flexibly. After describing the structural components and operating principles of the dispenser, the bond-graph model for the system is derived by integrating the electromechanical model with the fluid model. In the bond-graph model, the lumped parameter method is employed to obtain the conceptual bond-graph elements of the adhesive in the channels. Based on the proposed model, the jetting dispenser is designed and manufactured, and its performance is then evaluated through both computer simulations and experiments. Further simulation studies about the working properties based on the bond-graph model is carried out.     

基于CWM的模型驱动体系结构的研究

元数据及其管理是数据仓库和业务分析领域中的核心部分.也是成功建立信息供应链的关键.元数据管理依赖于软件体系结构来抽取、集成、存储和发布元数据.本文介绍了模型驱动体系结构的整体框架,并且给出了如何使用扩展的UML和CWM来为数据仓储构建模型驱动体系结构的思想体系.此外,也说明了如何用模型驱动体系结构框架来对应整个数据仓库开发过程.     

Evaluating performance of AI operators using roofline model

Applied Intelligence - Artificial Intelligence algorithms have shown performance advantages in a wide range of application domains. However, the increasing demand for hardware resources raises...     

Multi-camera tele-immersion system with real-time model driven data compression

Vision-based full-body 3D reconstruction for tele-immersive applications generates large amount of data points, which have to be sent through the network in real time. In this paper, we introduce a skeleton-based compression method using motion estimation where kinematic parameters of the human body are extracted from the point cloud data in each frame. First we address the issues regarding the data capturing and transfer to a remote site for the tele-immersive collaboration. We compare the results of the existing compression methods and the proposed skeleton-based compression technique. We examine the robustness and efficiency of the algorithm through experimental results with our multi-camera tele-immersion system. The proposed skeleton-based method provides high and flexible compression ratios from 50:1 to 5000:1 with reasonable reconstruction quality (peak signal-to-noise ratio from 28 to 31 dB) while preserving real-time (10+ fps) processing.     

基于微型传感器驱动的三维实时运动人体模型

建立一种运用于人体运动捕获与再现系统的人体模型,实现人体运动实时控制模型的运动.根据微型传感器人体运动捕获与再现系统的特点,提出一种三维人体模型的层次化结构建模方法和多边形分组皮肤变形方法.该方法以生物动力学为基础,根据人体关节的运动特征进行分层表示,采用传感器数据驱动并控制人体骨架模型的运动以及皮肤模型的变形,实时再现真实人体运动.实验表明,新建模方法适用于传感器数据驱动人体模型的实时运动再现,并能够逼真地体现人体运动的生物力学特征.     

Bayesian networks for student model engineering

Bayesian networks are graphical modeling tools that have been proven very powerful in a variety of application contexts. The purpose of this paper is to provide education practitioners with the background and examples needed to understand Bayesian networks and use them to design and implement student models. The student model is the key component of any adaptive tutoring system, as it stores all the information about the student (for example, knowledge, interest, learning styles, etc.) so the tutoring system can use this information to provide personalized instruction. Basic and advanced concepts and techniques are introduced and applied in the context of typical student modeling problems. A repertoire of models of varying complexity is discussed. To illustrate the proposed methodology a Bayesian Student Model for the Simplex algorithm is developed.     

骨架驱动的三维模型变形方法

为发展三维网格模型的变形技术,研究了多种三维模型变形算法,通过对骨架驱动变形算法的深入研究,针对现行算法多是以单一骨架驱动变形的不足,提出了一种新的基于多骨架点驱动的交互式局部变形方法.有效结合模型的骨架图结构,确定各骨架点对应的局部区域.并将骨架点拟合为二次Bézier曲线,通过交互式拖动任意骨架点计算与之相连的多骨架点的动态变化,实现模型局部区域的自然形变.实验结果表明了该算法的有效性和直观性.