Ruizhe

Partial Bidirectionalization of Model Transformation Languages Abstraction While most model-transformation languages in Model-Driven Engineering are unidirectional, bidirectionality is valuable when artifacts need two-way synchronization. Although several bidirectional transformation engines have been developed, their behavior is generally considered more difficult to formulate and predict compared to the unidirectional case. In the bidirectionalization approach, users write the forward directi ...

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications Abstraction Tree-based model editors and hybrid graphical-textual model editors have advantages and limitations when editing domain models. Data is displayed hierarchically in tree-based model editors, whereas hybrid graphical-textual model editors capture high-level domain concepts graphically and low-level domain details textually. We conducted an empirical user study with 22 participants to ...

前言： 第一部分（1-4章）介绍基本概念； 第二部分（5-9章）介绍Ecore和其他形式的关系（UML、Java、XML Schema）； 第三部分（10-13章）分析EMF的代码生成工具和案例； 第四部分（14-21章）介绍EMF的运行库架构。 第1章 Eclipse项目Eclipse项目本身可以划分为4个主要子项目：Equinox、平台、Java开发工具（Java Development Tools）、插件开发环境（Plug-in Development Environment，PDE）。 第2章 EMF介绍第3章 使用EMF.Edit编辑模型第4章 使用EMF——简单概述用一个例子说明如何在Eclipse中创建一个EMF（不使用Emfatic）。 第5章 Ecore建模概念第6章 UML第7章 Java源代码第8章 扩展的Ecore建模第9章 XML Schema第10章 EMF生成器模式第11章 EMF.Edit生成器模式第12章 运行生成器第13章 示例——实现模型和编辑器第14章 探索元数据第15章 持久化第16章 客户端编程工具箱第17章 更改模型第18章 验证架构第 ...

OMG System Modeling Language (Version 2.0 beta 2) 第六章：介绍 Clause 7 describes SysML from a user point of view. Its subclauses describe the modeling constructs in SysML, including for each a general overview, related abstract syntax diagrams and a description of the textual and graphical notation. The overviews in this clause should be considered informative. The abstract syntax and notation subclauses, however, are normative, including descriptions of the processing of the textual notation and i ...

Towards the Formal Verification of SysML v2 Models Abstraction Systems Modeling Language (SysML) is the de facto standard in the industry for modeling complex systems. SysML v2 is the new version of the language with reworked fundamentals. In this paper, we explore how the new formal semantics of SysML v2 can enable formal verification and various forms of automated reasoning. Formal verification involves mathematically proving the correctness of a system’s design with respect to certain specif ...

Product Lines of Graphical Modelling Languages Capone-CS开源代码 Abstraction Modelling languages are essential in many disciplines to express knowledge in a precise way. Furthermore, some domains require families of notations (rather than individual languages) that account for variations of a language. Some examples of language families include those to define automata, Petri nets, process models or software architectures. Several techniques have been proposed to engineer families of languages, but ...

MODELS2022:Modular Language Product Lines:A Graph Transformation Approach SoSyM2024:Modular language product lines: concept, tool and analysis Capone开源代码 Abstraction Modelling languages are intensively used in paradigms like modeldriven engineering to automate all tasks of the development process.These languages may have variants, in which case the need arises to deal with language families rather than with individual languages.However, specifying the syntax and semantics of each language varia ...

MODELS2022: Picto web: a tool for complex model exploration CPS2024: Exploring complex models with picto web Picto Web开源代码 Abstraction Picto Web is a multi-tenant web-based tool for complex model exploration. It can transform different types of models into a variety of transient web-based views in formats such as HTML, Graphviz and PlantUML using rule-based model-to-text transformations. Picto Web implements a lazy view computation approach to support large models and complex transformations ef ...

Towards Runtime Monitoring for Responsible Machine Learning using Model-driven Engineering Abstraction Machine learning (ML) components are used heavily in many current software systems, but developing them responsibly in practice remains challenging. ‘Responsible ML’ refers to developing, deploying and maintaining ML-based systems that adhere to humancentric requirements, such as fairness, privacy, transparency, safety, accessibility, and human values. Meeting these requirements is essential f ...

Automation in Model-Driven Engineering: A look back, and ahead Abstraction Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for many different engineering tasks, especially those involving transitioning from design to implementation. With the huge progress made in Artificial Intelligence (AI), questions arise about the future of MDE, such as how existing MDE techniques and technologies can be improved or how other activities that currently lack dedicated support ca ...