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 DanielORCID, 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
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)
|
|