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

筛选
英文 中文
Virtual soccer champions: a case study on artifact reuse in soccer robot digital twin construction 虚拟足球冠军:足球机器人数字孪生构建中工件重用的案例研究
Gijs Walravens, Hossain Muhammad Muctadir, L. Cleophas
{"title":"Virtual soccer champions: a case study on artifact reuse in soccer robot digital twin construction","authors":"Gijs Walravens, Hossain Muhammad Muctadir, L. Cleophas","doi":"10.1145/3550356.3561586","DOIUrl":"https://doi.org/10.1145/3550356.3561586","url":null,"abstract":"A Digital Twin (DT) can be described as a pairing of a physical and virtual entity, in which the latter 'mimicks' the former in some sense, using data from its physical counterpart---whether real-time or historical---, for various purposes including better understanding of the physical entity's behaviour, predictive maintenance, and whatif scenario exploration. Here, we focus on the development of the virtual part of the DT in a context where the physical entity already exists, offering the potential for design and engineering artifacts from the physical entity to be reused. We performed a case study on the Turtle soccer robots developed by Eindhoven University of Technology's Tech United [6] team, to explore the possibilities of reusing artifacts for the development of the corresponding virtual entity. In this paper, we present our experiences from this case study and discuss the benefits, drawbacks, and challenges we faced.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"58 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":"130402057","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
TMI: tokenomics made easy for web3 applications TMI:标记组学使web3应用程序变得更容易
Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu
{"title":"TMI: tokenomics made easy for web3 applications","authors":"Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu","doi":"10.1145/3550356.3559097","DOIUrl":"https://doi.org/10.1145/3550356.3559097","url":null,"abstract":"The design of tokenomics, i.e., distribution and circulation mechanisms of cryptocurrency tokens, is a top priority for almost all Web3 applications which relates to their own economic systems via native cryptocurrency tokens. Unfortunately, while the sustainability of tokenomics largely determines the long-term development of a Web3 application, the tooling support for the design of it has been far too insufficient. A common practice at the time of writing is to specify tokenomics with a combination of documents, spreadsheets, code scripts etc.. In this paper, we introduce the TMI development platform for the modelling and analysis of Web3 tokenomics. TMI creates a domain-specific language and its graphical development environment for developers to succinctly model crypto-economic relations in a drag-and-drop way. Based on created models, TMI allows developers to formally analyse their tokenomics via checking fundamental economic properties, e.g., The core team of a project holds less than 20% of the project token in 36 months. A demonstration video of TMI is available at https://youtu.be/LDn-eRxPMTw.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"106 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":"116378094","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
Digital TwinCity: a holistic approach towards comparative analysis of business processes 数字双城:对业务流程进行比较分析的整体方法
Shinobu Saito
{"title":"Digital TwinCity: a holistic approach towards comparative analysis of business processes","authors":"Shinobu Saito","doi":"10.1145/3550356.3559086","DOIUrl":"https://doi.org/10.1145/3550356.3559086","url":null,"abstract":"As a company digitizes processes in its digital transformation (DX) journey, it is important to understand changes before and after processes for assessing the success of the journey. This paper proposes a new holistic approach, Digital TwinCity. By combining software visualization and process mining, the approach enables you to have an understanding of the relationship between all of the parts of the twin processes (e.g, before and after processes). After describing a tool implementing the proposed approach, we introduce its first application in a company.","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":"124959654","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
Dynamic adaptation for distributed systems in model-driven engineering 模型驱动工程中分布式系统的动态自适应
Mufasir Muthaher Mohammed
{"title":"Dynamic adaptation for distributed systems in model-driven engineering","authors":"Mufasir Muthaher Mohammed","doi":"10.1145/3550356.3558505","DOIUrl":"https://doi.org/10.1145/3550356.3558505","url":null,"abstract":"Modern-day software systems operate within complex, uncertain, and highly dynamic environments. Managing such systems is a significant challenge; developing self-managing autonomic systems is one way to reduce development and maintenance efforts. In the context of distributed systems, achieving this autonomy through dynamic adaptation is particularly challenging due to the volatile host environment. Model-Driven Engineering (MDE) is a software development paradigm that advocates the use of models as the primary artifacts rather than source code. MDE promises higher-quality software at a lower cost through abstractions, automation, and analyses. The goal of our work is to leverage MDE to facilitate the development and maintenance of distributed applications with dynamic adaptation capabilities. We assume that the structure and behavior of the application has been modeled using the Component-and-Connector (C&C) paradigm and the 'Monitor-Analyze-Plan-Execute with shared Knowledge' (MAPE-K) reference architecture. In the initial work, we have developed a model-level monitoring infrastructure, and adapted existing code generation and deployment support to generate a distributed system from the C&C models and deploy it automatically on a suitable platform. In future work, we plan to investigate how the monitoring and adaptation capabilities of cloud-native containerization and orchestration platforms (i.e., Docker and Kubernetes) can be leveraged for dynamic adaptation, and how this system-level adaptation can be combined effectively with any model-level monitoring, planning, and adaptation capabilities.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"65 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":"124706184","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 integration-preserving customization of just-in-time adaptive interventions with composite clabjects in RDF and SHACL 在RDF和SHACL中使用复合对象实现实时自适应干预的集成保护定制
Sebastian Gruber, B. Neumayr, J. Smeddinck
{"title":"Towards integration-preserving customization of just-in-time adaptive interventions with composite clabjects in RDF and SHACL","authors":"Sebastian Gruber, B. Neumayr, J. Smeddinck","doi":"10.1145/3550356.3561608","DOIUrl":"https://doi.org/10.1145/3550356.3561608","url":null,"abstract":"Just-in-time adaptive interventions (JITAIs) aim at health-promoting behavior change of individuals. Moving the development and evaluation of JITAIs beyond custom implementations for each specific use case will require integration-preserving customization, i.e., adaptation to different studies and participants without compromising integration for data analysis. For this purpose we develop a multilevel modeling (MLM) approach that builds on two-level structural conceptual models with composition and specialization extended by Cardelli power types yielding hierarchies of composite clabjects. We show the practical applicability of the approach through modeling of an example study on JITAIs for a digital health intervention, and demonstrate an RDF- and SHACL-based implementation.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"8 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":"125305076","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
Graphical projectional editing in gentleman 图形投影编辑在绅士
Aurélien Ducoin, Eugene Syriani
{"title":"Graphical projectional editing in gentleman","authors":"Aurélien Ducoin, Eugene Syriani","doi":"10.1145/3550356.3559092","DOIUrl":"https://doi.org/10.1145/3550356.3559092","url":null,"abstract":"Graphical modeling languages require proper management of position, size, and layout. Most modeling editors lack automated support to manage these graphical concrete syntax properties. It is a time-consuming effort that affects the understandability of the model. Projectional editors prevent end-users from modifying the concrete syntax so they can focus on the modeling task. However, while they offer multiple notations, these editors lack support for graphical languages. In this paper, we present a projectional editor for graphical languages. Our implementation extends the Gentleman editor generator with multiple layouts and interaction-oriented components to generate web editors. A demonstration of the tool is available at https://youtu.be/wd00pRAHxsU.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"37 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":"125959991","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
Simplify model design in MDE approaches 简化MDE方法中的模型设计
Asbathou Biyalou-Sama
{"title":"Simplify model design in MDE approaches","authors":"Asbathou Biyalou-Sama","doi":"10.1145/3550356.3558515","DOIUrl":"https://doi.org/10.1145/3550356.3558515","url":null,"abstract":"Many academic works prove that Model-Driven Engineering (MDE) improves the quality of the application's production in software engineering. However, its adoption remains limited for several reasons: the complexity of the tools makes them less productive, the modeling languages and the mechanisms manipulating the models are hard to grasp. In that sense, low-code platforms are an interesting proposition. These low-code platforms, despite their simplicity of use, do not allow the design of large systems because of the opacity of the various artifacts (models, code, generation...). In our work, we want to improve the adoption of MDE models, tools, and mechanisms in application design process through a more simplified interaction. Rather than constraining the developer in a closed environment as it is the case with the Low-code platforms, we wish to allow him to have access, if he wishes, to models as well as the generation mechanisms of the application. We propose to build applications that are instrumented with modification actions on each element of their user interface. The applications are generated from models. A developer can modify or develop his application directly from the UI by calling upon the added modification actions. This makes his work easier by quickly locating (in the UI of the produced application) where to make the modifications and directly visualizing the result, rather than manually modifying each part of the model concerned. The instrumentation is based on a descriptive language for possible modification actions and a mechanism for injecting this language into the application generation chain. We have designed a demonstrator allowing us to conduct experiments, with various audience, in order to validate our work.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"13 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":"127649257","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
An embedding of B in Clojure 在Clojure中嵌入B
Philipp Körner, Florian Mager
{"title":"An embedding of B in Clojure","authors":"Philipp Körner, Florian Mager","doi":"10.1145/3550356.3561561","DOIUrl":"https://doi.org/10.1145/3550356.3561561","url":null,"abstract":"Considering programs as data enables powerful meta-programming. One example is Lisp's macro system, which gives rise to powerful transformations of programs and allows easy implementation of domain-specific languages. Formal specifications, however, usually do not rely on such mechanisms and are mostly written by hand in a textual format (or using specialised DSL tools). In this paper, we investigate the opportunities that stem from considering specifications as data. For this, we embedded the B specification language in Clojure, a modern Lisp. We use Clojure as a functional meta-programming language and the ProB Java API to capture the semantics of B, i.e., to find solutions for constraints or animate machines. From our experience, it is especially useful for tool development and generation of constraints and machines from external data sources. It can also be used to implement language extensions and to design domain-specific languages.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"31 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":"126543181","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 statecharts interpreter and compiler with semantic variability 具有语义可变性的状态图解释器和编译器
Joeri Exelmans, S. Van Mierlo, H. Vangheluwe
{"title":"A statecharts interpreter and compiler with semantic variability","authors":"Joeri Exelmans, S. Van Mierlo, H. Vangheluwe","doi":"10.1145/3550356.3561569","DOIUrl":"https://doi.org/10.1145/3550356.3561569","url":null,"abstract":"The Statecharts formalism has been proven useful for the modeling of complex reactive systems. However, the formalism has no single, precise semantics. Different Statechart tools and standards have made their own (incompatible) semantic decisions. Rather than proposing a new semantics for Statecharts, we present an implementation of a Statecharts interpreter and compiler with configurable semantic variability. Its semantic feature model is based on the existing framework of Big-Step Modeling Languages (BSMLs), and consists of six (mostly) orthogonal dimensions of semantic options, captured in a feature model. We provide an in-depth description of our implementation of the \"Priority\" semantic dimension, which differs slightly from what BSML prescribes. The feature model also consists of a small set of constraints that prune non-uniquely behaving semantic variants. These constraints were discovered with a novel technique, that we also explain.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"82 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":"128859488","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
Combining OCL and natural language: a call for a community effort OCL和自然语言的结合:呼吁社区共同努力
Jordi Cabot, David Delgado, Lola Burgueño
{"title":"Combining OCL and natural language: a call for a community effort","authors":"Jordi Cabot, David Delgado, Lola Burgueño","doi":"10.1145/3550356.3561542","DOIUrl":"https://doi.org/10.1145/3550356.3561542","url":null,"abstract":"The growing popularity and availability of pretrained natural language models opens the door to many interesting applications combining natural language (NL) with software artefacts. A couple of examples are the generation of code excerpts from NL instructions or the verbalization of programs in NL to facilitate their comprehension. Many of these language models have been trained with open source software datasets and therefore \"understand\" a variety of programming languages, but not OCL. We argue that OCL needs to jump into the machine learning bandwagon or it will risk losing its appeal as a constraint specification language. For that, the key first task is to create together an OCL corpus dataset amenable for natural language processing.","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":"115821282","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
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学术官方微信