# Smart Contract Design Pattern for Processing Logically Coherent Transaction Types
## 3 The Pattern Design and Implementation
### Concrete Layer
; Canfora, G. A systematic literature review of blockchain and smart contract development: Techniques, tools, and open challenges. _J. Syst. Softw._**2021**, _174_, 110891. [CrossRef]
* Li et al. (2023) Li, J.; Zhao, Z.; Su, Z.; Meng, W. Gas-expensive patterns detection to optimize smart contracts. _Appl. Soft Comput._**2023**, _145_, 110542. [CrossRef]
* Mandarino et al. (2022) Mandarino, V.; Pappalardo, G.; Tramontana, E. Some Blockchain Design Patterns for Overcoming Immutability, Chain-Boundedness, and Gas Fees. In Proceedings of the 3 rd Asia Conference on Computers and Communications (ACCC), Shanghai, China, 16-18 December 2022; pp. 65-71. [CrossRef]
* Liu et al. (2019) Liu, X.; Muhammad, K.; Lloret, J.; Chen, Y.-W.; Yuan, S.-M. Elastic and cost-effective data carrier architecture for smart contract in blockchain. _Future Gener. Comput. Syst._**2019**, _100_, 590-599. [CrossRef]
* Jin et al. (2022) Jin, H.; Wang, Z.; Wen, M.; Dai, W.; Zhu, Y.; Zou, D. Aroc: An Automatic Repair Framework for On-Chain Smart Contracts. _IEEE Trans. Softw. Eng._**2022**, _48_, 4611-4629. [CrossRef]
* Gec et al. (2023) Gec, S.; Stankowski, V.; Lavbic, D.; Kochovski, P. A Recommender System for Robust Smart Contract Template Classification. _Sensors_**2023**, _23_, 639. [CrossRef]
* Mao et al. (2019) Mao, D.; Wang, F.; Wang, Y.; Hao, Z. Visual and User-Defined Smart Contract Designing System Based on Automatic Coding. _IEEE Access_**2019**, \(7\), 73131-73143. [CrossRef]* _Bodorik et al. (2023)_ Bodorik, P.; Liu, C.G. ; Jutla, D. TABS: Transforming automatically BPMN models into blockchain smart contracts. _Blackchain Res. Appl._**2023**, \(4\), 100115. [CrossRef]
* _Shen et al. (2023)_ Shen, X.; Li, W.; Xu, H.; Wang, X.; Wang, Z. A Reuse-Oriented Visual Smart Contract Code Generator for Efficient Development of Complex Multi-Party Interaction Scenarios. _Appl. Sci._**2023**, _13_, 8094. [CrossRef]
* _Jurgelaitis et al. (2022)_ Jurgelaitis, M.; ceponiene, L.; Butkiene, R. Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development. _IEEE Access_**2022**, _10_, 33465-33481. [CrossRef]
* _Yang et al. (2022)_ Yang, Y.; Shi, R.-H.; Li, K.; Wu, Z.; Wang, S. Multiple access control scheme for EHRs combining edge computing with smart contracts. _Future Gener. Comput. Syst._**2022**, _129_, 453-463. [CrossRef]
* _Honari et al. (2023)_ Honari, K.; Rouhani, S.; Falak, N.E. ; Liu, Y.; Li, Y.; Liang, H.; Dick, S.; Miller, J. Smart Contract Design in Distributed Energy Systems: A Systematic Approach. _Energies_**2023**, _16_, 4797. [CrossRef]
* _Wang et al. (2019)_ Wang, H.; Guo, C.; Cheng, S. Loc--A new financial loan management system based on smart contracts. _Future Gener. Comput. Syst._**2019**, _100_, 648-655. [CrossRef]
* _Saim et al. (2022)_ Saim, M.; Mamoon, M.; Shah, I.; Samad, A. E-Voting via Upgradable Smart Contracts on Blockchain. In Proceedings of the International Conference on Futuristic Technologies (INCOFT), Belgium, India, 25-27 November 2022; pp. 1-6. [CrossRef]
* _Natanelov et al. (2022)_ Natanelov, V.; Cao, S.; Foth, M.; Dulleck, U. Blockchain smart contracts for supply chain finance: Mapping the innovation potential in Australia-China beef supply chains. _J. Ind. Inf. Integr._**2022**, _30_, 100389. [CrossRef]
* _Wohrer and Zdun (2020)_ Wohrer, M.; Zdun, U. From Domain-Specific Language to Code: Smart Contracts and the Application of Design Patterns. _IEEE Softw._**2020**, _37_, 37-42. [CrossRef]
* _Capocasale and Perboli (2022)_ Capocasale, V.; Perboli, G. Standardizing Smart Contracts. _IEEE Access_**2022**, _10_, 91203-91212. [CrossRef]
* Nam and Kil (2022) Nam, W.; Kil, H. Formal Verification of Blockchain Smart Contracts via ATL Model Checking. _IEEE Access_**2022**, _10_, 8151-8162. [CrossRef]
* _Almahbour et al. (2023)_ Almahbour, M.; Sliman, L.; Samhat, A.E. ; Mellouk, A. A formal verification approach for composite smart contracts security using FSM. _J. King Saud Univ.-Comput. Inf. Sci._**2023**, _35_, 70-86. [CrossRef]
* _Pasqua et al.