Model Transformation Technology Research Articles

Business Model Transformation and Information Technology Use on the Quality of Accounting Information Systems in MSMEs in Indonesia

This research investigates the impact of business model transformation (BMT) and information technology utilization (ITU) on the quality of accounting information systems (QAIS) in Micro, Small, and Medium Enterprises (MSMEs) in Indonesia. A quantitative approach is employed, with data collected through a survey of MSMEs across various industries. Structural Equation Modeling (SEM) with Partial Least Squares (PLS) is used for data analysis. The findings reveal significant positive relationships between BMT, ITU, and QAIS. Business model transformation and IT utilization are found to significantly enhance the quality of accounting information systems in Indonesian MSMEs. These results highlight the importance of innovative business practices and effective technology adoption in improving financial management processes within MSMEs, providing valuable insights for practitioners, policymakers, and researchers.

VMTL: a language for end-user model transformation

Model transformation is a key enabling technology of Model-Driven Engineering (MDE). Existing model transformation languages are shaped by and for MDE practitioners--a user group with needs and capabilities which are not necessarily characteristic of modelers in general. Consequently, these languages are largely ill-equipped for adoption by end-user modelers in areas such as requirements engineering, business process management, or enterprise architecture. We aim to introduce a model transformation language addressing the skills and requirements of end-user modelers. With this contribution, we hope to broaden the application scope of model transformation and MDE technology in general. We discuss the profile of end-user modelers and propose a set of design guidelines for model transformation languages addressing them. We then introduce Visual Model Transformation Language (VMTL) following these guidelines. VMTL draws on our previous work on the usability-oriented Visual Model Query Language. We implement VMTL using the Henshin model transformation engine, and empirically investigate its learnability via two user experiments and a think-aloud protocol analysis. Our experiments, although conducted on computer science students exhibiting only some of the characteristics of end-user modelers, show that VMTL compares favorably in terms of learnability with two state-of the-art model transformation languages: Epsilon and Henshin. Our think-aloud protocol analysis confirms many of the design decisions adopted for VMTL, while also indicating possible improvements.

Robust Parameter Dependent Receding Horizon H∞ Control of Flexible Air‐Breathing Hypersonic Vehicles with Input Constraints

AbstractThis paper describes the design of a robust parameter dependent receding horizon H∞ controller (PD‐RHHC) for a flexible air‐breathing hypersonic vehicle (ABHSV) model. Because of the complexity and uncertainty of the model of the vehicle dynamics, few control strategies take constraints into account in the computation of the control law. The objective of the current research is to develop a controller design method that can accommodate input saturation. In this paper, starting from the analytical nonlinear dynamic model with aerothermoelastic mode dynamics, a linear parameter varying (LPV) model is obtained by an improved functional substitution method. Tensor product (TP) model transformation technology is then applied to obtain the polytopic representations of the LPV model. Based on the gain‐scheduling method, a novel parameter dependent receding horizon control algorithm by convex optimization solving linear matrix inequalities (LMIs) is presented, which provides stable tracking of the velocity and altitude reference trajectories. The proposed control strategy not only addresses the issue of robustness stability with respect to parametric model uncertainty and aerothermoelastic mode, but also explicitly deals with input constraints and guarantees that the control inputs are within their limits. Finally, the numerical simulation results prove the availability of the proposed method.

Research of the Wheat Modeling Problems Based on Creator

In order to making the virtual experiment results close to or equivalent to the real environmental effects, in addition to model realistic scenes, also need more accurate dynamic model. In this paper, based on research of hydraulic steering paddy and wheat combine harvester, first, used three-dimensional geometric model transformation technology to convert Pro/E model to a identified geometric model in VP virtual reality systems, second, used classical dynamics equations to build the mathematical model of this vehicle dynamics, finally, used VC++ programs to connect this two models, constructed a behavioral model of complete physics properties. This behavior model is not only more realistic than the geometry model in motion, but also it follows the laws of physics movement. It can effectively strengthen the authenticity of virtual experiment, provide an important platform to start agricultural machinery virtual characteristics test, and this Modeling Method can provide a reference for other agricultural machinery virtual reality platform to build.

Research of Agricultural Machinery Modeling Method Based on Virtual Reality

In order to make the virtual experiment results close to or equivalent to the real movement patterns, the agricultural machinery virtual test based on virtual reality requires realistic scene model and it also needs more accurate agricultural machinery dynamic model.As for the rice and wheat combine harvester of hydraulic steering, firstly, model transformation technology is used to convert Pro/E harvester model into three-dimensional geometric model that can be identified by Vega Prime virtual reality systems. Secondly, classical dynamics equation is used to construct the mathematical models of the rice and wheat combine harvester. Finally, mathematical models are combined with geometric models by VC++ programming, and then the physical behavioral model of combine harvester which has the physics properties is created.It can effectively strengthens the authenticity of agricultural machinery virtual test, and provides an important platform to start agricultural machinery virtual characteristics test. The modeling method can provide an important agricultural machinery dynamic model for the further virtual test based on virtual reality.

Research of Terrain Model Transformation and Processing Technology Based on Node Transformation

In the three-dimensional terrain model construction, a lot of work is to modify the partial area of the discontinuous portion of the model, augmenting the descriptions of the detail and the authenticity of the model. In view of this, this paper mainly studied the influence of node transformation on terrain model. And combined with the primary technology of node transformation, the paper also analyzed the application of node transformation on a certain terrain model. The result indicates that: using node transformation technology can effectively develop the complexity and authenticity of the model, enhance the sense of immersion in the VR environment.

Towards a framework for deriving platform-independent model-driven software product lines

Model-driven software product lines (MD-SPLs) are created from domain models which are transformed, merged and composed with reusable core assets, until software products are produced. Model transformation chains (MTCs) must be specified to generate such MD-SPLs. This paper presents a framework for creating platform-independent MD-SPLs; such framework includes a domain specific language (DSL) for platform-independent MTC specification and facilities platform-specific MTC generation of several of the most used model transformation frameworks. The DSL also allows product line architects to compose generation taking the need for model transformation strategy and technology interoperability into account and specifying several types of variability involved in such generation.

Development of a Virtual Maintenance System for Complex Mechanical Product

In order to improve the maintenance training effect of complex mechanical product, a virtual maintenance system was developed. The system framework was proposed, and the main functional modules were elaborated. A multilevel information representation model for complex mechanical product was put forward, and the flowchart of model transformation technology was designed. Moreover, a collision detection method based on hierarchical bounding volume was proposed, and the maintainability analysis and evaluation solution based on maintenance knowledge was presented. Finally, a prototype system was developed, and the proposed system was provedto be efficient through an example of hydraulic winch.

Translating natural language constraints to OCL

Object Constraint Language (OCL) is the only available language to annotate the Unified Modeling Language (UML) based conceptual schema (CS) of a software application. In practice, the constraints are captured in a natural language (NL) such as English and then an OCL expert manually transforms the NL expressions to OCL syntax. However, it is a common knowledge that OCL is difficult to write specifically for the novel users with little or no prior knowledge of OCL. In recent times, model transformation technology has made transformation of one language to another simpler and easier. In this paper we present a novel approach to automatically transform NL specification of software constraints to OCL constraints. In NL to OCL transformation, Semantics of Business Vocabulary and Rules (SBVR) standard is used as an intermediate representation due to a couple of reasons: first of all, SBVR is based on higher order logic that simplifies the transformation of SBVR to other formal languages such as OCL. Moreover, SBVR used syntax of natural language and thus is close to human beings. The presented NL to OCL transformation via SBVR will not only simplify the process of generating OCL constraints but also generate accurate models in less time.

Design pattern evolutions in QVT

One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads to adaptable software since the design pattern instances could be changed with minimal impact on other parts of the system. Such changes, called the evolution of a design pattern instance in this paper, typically involve the addition or removal of a group of model elements, such as classes, attributes, operations, and relationships. However, the possible evolutions of each design pattern are often not explicitly documented. Missing a part of the evolution process may result in inconsistent evolutions. In this paper, we present our approach to assist the evolution processes of design patterns by model transformation technology. We provide a formal foundation for our approach by defining the predicates that can be used to describe the properties of each design pattern, software system design, and design pattern evolutions. We also provide tool support to automate the evolution processes based on the Query, View, and Transformation standard. A case study of a large open-source software system is conducted to illustrate and evaluate our approach.

MDE-Based Mode Transformation: From MARTE Model to FIACRE Model

PDF HTML阅读 XML下载 导出引用 引用提醒 基于MDE的异构模型转换:从MARTE模型到FIACRE模型 DOI: 作者: 作者单位: 作者简介: 通讯作者: 中图分类号: 基金项目: Supported by the National Natural Science Foundation of China under Grant No.60425204 (国家自然科学基金); the National Basic Research Program of China under Grant No.2002CB312001 (国家重点基础研究发展计划(973)); the National High-Tech Research and Development Plan of China under Grant No.2007AA010302 (国家高技术研究发展计划(863)); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2007714 (江苏省自然科学基金) MDE-Based Mode Transformation: From MARTE Model to FIACRE Model Author: Affiliation: Fund Project: 摘要 | 图/表 | 访问统计 | 参考文献 | 相似文献 | 引证文献 | 资源附件 | 文章评论 摘要:通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real timeand embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实 用性. Abstract:This paper presents a representative case study of bridging UML/MARTE (unified modeling language/ modeling and analysis of real time and embedded systems) to FIACRE (intermediate format for the architectures of embedded distributed components), and discusses in detail two sub-problems of semantic mapping and syntactic transformation respectively. At the semantic level, the semantic mapping rules are developed using model transformation technology so as to implement the transformation between metamodels. At the syntactic level, the concrete syntax rules are built on the metamodels so that textual programs could be generated. Based on the case study, the general framework and corresponding key techniques are discussed. In addition, both the advantages and deficiencies of the work are concluded. 参考文献 相似文献 引证文献

Capturing Interaction Requirements in a Model Transformation Technology Based on MDA

Capturing Interaction Requirements in a Model Transformation Technology Based on MDA