发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
A diagram-centric modeling tool for systems of systems 用于系统的系统的以图为中心的建模工具
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3559093
Sean Kristian Remond Harbo, Emil Palmelund Voldby, J. Madsen, M. Albano
{"title":"A diagram-centric modeling tool for systems of systems","authors":"Sean Kristian Remond Harbo, Emil Palmelund Voldby, J. Madsen, M. Albano","doi":"10.1145/3550356.3559093","DOIUrl":"https://doi.org/10.1145/3550356.3559093","url":null,"abstract":"While System of Systems (SoS) architectures for large and complex software projects are gaining momentum, the commonly used modeling and tooling approaches are still general-purpose or oriented towards single systems. Developers could benefit from methods and tools that avoid system-centric details in favor of native SoS modeling support. This paper presents a diagram-centric modeling tool with native SoS modeling support. The demonstration will get through the three diagrams & one document used in our approach. The tool is implemented as a plugin for the Eclipse Papyrus modeling tool. The tool is showcased on a SoS to manage the interaction of users with a library. The code of the plugin is freely available via Github.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"23 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":"116929844","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
Reliable counterparts: efficiently testing causal relationships in 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.3561589
Richard J. Somers, A. G. Clark, N. Walkinshaw, R. Hierons
{"title":"Reliable counterparts: efficiently testing causal relationships in digital twins","authors":"Richard J. Somers, A. G. Clark, N. Walkinshaw, R. Hierons","doi":"10.1145/3550356.3561589","DOIUrl":"https://doi.org/10.1145/3550356.3561589","url":null,"abstract":"The lack of testability of digital twins poses several difficulties when developing reliable systems. Intricate models complicate the definition of comprehensive testing criteria, and physical couplings make obtaining test data an arduous task. To alleviate these challenges, we explore the use of causal inference based testing and propose a technique to allow for correct behaviour of digital twins to be captured in causal diagrams, which are then tested with an efficient data set through the use of counterfactuals. We explore a motivating example of a robotic arm to show how this technique can confirm known causal relationships in a system, and even uncover a fault in the system which caused dangerous behaviour. Our technique localised this erroneous behaviour to a single causal relationship between two variables. Having shown this technique works with a case study, we explore its limitations and the challenges when approaching other industrial applications.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"75 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":"127268804","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
Scalable ontology-based V&V process for heterogeneous systems and applications 针对异构系统和应用程序的基于本体的可伸缩V&V流程
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561577
Romain Delabeye, O. Penas, R. Plateaux
{"title":"Scalable ontology-based V&V process for heterogeneous systems and applications","authors":"Romain Delabeye, O. Penas, R. Plateaux","doi":"10.1145/3550356.3561577","DOIUrl":"https://doi.org/10.1145/3550356.3561577","url":null,"abstract":"This work focuses on ongoing research within the EU-funded EnerMan project aiming at improving the energy efficiency of manufacturing systems. Industrial use cases are generally too constrained to easily proceed to the verification and validation (V&V) of the scientific approaches tackling their challenges. In this context, we propose an ontology-based framework with a methodology assessing the scalability of heterogeneous systems, environments, and missions in a V&V context. Indeed, projecting these industrial and laboratory applications onto a meaningful ontology allows them to be flattened out to the same scale from a semantic point of view. Reasoning is used to evaluate the extent to which a given scientific approach can be verified on a laboratory use case different from the industrial scenario on which it has to be validated. The framework has been implemented using Protégé and Owlready2, and applied to a scientific approach focused on a blind source separation technique used to identify system operating modes in a black box manner, tested on a coffee machine and two industrial case studies (a vehicle testbed's heating ventilation and air conditioning system, and a chocolate production line).","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"167 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":"122785619","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
Mediation-based MLM in FOModeLer fmodeler中基于中介的传销
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561599
Mira Balaban, Igal Khitron, Azzam Maraee, M. Kifer
{"title":"Mediation-based MLM in FOModeLer","authors":"Mira Balaban, Igal Khitron, Azzam Maraee, M. Kifer","doi":"10.1145/3550356.3561599","DOIUrl":"https://doi.org/10.1145/3550356.3561599","url":null,"abstract":"MLM has attracted much attention over the last two decades. MLM activities include philosophical discussions about ontologies, requirements and relevant services, and development of theories, languages, and tools. Approaches differ in their support for MLM concepts on the levels of syntax, semantics and pragmatics. The Mediation-based MLM (MedMLM), is a formal theory that defines a multilevel model as an ordered collection of levels that are inter-related by mediators, and can be enriched by inter-level relationships and interactions. The levels of MedMLM are plain class models, and the mediators define inter-level instantiation relations. MedMLM is unique in supporting a modular architecture of levels and mediators. This paper introduces the MedMLM software modeling tool, that is built on top of the FOModeLer class modeling tool. The tool supports MLM construction, querying and reasoning, meta-reasoning, validation, syntax verification, and plain computation. We also compare the MedMLM tool with older MLM approaches using semantic, syntactic, and pragmatic MLM criteria.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"1 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":"129413047","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
Qualitative models for the supervision of CPS simulations 用于监督CPS模拟的定性模型
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561594
Baptiste Gueuziec, J. Gallois, Frédéric Boulanger
{"title":"Qualitative models for the supervision of CPS simulations","authors":"Baptiste Gueuziec, J. Gallois, Frédéric Boulanger","doi":"10.1145/3550356.3561594","DOIUrl":"https://doi.org/10.1145/3550356.3561594","url":null,"abstract":"The simulation of complex systems affects many industrial and research fields and is important to verify the future behavior of a system. For hybrid systems [9], the heterogeneity of the discrete and continuous parts makes the modeling and simulation more difficult. Usually, numerical methods are chosen to simulate the continuous part of the models. However, their cost can be high when precision is needed and when interactions with the discrete part force rollbacks in the simulation. Other techniques are proposed to deal with uncertainties and expensive models, such as the flow-pipe methods [2] or qualitative modeling [8]. In this article, we present preliminary work to rely on a qualitative analysis of the model to supervise its simulation. Our goal is to build a qualitative map of the state space of the model in order to adapt the quantification of values and the discretization of time of the integration method. We expect this supervisor to optimize the time/precision balance, especially in the case of complex systems with many components.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"27 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":"126785670","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
OCL-based test case prioritisation using AgileUML 使用AgileUML进行基于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.3561593
Kunxiang Jin, K. Lano
{"title":"OCL-based test case prioritisation using AgileUML","authors":"Kunxiang Jin, K. Lano","doi":"10.1145/3550356.3561593","DOIUrl":"https://doi.org/10.1145/3550356.3561593","url":null,"abstract":"Test Case Prioritisation (TCP) aims to enhance fault detection ability by re-ordering test cases for execution. TCP techniques have been widely studied in the software engineering literature for decades. However, we found a lack of research applicable to the specification of systems expressed in the Object Constraint Language (OCL). OCL is a declarative language that can model the corresponding software systems. Performing TCP at the specification level is a promising practice. It enables the TCP process to be performed once, and the results can be used for all implementation of specifications in different programming languages or platforms. Inspired by the searching ability of the Genetic Algorithm (GA), we apply GA to perform the TCP process for OCL specifications in this work. We use the AgileUML tool to support the prioritisation process. In particular, this tool can generate test cases and mutations from the original OCL specification directly. We have performed three case studies upon real-world OCL specifications to assess our idea. The evaluation results show that the system defects can be detected more effectively by the prioritised test suite, also with a reasonable overhead.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"48 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":"124205182","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
Learning UML database design and modeling with AutoER 学习使用AutoER进行UML数据库设计和建模
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3559091
Sarah Foss, Tatiana Urazova, R. Lawrence
{"title":"Learning UML database design and modeling with AutoER","authors":"Sarah Foss, Tatiana Urazova, R. Lawrence","doi":"10.1145/3550356.3559091","DOIUrl":"https://doi.org/10.1145/3550356.3559091","url":null,"abstract":"Designing models for software systems is a complex activity that takes time and practice to master. Supporting students learning design is time-consuming, and instructors are limited on the amount of feedback they can provide. This work demonstrates a learning system that helps students learn UML modeling to produce database designs. Important features of the system are its ability to auto-evaluate design diagrams based on instructor criteria, and automatically generate question variants allowing students to practice on their own. The system is integrated into the PrairieLearn learning management system allowing for its deployment at other institutions. The demonstration shows the random question generation, how students construct database designs, and the auto-marking capabilities. The system and practice questions are publicly available for instructors to use to help students learn design modeling.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"75 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":"124304679","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
A community-sourced view on engineering digital twins: a report from the EDT.Community 社区对工程数字双胞胎的看法:EDT的一份报告。社区
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561549
L. Cleophas, Thomas Godfrey, D. Khelladi, Daniela Lehner, B. Combemale, M. Brand, Michael Vierhauser, M. Wimmer, S. Zschaler
{"title":"A community-sourced view on engineering digital twins: a report from the EDT.Community","authors":"L. Cleophas, Thomas Godfrey, D. Khelladi, Daniela Lehner, B. Combemale, M. Brand, Michael Vierhauser, M. Wimmer, S. Zschaler","doi":"10.1145/3550356.3561549","DOIUrl":"https://doi.org/10.1145/3550356.3561549","url":null,"abstract":"Digital Twins are an important concept, enabling what-if scenario exploration, predictive maintenance, and other approaches. They help in saving time and physical resources when developing and evolving systems, whether natural or engineered. However, constructing and maintaining digital twins is a challenging engineering task - and, to date, there is a lack of understanding of the engineering techniques and methodologies required. To address these challenges, we created EDT.Community, a programme of seminars on the engineering of digital twins hosting digital twins experts from academia and industry. In this paper, we report on the main topics of discussion from the first year of the programme. We contribute by providing (1) a common understanding of open challenges in research and practice of the engineering of digital twins, and (2) an entry point to researchers who aim to close gaps in the current state of the art.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"16 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":"121936090","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
Interactive highlighting for digital UML class diagrams: a new feature 数字UML类图的交互式高亮显示:一个新特性
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561557
Maxime Savary-Leblanc, Xavier Le Pallec
{"title":"Interactive highlighting for digital UML class diagrams: a new feature","authors":"Maxime Savary-Leblanc, Xavier Le Pallec","doi":"10.1145/3550356.3561557","DOIUrl":"https://doi.org/10.1145/3550356.3561557","url":null,"abstract":"Improving the usability of software modeling tools is a quest that has led to the growth of a large set of publications covering a wide variety of usability aspects. In the case of reading and navigating within diagrams in modeling tools, existing solutions often ask designers to take time to manually manage the annotations or the layering of elements themselves to improve comfort. To free users from this manual constraint and still facilitate their work, another approach is to augment modeling tools with features capable of autonomously assisting navigation. In this paper, we focus on this approach through the proposal of an automatic highlighting feature for UML class diagrams. After describing its design, we investigate the effect of highlighting on reading and navigating within diagrams using a prototype implemented in the mxGraph environment. To measure the impact of this assistance feature, we conducted a quantitative experiment by presenting 5 types of questions on 4 types of diagrams to 54 participants. The results show that our highlighting feature significantly reduces the response time on simple direct relationship questions, but also reduces the number of errors on navigation questions. Using our highlighting feature also allows users to perceive the task significantly more positively and less demanding. However, one simple highlighting mechanism is not enough to assist complex diagram browsing questions.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"25 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":"115804477","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
Support for OCL libraries and static features 支持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.3561540
Edward D. Willink
{"title":"Support for OCL libraries and static features","authors":"Edward D. Willink","doi":"10.1145/3550356.3561540","DOIUrl":"https://doi.org/10.1145/3550356.3561540","url":null,"abstract":"Libraries provide a powerful re-use capability allowing developers of one application to exploit the developments of others. Sadly, OCL has no first class library capability and attempts to use available capabilities have not led to any re-usable libraries. Problems include lack of support for imports, foreign language calls, object creation, maps and inadequate specification of static features. We combine previous and new resolutions prototyped in Eclipse OCL to make libraries feasible.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"14 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":"129983260","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
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信