SmartML: Towards a Modeling Language for Smart Contracts.
Adele VeschettiRichard BubelReiner HähnlePublished in: CoRR (2024)
Keyphrases
- modeling language
- metamodel
- formal semantics
- design rationale
- supply chain
- educational modeling languages
- relational databases
- database systems
- ims learning design
- constraint language
- business process modeling
- database
- expert systems
- software engineering
- information systems
- artificial intelligence
- control flow
- code generation
- machine learning
- uml profile