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

From OCL-based model static analysis to quick fixes 从基于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.3561562

F. Jouault, M. Méré, M. Brun, Théo Le Calvar, Matthias Pasquier, C. Teodorov

{"title":"From OCL-based model static analysis to quick fixes","authors":"F. Jouault, M. Méré, M. Brun, Théo Le Calvar, Matthias Pasquier, C. Teodorov","doi":"10.1145/3550356.3561562","DOIUrl":"https://doi.org/10.1145/3550356.3561562","url":null,"abstract":"Giving accurate and relevant static analysis feedback to modeling tool users significantly helps them design useful models. This feedback is even more valuable when it comes with completion proposals, called quick fixes, which users can apply to automatically resolve specific issues. However, implementing such static analysis and quick fix tooling is tedious and error prone. For instance, providing accurate messages typically requires decomposing complex model queries into simpler ones, while suitably handling their dependencies. Moreover, each quick fix should actually resolve the issue it is supposed to fix, which is not always easy to ensure. This paper presents an approach that leverages reverse propagation of OCL-like boolean expressions to provide correct-by-construction quick fixes. It only requires adding specific annotations to expressions in order to guide quick fix computation. A proof-of-concept implementation of this approach on the AnimUML partial modeling tool is described. It is able to automatically construct messages, to report different messages depending on which part of a predicate fails, and to provide quick fixes.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"272 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":"128237003","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

QoS-aware model-based systems design using systems modeling language 使用系统建模语言进行基于qos模型的系统设计

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

Christos Kotronis, M. Nikolaidou, C. Bardaki

{"title":"QoS-aware model-based systems design using systems modeling language","authors":"Christos Kotronis, M. Nikolaidou, C. Bardaki","doi":"10.1145/3550356.3561579","DOIUrl":"https://doi.org/10.1145/3550356.3561579","url":null,"abstract":"Among several parameters involved in Systems Design (SD), Quality of Service (QoS) is a critical factor that constrains design decisions. QoS reflects the operating levels of a system under certain conditions that affect the quality of the provided functionality. Despite it being a clear indicator of the quality of services that end-users of a system are expected to enjoy, there is no complete framework that integrates QoS into design efficiently using Model-Based Systems Design (MBSD) and Systems Modeling Language (SysML). Moreover, the current version of SysML does not directly address QoS concepts. However, the primitive notion of SysML requirements can be used and extended to describe and manage QoS, capturing what the system provides to its users, service-wise, rather than encapsulating system behavior. To evaluate such requirements one has to assess system outcomes, via system analysis, to verify whether the latter satisfy the users (or not). Satisfying certain QoS requirements requires a designer to decide upon different key aspects of the system, such as its configuration. Serving QoS is further tied to the costs needed to acquire/operate the system. The aim of this work is to explore QoS using MBSD and SysML. We build upon the framework of Friedenthal, and Systems Modeling Toolbox (SYS-MOD), and we extend them to manage QoS in an integrated SysML framework. Moreover, we show and validate the applicability of our framework focusing on a Remote Elderly Monitoring System (REMS), that belongs in the healthcare domain. In that particular context, different configuration solutions of the system installed in the patients' home for monitoring their health conditions are explored, considering that the patients' different QoS and budget requirements should be satisfied. Therefore, assessing QoS can contribute to a more effective design and implementation of such systems enhancing user satisfaction.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"42 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":"128526454","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

Using the ModelSet dataset to support machine learning in model-driven engineering 使用ModelSet数据集支持模型驱动工程中的机器学习

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

José Antonio Hernández López, Javier Luis Cánovas Izquierdo, J. Cuadrado

引用次数: 0

Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions 迈向实际采用LIDL:一个为人机界面软件交互建模的工具链

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

Ning Ge, Yunduo Wang, Yuan Wang, Yong Wang

{"title":"Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions","authors":"Ning Ge, Yunduo Wang, Yuan Wang, Yong Wang","doi":"10.1145/3550356.3559085","DOIUrl":"https://doi.org/10.1145/3550356.3559085","url":null,"abstract":"The design and implementation of safety-critical human-machine interface (HMI) software typically follow the model-driven development process to guarantee secure reliability pragmatically. Systematic and comprehensive modeling for interactions involved in HMI software is essential when applying the model-driven approach. LIDL Interaction Description Language (LIDL) is an interaction description language well suited to HMI software interaction modeling. Several problems limit the practical adoption of LIDL. LIDL does not have a visual modeling language or debugging tools, resulting in error-prone and inefficient modeling. In addition, there is no toolchain to connect it to the subsequent steps in model-driven development, such as verification and implementation. This paper presents a toolchain developed for LIDL to alleviate the problems it faces in practice. The toolchain consists of three tools, a visual modeling tool, a compiler translating LIDL code to Lustre, and a LIDL debugger. We design the visual modeling tool and debugger to improve LIDL modeling efficiency and the compiler to support the debugger and integrate the LIDL modeling into the whole model-driven development process of the HMI software. Specifically, the modeling tool uses tables and diagrams to visualize LIDL code, pragmatically reducing the possibility of introducing modeling errors while maintaining the semantics of LIDL code. We add management features to LIDL models to form a library of model components that modelers can reuse easily. The modeling tool can also automatically convert LIDL models created by modelers into LIDL code. The debugger helps modelers debug LIDL code to locate problems in the model and correct them quickly.","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":"130904838","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

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design 在系统设计中同时使用和集成SysML和形式化方法的轻量级方法

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

Robert Thorburn, V. Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Son Hoang

引用次数: 0

Contract-based product-assembly co-design 基于契约的产品装配协同设计

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

Bert Van Acker, J. Denil

引用次数: 0

Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models 使用AADL模型库进行基于ros的机器人应用早期分析的多范式建模

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

E. Senn, L. Bourdon, Dominique Blouin

引用次数: 1

Migrating from proprietary tools to open-source software for EAST-ADL metamodel generation and evolution 为EAST-ADL元模型生成和进化从专有工具迁移到开源软件

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

Jörg Holtmann, Jan-Philipp Steghöfer, Henrik Lönn

{"title":"Migrating from proprietary tools to open-source software for EAST-ADL metamodel generation and evolution","authors":"Jörg Holtmann, Jan-Philipp Steghöfer, Henrik Lönn","doi":"10.1145/3550356.3559084","DOIUrl":"https://doi.org/10.1145/3550356.3559084","url":null,"abstract":"Open-source software has numerous advantages over proprietary commercial-off-the-shelf (COTS) software. However, there are modeling languages, tool chains, and tool frameworks that are developed and maintained in an open-source manner but still incorporate COTS tools. Such an incorporation of COTS tools into an overall open-source approach completely annihilates the actual open-source advantages and goals. In this tool paper, we demonstrate how we eliminated a COTS tool from the otherwise open-source-based generation and evolution workflow of the domain-specific modeling language East-Adl, used in the automotive industry to describe a variety of interdisciplinary aspects of vehicle systems. By switching to a pure open-source solution, East-Adl becomes easier to inspect, evolve, and develop a community around. We compare both the mixed COTS/open-source and the open-source-only workflows, outline the advantages of the open-source-only solution, and show that we achieve equivalent tooling features compared to the original approach.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"51 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":"117172080","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}

引用次数: 2

Domain-specific model differencing for graphical domain-specific 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.3552368

Manouchehr Zadahmad Jafarlou

{"title":"Domain-specific model differencing for graphical domain-specific languages","authors":"Manouchehr Zadahmad Jafarlou","doi":"10.1145/3550356.3552368","DOIUrl":"https://doi.org/10.1145/3550356.3552368","url":null,"abstract":"The evolution of models as a result of collaborative effort must be tracked and maintained. The usage of text-based version control systems is ubiquitous, however, it does not assist domain users in comprehending the semantics of model differences. To overcome these concerns, we propose ---called DSMCompare---, a complete solution. It considers both the abstract and concrete syntax of a domain-specific language (DSL) to express model differences and facilitates the definition of domain-specific semantics for specific difference patterns. The method extends the DSL automatically to allow for the description of modifications and adapts its graphical concrete syntax to visualize the differences. It moreover enables the creation of semantic differencing rules for identifying recurrent domain-specific difference patterns. Because these rules may conflict with one another, we provide algorithms for resolving conflicts and scheduling rules. We report on evaluations based on synthetic models and version histories of models provided by third parties to illustrate the applicability and effectiveness of our approach. We also outline an extension of DSMCompare to three-way differencing.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"45 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":"123428833","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

ORM ontologies with executable derivation rules to support semantic search in large-scale data applications 带有可执行派生规则的ORM本体，支持大规模数据应用程序中的语义搜索

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

Márton Búr, R. Stirewalt

引用次数: 1