Visual Smart Contracts for DAML

We present a case study in the use of visual contracts and graph transformations for representing DAML smart contacts, their operational semantics, and analysis.

Please find below

• a pdf document providing smart visual contracts and graph transformation rules for the Doodle in DAML
• a zip file containing the Groove graph transformation system derived from the visual contracts