From Formal Symboleo Specifications to Secure and Interactive Smart Contract Code

Complementary materials for the work that extends Symboleo2SC into SymboleoAC2SC, enabling the transformation of legal contract specifications with role-based access control policies into smart contracts.

The xtext-generator module contains the Xtext grammar definition, the validation logic, and the code generation classes required to parse, validate, and generate artifacts from the domain-specific language (DSL).