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

Modular language product lines: a graph transformation approach 模块化语言产品线:一种图形转换方法

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

J. Lara, E. Guerra, Paolo Bottoni

{"title":"Modular language product lines: a graph transformation approach","authors":"J. Lara, E. Guerra, Paolo Bottoni","doi":"10.1145/3550355.3552444","DOIUrl":"https://doi.org/10.1145/3550355.3552444","url":null,"abstract":"Modelling languages are intensively used in paradigms like model-driven engineering to automate all tasks of the development process. These languages may have variants, in which case the need arises to deal with language families rather than with individual languages. However, specifying the syntax and semantics of each language variant separately is costly, hinders reuse across variants, and may yield inconsistent semantics between variants. To attack this problem, we propose a novel, modular way to describe product lines of modelling languages. Our approach is compositional, enabling the incremental definition of language families by means of modules comprising meta-model fragments, graph transformation rules, and rule extensions. Language variants are configured by selecting the desired modules, which entails the composition of a language meta-model and a set of rules defining its semantics. This paper describes a theory able to check consistent semantics among all languages within the family, an implementation as an Eclipse plugin, and an evaluation reporting drastic specification size reduction w.r.t. an enumerative approach.","PeriodicalId":303547,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems","volume":"60 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":"131538673","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

Symboleo2SC Symboleo2SC

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

Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, L. Logrippo, A. Anda, J. Mylopoulos

{"title":"Symboleo2SC","authors":"Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, L. Logrippo, A. Anda, J. Mylopoulos","doi":"10.1145/3550355.3552407","DOIUrl":"https://doi.org/10.1145/3550355.3552407","url":null,"abstract":"Smart contracts (SCs) are software systems that monitor and control the execution of legal contracts to ensure compliance with the contracts' terms and conditions. They often exploit Internet-of-Things technologies to support their monitoring functions, and blockchain technology to ensure the integrity of their data. Ethereum and business blockchain platforms, such as Hyperledger Fabric, are popular choices for SC development. However, there is a gap in the knowledge of SCs between developers and legal experts. Symboleo is a formal specification language for legal contracts that was introduced to address this issue. Symboleo specifications directly encode legal concepts such as parties, obligations, and powers. In this paper, we propose a tool-supported method for translating Symboleo specifications into smart contracts. We have extended the current Symboleo IDE, implemented the ontology and semantics of Symboleo into a reusable library, and developed the Symboleo2SC tool to generate Hyperledger Fabric code exploiting this library. Symboleo2SC was evaluated with three sample contracts. The results shows that legal contract specifications in Symboleo can be fully converted to SCs for monitoring purposes. Moreover, Symboleo2SC helps simplify the SC development process, saves development effort, and helps reduce risks of coding errors.","PeriodicalId":303547,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems","volume":"70 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":"128399587","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}

引用次数: 3

Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoning 协助需求目标建模:一种基于机器学习和逻辑推理的混合方法

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

Qixiang Zhou, Tong Li, Yunduo Wang

{"title":"Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoning","authors":"Qixiang Zhou, Tong Li, Yunduo Wang","doi":"10.1145/3550355.3552415","DOIUrl":"https://doi.org/10.1145/3550355.3552415","url":null,"abstract":"Goal modeling plays an imperative role in early requirements engineering, which has been investigated for decades. There have been many studies that show the usefulness of requirements goal models. However, the establishment of goal models is typically done manually, which is time-consuming and has a steep learning curve. In this paper, we propose a semi-automatic framework for constructing iStar models, which is a well-known goal modeling language. Specifically, we first investigate the practical needs of iStar modelers on the automation of iStar modeling by holding interviews, based on which we propose an interactive and iterative modeling process. Our proposal takes advantage of human decisions and artificial intelligence algorithms, respectively, aiming at achieving low modeling costs while maintaining the quality of models. We then propose a hybrid approach for automatically extracting goal model snippets from requirements text, which implements the automatic tasks of our proposed process. The proposed method combines logical reasoning with deep learning techniques so as to unleash the power of domain knowledge to assist with automation tasks. We have performed a series of experiments for evaluation. The experimental results show that our method achieves the F1-measure of 90.34% for actor entity extraction, 93.14% for intention entity extraction, and 83.18% for actor relation extraction, which can efficiently establish high-quality goal models. The artifacts are available at Zenodo1.","PeriodicalId":303547,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems","volume":"59 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":"124186893","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

A declarative modelling framework for the deployment and management of blockchain applications 用于部署和管理区块链应用程序的声明性建模框架

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2022-09-12 DOI: 10.1145/3550355.3552417

L. Baresi, G. Quattrocchi, D. Tamburri, L. Terracciano

{"title":"A declarative modelling framework for the deployment and management of blockchain applications","authors":"L. Baresi, G. Quattrocchi, D. Tamburri, L. Terracciano","doi":"10.1145/3550355.3552417","DOIUrl":"https://doi.org/10.1145/3550355.3552417","url":null,"abstract":"The deployment and management of Blockchain applications require non-trivial efforts given the unique characteristics of their infrastructure (i.e., immutability) and the complexity of the software systems being executed. The operation of Blockchain applications is still based on ad-hoc solutions that are error-prone, difficult to maintain and evolve, and do not manage their interactions with other infrastructures (e.g., a Cloud backend). This paper proposes KATENA, a framework for the deployment and management of Blockchain applications. In particular, it focuses on applications that are compatible with Ethereum, a popular general-purpose Blockchain technology. KATENA provides i) a metamodel for defining Blockchain applications, ii) a set of processes to automate the deployment and management of defined models, and iii) an implementation of the approach based on TOSCA, a standard language for Infrastructure-as-Code, and xOpera, a TOSCA-compatible orchestrator. To evaluate the approach, we applied KATENA to model and deploy three real-world Blockchain applications, and showed that our solution reduces the amount of code required for their operations up to 82.7%.","PeriodicalId":303547,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115576599","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 domain-specific language for simulation-based testing of IoT edge-to-cloud solutions 一种特定于领域的语言，用于基于模拟的物联网边缘到云解决方案测试

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2022-08-15 DOI: 10.1145/3550355.3552405

Jia Li, S. Nejati, M. Sabetzadeh, Michael McCallen

引用次数: 3

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems 第25届模型驱动工程语言与系统国际会议论文集

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems Pub Date : 1900-01-01 DOI: 10.1145/3550355

引用次数: 0