Automated generation of smart contract code from legal contract specifications with Symboleo2SC-Reference-Cited by-同舟云学术

Automated generation of smart contract code from legal contract specifications with Symboleo2SC

Published:2024-06-29 Issue: Volume: Page:
ISSN:1619-1366
Container-title:Software and Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Rasti Aidin,Anda Amal Ahmed,Alfuhaid Sofana,Parvizimosaed Alireza,Amyot Daniel^ORCID,Roveri Marco,Logrippo Luigi,Mylopoulos John

Funder

King Abdulaziz University

HORIZON EUROPE Framework Programme

Natural Sciences and Engineering Research Council of Canada

Ontario Research Foundation

Publisher

Springer Science and Business Media LLC

Link

https://link.springer.com/content/pdf/10.1007/s10270-024-01187-9.pdf

Reference49 articles.

1. Abbas, M., Rashid, M., Azam, F., Rasheed, Y., Anwar, M.W., Humdani, M.: A model-driven framework for security labs using blockchain methodology. In: 2021 IEEE International Systems Conference (SysCon), pp. 1–7. IEEE, USA (2021). https://doi.org/10.1109/SysCon48628.2021.9447125

2. Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De Caro, A., Enyeart, D., Ferris, C., Laventman, G., Manevich, Y., et al.: Hyperledger Fabric: a distributed operating system for permissioned blockchains. In: Proceedings of the Thirteenth EuroSys Conference, pp. 1–15. ACM, USA (2018). https://doi.org/10.1145/3190508.3190538

3. Astigarraga, T., Chen, X., Chen, Y., Gu, J., Hull, R., Jiao, L., Li, Y., Novotny, P.: Empowering business-level blockchain users with a rules framework for smart contracts. In: Pahl, C., Vukovic, M., Yin, J., Yu, Q. (eds.) Service-Oriented Computing, pp. 111–128. Springer, Berlin (2018). https://doi.org/10.1007/978-3-030-03596-9_8

4. Baquero, P., Restrepo Amariles, D., Amyot, D.: Addressing the compliance gap in data supply chains: Smart contracts as a compliance technology. Law & Society Annual Meeting, virtual, Chicago, USA (2021). https://www.lawandsociety.org/wp-content/uploads/2021/05/Program-Book-2021.pdf

5. Bettini, L.: Implementing Domain Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing (2016)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo;2025 IEEE/ACM Requirements Engineering for AI-powered SoftwarE (RAISE);2025-05-03

2. Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications;2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2025-04-27

3. LLM-Based Generation of Solidity Smart Contracts from System Requirements in Natural Language: The AstraKode Case;2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2025-03-04

4. SymboleoAC: An Access Control Model for Legal Contracts;Lecture Notes in Business Information Processing;2024-11-30

5. Engineering Smart Contracts with Symboleo: Progress Report 2024;2024 34th International Conference on Collaborative Advances in Software and COmputiNg (CASCON);2024-11-11