Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings最新文献_第6页

CPSAML: a language and code generation framework for digital twin based monitoring of mobile cyber-physical systems CPSAML:一种语言和代码生成框架，用于基于数字孪生的移动网络物理系统监控

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3563134

Andreas Fend, D. Bork

{"title":"CPSAML: a language and code generation framework for digital twin based monitoring of mobile cyber-physical systems","authors":"Andreas Fend, D. Bork","doi":"10.1145/3550356.3563134","DOIUrl":"https://doi.org/10.1145/3550356.3563134","url":null,"abstract":"Cyber-physical systems (CPS) are finding increasing use, whether in factories, autonomous vehicles, or smart buildings. Monitoring the execution of CPSs is crucial since CPSs directly influence their physical environment. Like the actual system, the monitoring application must be designed, developed, and tested. Mobile CPSs, in contrast to stationary CPSs, bring the additional requirement that instances can dynamically join, leave, or fail during execution time. This dynamic behavior must also be considered in the monitoring application. This paper presents CPSAML, a language and code generation framework for the model-driven development of mobile CPS systems, including a cockpit application for monitoring and interacting with such a system. The pipeline starts with the formulation of the system and the CPSs it contains at an abstract level by the system architect using a domain-specific modeling language. Next, this model is transformed into SysML 2 for further extension and richer specificity by system engineers on a more technical level. In the last step of the pipeline, the SysML 2 model is used to generate code for the CPS devices, a system-wide digital twin, and the cockpit application mentioned above. This cockpit enables the operator to configure and apply the monitoring and interaction with the system during runtime. We evaluate our CPSAML language and code generation framework on an Indoor Transport System case study with Roomba vacuum cleaner robots.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"50 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120977689","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Towards the adoption of model based system safety engineering in the automotive industry 面向汽车工业采用基于模型的系统安全工程

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3563130

Thomas Chiang, Rodrigo Gomez Mendoza, Johan Mahmood, R. Paige

引用次数: 1

On abstraction in the OMG hierarchy: systems, models, and descriptions OMG层次结构中的抽象:系统、模型和描述

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561573

A. Prinz, T. Xanthopoulou, Terje Gjøsæter, B. Møller-Pedersen

引用次数: 0

Classifying changes to models via changeset metrics 通过变更集度量对模型的变更进行分类

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561563

S. Popoola, Xin Zhao, J. Gray, A. García-Domínguez

{"title":"Classifying changes to models via changeset metrics","authors":"S. Popoola, Xin Zhao, J. Gray, A. García-Domínguez","doi":"10.1145/3550356.3561563","DOIUrl":"https://doi.org/10.1145/3550356.3561563","url":null,"abstract":"Automated classification of software changes can help to understand the reason why a change was made, guide the adoption of quality control practices as bugfix trends are observed, and cluster related sets of changes for similar management of the changed artifacts, thereby reducing maintenance efforts. A number of change classification techniques have been developed based on information extracted from the change author, change message, change size, or changed file. However, most of these approaches have targeted textual general-purpose programming languages. Furthermore, some of these approaches are computationally expensive because they often require the analysis of the whole source code, while others rely on the developers' ability to describe a commit via a well-written message. In this paper, we present an approach to classify changes to models into the appropriate maintenance type via a set of metrics that are extracted from the version history of models. We developed seven metrics related to changes applied to models and model elements. We then conducted an empirical study involving 10 classifiers to determine the classifier that offers the best performance for automating the change classification process. These classifiers were trained on over 300 changesets extracted from the version history of 28 Simulink repositories. The results of the study show that the Random Forest classifier offers the best performance. The Random Forest classifier has also been evaluated by comparing its results with labels extracted from the discussions within the issues reported in a similar time frame. The evaluation results show that the Random Forest classifier is able to achieve an F-1 score of 0.83, thereby showing its ability to classify changes into the appropriate categories intended by the original developers.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124058591","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Case study on automated and continuous reliability assessment of software-defined manufacturing based on digital twins 基于数字孪生的软件定义制造自动化连续可靠性评估案例研究

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561601

Philipp Grimmeisen, A. Wortmann, A. Morozov

{"title":"Case study on automated and continuous reliability assessment of software-defined manufacturing based on digital twins","authors":"Philipp Grimmeisen, A. Wortmann, A. Morozov","doi":"10.1145/3550356.3561601","DOIUrl":"https://doi.org/10.1145/3550356.3561601","url":null,"abstract":"Traditional production systems are characterized by rare software updates and fixed production lines. Each production unit is designed and programmed for a specific task. Therefore, the reliability assessment is conducted once before the operation, mostly manually, and is based on traditional reliability models, such as event trees, fault trees, or reliability block diagrams. In comparison to traditional production systems, the focus of modern, complex production systems is shifted towards the software part. This is emphasized by the concepts of digital twins and Software-Defined Manufacturing (SDM). These software-intensive and safety-critical systems have more frequent software updates to address higher system flexibility and adjustable production processes. Therefore, SDM systems require a new approach to reliability assessment. Each software update can change the system behavior significantly. This leads to the necessity to reconduct the reliability assessment automatically before each software update. Advanced and hybrid reliability models are the key enabling technology. These models must be automatically generated and synchronized with the available system models and digital twins. Model-to-Model (M2M) transformation methods are another enabling technology. In this paper, we present a case study on automated and continuous reliability assessment of SDM. It shows, that our new method is a suitable candidate to enable the reliability assessment of SDM based on digital twins. The method includes (i) the extension of SysML v2 for reliability assessment, (ii) the automatic generation of hybrid reliability models from the digital twin, and (iii) their reliability assessment with new solvers developed for our OpenPRA framework.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"1 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127156637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Towards the systematic design of model animation: key ingredients and general guidelines 走向模型动画的系统化设计:关键要素与一般准则

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561607

Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens

{"title":"Towards the systematic design of model animation: key ingredients and general guidelines","authors":"Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens","doi":"10.1145/3550356.3561607","DOIUrl":"https://doi.org/10.1145/3550356.3561607","url":null,"abstract":"Model Animation (MA) is a practical technique for providing modellers and Model Transformation designers an insurance that their models behave as expected. This is specially relevant in expertise domains where models have a natural visual representation, i.e. a dedicated concrete syntax. MA can be seen as the visual representation of Model Transformation simulation. It supports Model Transformation designers understand, trace, monitor, and ultimately debug their specification using visual clues. In contrast to other techniques surrounding Model-Driven Engineering, MA has received less attention, in contrast to, e.g. testing or debugging. This paper is a first step towards the systematic engineering of model animators. It identifies three key challenges: (i) how to effectively, explicitly and precisely define the concrete syntax to enable MA; (ii) how to build an MA language to express animations units in a compositional way, so that animations become flexible in their definition, and reusable across several Dsls; and finally (iii) how to explicitly relate MA units with their transformation counterparts, to avoid reimplementing the transformation scheduling. We analyse these challenges to extract some requirements for future animators, and give a partial conceptual proposal that fulfil them, paving the way towards the creation of a family of animation tools that would work alongside transformation engines. We then show, on simple examples, how these propositions apply and to which extent they promote flexibility and reuse.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127395017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Pushing the boundaries of planned reuse with concern specific modelling languages 使用特定于关注的建模语言推动计划重用的边界

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3552375

Maximilian Schiedermeier

{"title":"Pushing the boundaries of planned reuse with concern specific modelling languages","authors":"Maximilian Schiedermeier","doi":"10.1145/3550356.3552375","DOIUrl":"https://doi.org/10.1145/3550356.3552375","url":null,"abstract":"Model-Driven Engineering (MDE) reduces complexity, improves Separation of Concerns and promotes reuse by structuring software development as a process of model production and refinement. A representative methodology is Concern-Oriented Reuse (CORE), an Aspect-Oriented Modelling (AOM) derivative that sets on partial models and model composition techniques to reach planned reuse. In CORE, proven solutions are bundled into concerns, reuse of which is then guided by a series of interfaces. CORE interfaces set on General Purpose Modelling Languages (GPML), therefore concern integration and reuse can be hindered by accidental complexity, arising out of a semantic mismatch between a concern's nature and GPML concepts. The established MDE answer to counter accidental complexity is Domain Specific Modelling Languages (DSML). However, it is unclear how DSMLs can be combined with partial model and model composition methodologies, and if such a combination could effectively redefine the boundaries of planned reuse. In this extended abstract I present findings on the nature of DSMLs, eligible for this combination and argue why they form a category on their own: Concern Specific Modelling Languages (CSML). I present a reliable framework for systematic integration of CSMLs into reusable concerns, and elaborate a representative novel concern. Finally, I describe experiments that allow measuring the effects of this novel concern on software design, implementation and planned reuse.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"os-49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127787460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Categorization of approaches to extend and reuse OCL 扩展和重用OCL的方法分类

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561596

Lars Hamann, Martin Gogolla, Mustafa Al-Lail

引用次数: 0

Model-checking of space systems designed with TASTE/SDL 用TASTE/SDL设计空间系统的模型校核

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561541

I. Dragomir, Carlos Redondo, T. Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, M. Bozga, M. Perrotin

引用次数: 2

Towards flexible creation of multi-level models: bottom-up change support in the modeling and programming environment XModeler 灵活地创建多级模型:在建模和编程环境XModeler中支持自底向上的更改

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561553

Daniel Töpel, Monika Kaczmarek-Heß

引用次数: 0