Paper Info
Title
eFLINT: a domain-specific language for executable norm specifications
Abstract
Software systems that share potentially sensitive data are subjected to laws, regulations, policies and/or contracts. The monitoring, control and enforcement processes applied to these systems are currently to a large extent manual, which we rather automate by embedding the processes as dedicated and adaptable software services in order to improve efficiency and effectiveness. This approach requires such regulatory services to be closely aligned with a formal description of the relevant norms. This paper presents eFLINT, a domain-specific language developed for formalizing norms. The theoretical foundations of the language are found in transition systems and in Hohfeld's framework of legal fundamental conceptions. The language can be used to formalize norms from a large variety of sources. The resulting specifications are executable and support several forms of reasoning such as automatic case assessment, manual exploration and simulation. Moreover, the specifications can be used to develop regulatory services for several types of monitoring, control and enforcement. The language is evaluated through a case study formalizing articles 6(1)(a) and 16 of the General Data Protection Regulation (GDPR). A prototype implementation of eFLINT is discussed and is available online.
Year
DOI
Venue
2020
10.1145/3425898.3426958
GPCE '20: Concepts and Experiences Virtual USA November, 2020
DocType
ISBN
Citations 
Conference
978-1-4503-8174-1
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
L. Thomas van Binsbergen100.68
Lu-Chi Liu200.34
Robert van Doesburg300.34
tom m van engers418932.91