From Formal Symboleo Specifications to Secure and Interactive Smart Contract Code
Sofana Alfuhaid · 2026
Complementary materials for the work that extends Symboleo2SC into SymboleoAC2SC, enabling the transformation of legal contract specifications with role-based access control into smart contracts. SymboleoAC-JS-Core-main: The core classes for the JavaScript implementation of the SymboleoAC ontology — an access-control–aware extension of the Symboleo smart contract modeling language. It builds upon the original Symboleo-JS-Core developed by Aiden Rasti, which defines the foundational structure for modeling legal contracts, obligations, events, and so on. The SymboleoAC2SC 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). The SymboleoAC-Application-API-main: includes SymboleoAC API, including all JavaScript and Java classes responsible for secure runtime operations. A secure and event-driven application layer connects SymboleoAC/ smart contracts with external cyber-physical components, including IoT sensors, a message broker, a CEP engine, and Hyperledger Fabric. It supports secure communication, event publication and subscription, smart contract transaction invocation, and role-based notifications. Also, all the supplementary materials of the multi-instance experiment