UML profile that contains stereotypes for smart contract design with verification rules according to the Smart Contract Design Pattern.
The main part of the profile are stereotypes common for smart contract description at the platform independent level.
Aditionally, the profile contains stereotypes specific for selected blockchain frameworks.
The list of frameworks with defined stereotypes is updated with progress in refinement of the profile.
The UML profile is designed for modeling smart contracts for the following blockchain frameworks:
- the R3 Corda - the current version of the profile encompasses stereotypes for modeling smart contracts for the R3 Corda distributed ledger up to 4.6 version,
- the Hyperledger Fabric - ongoing task,
- the Quorum - ongoing task.