Reflections on the design and application of eFLINT

tags

Rules as Code

Notes

approaches to automate compliance in software systems through the inte- gration of so-called regulatory services tasked with enforcing explicit, formal interpretations of relevant norms.

NOTER_PAGE: (1 . 0.35739814152966404)

most similar to languages based on the event calculus such as Symboleo [13] and InstAL

NOTER_PAGE: (1 . 0.42387419585418157)

eFLINT is designed for describing a wide variety of normative sources such as laws, regulations, policies and contracts.

NOTER_PAGE: (1 . 0.4889206576125804)

Other formal languages for expressing norms are based on deontic logics [5], action logic [8] and defeasible logic [4, 9]

NOTER_PAGE: (1 . 0.5089349535382416)

the language is action-based and supports the legal concept of power – the ability to change the normative positions of (other) actors.

NOTER_PAGE: (1 . 0.5396711937097928)

an eFLINT program consists of a collection of type declarations (a specification) and a sequence of statements (a scenario).

NOTER_PAGE: (1 . 0.8327376697641172)

interoperability with formalisms and tools designed for knowledge representation and knowledge derivation, such as those used within Semantic Web communities.

NOTER_PAGE: (3 . 0.7305218012866334)