Developing and maintaining durable specifications for law or regulation based services

Diederik Dulfer*, Sjir Nijssen, Mariette Lokin

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


The Netherlands has enacted many laws. The responsibility for the execution of associated services and enforcement of this legislation is assigned to a substantial number of governmental bodies. Where possible, the associated services are performed digitally. The interaction between citizens/businesses and government as often implicitly described in legislation is the basis for the durable specifications of these services. One of the organisations in charge of developing and delivering these services is the Dutch Tax and Customs Administration (DTCA). DTCA is facing several challenges in developing and maintaining durable specifications for these services. This paper proposes to combine FBM with the case based semantics of rules for durable specifications. The need was established to extend the work of Hohfeld with a clear distinction between legal relations and legal acts, add time travel and the strong connection between the expected and actual cases with the laws and regulation.

Original languageEnglish
Title of host publicationOn the Move to Meaningful Internet Systems
Subtitle of host publicationOTM 2015 Workshops - Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Proceedings
EditorsPeter Bollen, Christophe Debruyne, Ioana Ciuciu, Anna Fensel, Fernando Ferri, Herve Panetto, Alexis Aubry, Christophe Debruyne, Ioana Ciuciu, Alok Mishra, Anna Fensel, Herve Panetto, Alexis Aubry, Peter Bollen, Rafael Valencia-Garcia, Rafael Valencia-Garcia, Alok Mishra, Fernando Ferri
PublisherSpringer Verlag
Number of pages9
ISBN (Print)9783319261379, 9783319261379
Publication statusPublished - 1 Jan 2015
Externally publishedYes
EventInternational Workshops on the Move to Meaningful Internet Systems, OTM 2015 - Rhodes, Greece
Duration: 26 Oct 201530 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Workshops on the Move to Meaningful Internet Systems, OTM 2015


  • Case and rule connection
  • Fact based modelling (FBM)
  • Legal acts
  • Legal relations
  • Regulation based services
  • Time travel


Dive into the research topics of 'Developing and maintaining durable specifications for law or regulation based services'. Together they form a unique fingerprint.

Cite this