Ruizhe

Sirius Web: Insights in Language Workbenches An Experience Report Abstraction Sirius Web is an open-source, web-based language workbench maintained by Obeo and hosted under the Eclipse Foundation. It is the successor of Sirius Desktop, an Eclipse-based language workbench used for producing numerous industrial graphical modeling workbenches in the past decades. Leveraging on this valuable experience, in this article we provide an overview of Sirius Web and document the rationales and good practi ...

Investigating the Flexibility of the MBSE Approach to the Biomass Mission Abstraction Model-based systems engineering (MBSE) represents a move away from the traditional approach of document-based systems engineering (DBSE), and is used to promote consistency, communication, clarity, and maintainability within systems engineering projects. MBSE offers approaches that can address issues associated with cost, complexity, and safety. One way that this can be achieved is by performing early function ...

Bibliometric Analysis of Model-Based Systems Engineering: Past, Current, and Future Abstraction Model-based systems engineering (MBSE) is considered an important approach for understanding multidomain fields and is widely used in complex systems such as aerospace. In this article, a detailed survey ofMBSE literature was conducted from its commencement to the present trends through bibliometric analysis.Some bibliometric tools were used to implement a visual network analysis of MBSE-related manu ...

Unlocking Synergy: Leveraging SysML and Modelica with Bi-Directional Transformation and Simulation Integration Standards Abstraction Both the SysML and Modelica standards are used in the field of Systems Engineering (SE) to model systems from different perspectives, on different abstraction levels. SysML is strong when modeling systems on a functional level because it provides different views. With the capabilities of other simulation specifications, the engineers can simulate the system archit ...

Model Transformation Testing and Debugging:A Survey Abstraction Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformat ...

Incremental execution of model-to-text transformations using property access traces Abstraction Automatic generation of textual artefacts (including code, documentation, configuration files, build scripts, etc.) from models in a software development process through the application of model-to-text (M2T) transformation is a common MDE activity. Despite the importance of M2T transformation, contemporary M2T languages lack support for developing transformations that scale with the size of the inpu ...

Solving the Instance Model-View Update Problem in AADL Abstraction The Architecture Analysis and Design Language (AADL) is a rich language for modeling embedded systems through several constructs such as component extension and refinement to promote modularity of component declarations. To ease processing AADL models, OSATE, the reference tool for AADL, defines another model (namely ‘instance’ model) computed from a base ‘declarative’ model/s. An instance model is a simple object tree where all ...

10 years of Model Federation with Openflexo: Challenges and Lessons Learned Abstraction In the context of complex system development, heterogeneous modeling responds to the need to integrate several domains. This need requires the use of the most appropriate formalism and tooling for each domain to be efficient. Model federation promotes the semantic interoperability of heterogeneous models by providing the means to reify correspondences between different model elements, add custom behaviors an ...

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 ...