Refinement of Legal Specifications in the Lex Programming Language
OPEN ACCESS
Loading...
Author / Producer
Date
2025
Publication Type
Master Thesis
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Abstract
The increasing complexity of digital regulations and the difficulty of ensuring consistent compliance have led to a growing interest in runtime enforcement techniques that automatically verify regulatory compliance. However, these approaches depend on formalized representations of legal norms. Lex is a domain-specific language that provides a highly readable and auditable way to formalize legal specifications. This thesis extends Lex with a notion of refinement, enabling modular specification
development through code reuse and incremental adaptation. Refinement allows abstract legal specifications to be concretized for specific use cases while maintaining a clear connection to their original intent.
Permanent link
Publication status
published
External links
Editor
Contributors
Book title
Journal / series
Volume
Pages / Article No.
Publisher
ETH Zurich
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03634 - Basin, David / Basin, David