Meeting Register Page

Meeting banner
GReTA seminar #36: "Visual Smart Contracts for DAML: A Case Study in Groove" (by R. Heckel)
*Please note:* as the seminar will be live-streamed to YouTube, we kindly ask participants to join the meeting ideally already during the 15min prior to the start of the talk at 15:00 (albeit the link will remain active throughout the duration of the event). After the talk, there will be a possibility to interact with the speaker and other participants during a 30min discussion session (not streamed to YouTube) starting from 16:00.


Abstract:

The Digital Asset Modelling Language (DAML) enables low-code development of smart contract applications. Starting from a high-level but textual notation, DAML thus implements the lower end of a model-driven development process, from a platform-specific level to implementations on a range of blockchain platforms.
 
We develop a notation based on class diagrams and visual contracts that map directly to DAML smart contracts. The approach supports an operational semantics in terms of graph transformation systems to capture the complex behavioural features of DAML, such as its role-based access control and the order of contract execution and archival. We use the Doodle case study from a DAML tutorial to introduce the mappings between DAML, visual models, and operational semantics.
 
To implement, explore and analyse the operational semantics of the case study we present the graph transformation tool Groove, originally developed by Arend Rensink and his students to support the verification of object-oriented programs. It has since been employed to analyse a range of models, for P2P networks, workflows, component configurations, etc. Our use of Groove for the semantic underpinning and analysis of DAML follows its original purpose of program verification. We will use the opportunity to discuss Groove’s features and illustrate its use for creating and analysing graph transformation systems.

Nov 18, 2022 02:45 PM in Paris

Loading
* Required information