Symboleo2SC: from legal contract specifications to smart contracts.
Aidin RastiDaniel AmyotAlireza ParvizimosaedMarco RoveriLuigi LogrippoAmal Ahmed AndaJohn MylopoulosPublished in: MoDELS (2022)
Keyphrases
- supply chain
- revenue sharing
- moral hazard
- dispute resolution
- principal agent
- adverse selection
- legal documents
- legal knowledge
- legal reasoning
- delay insensitive
- formal specification
- legal texts
- spot market
- case law
- high level
- smart grid
- data sets
- subtractive clustering
- enabling technologies
- operational semantics
- control flow
- neural network