Ruizhe

Domain-specific languages for the automated generation of datasets for industry 4.0 applications 作者来自西班牙坎布里亚大学 Abstraction Data collected in Industry 4.0 applications must be converted into tabular datasets before they can be processed by analysis algorithms, as in any data analysis system. To perform this transformation, data scientists have to write complex and long scripts, which can be a cumbersome process. To overcome this limitation, a language called Lavoisier was recently created to fac ...

Design ontology for cognitive thread supporting traceability management in model-based systems engineering 作者来自王国新和鲁金直团队。 Abstraction Industrial information integration engineering (IIIE) is an interdisciplinary field to facilitate the industrial information integration process. In the age of complex and large-scale systems, model-based systems engineering (MBSE) is widely adopted in industry to support IIIE. Traceability management is considered the foundation of information management in MBSE ...

What makes a good modeling research contribution?) 作者是Richard F. Paige。 Abstraction The modeling field is rapidly evolving and expanding to address new research topics and to connect with new disciplines. As such, what constituted a good modeling research contribution ten years ago may not be the same today. We try to distill some insights of what we (and the community we aim to represent) consider today as key elements of a good research paper in the field of software and systems modeling. Suc ...

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review 作者是KCL的Hugo Araujo。 Abstraction We perform a systematic literature review on testing, validation, and verification of robotic and autonomous systems (RAS). The scope of this review covers peer-reviewed research papers proposing, improving, or evaluating testing techniques, processes, or tools that address the system-level qualities of RAS.Our survey is performed based on a rigorous methodology structure ...

Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example 作者是KCL的Kevin Lano。 Abstraction In this article, we address how the production of model transformations (MT) can be accelerated by automation of transformation synthesis from requirements, examples, and metamodels. We introduce a synthesis process based on metamodel matching, correspondence patterns between metamodels, and completeness and consistency analysis of matches. We ...

Early Validation and Verification of System Behaviour in Model-based Systems Engineering:A Systematic Literature Review 作者来自瑞典Mälardalen大学和Volvo建筑集团。 Abstraction In the Systems Engineering (SE) domain there has been a paradigm shift from document-based to model-based system development artefacts; in fact, new methodologies are emerging to meet the increasing complexity of current systems and the corresponding growing need of digital workflows. In this regard, Model-Based Systems Engineering (MB ...