TY - GEN
T1 - Developing and maintaining durable specifications for law or regulation based services
AU - Dulfer, Diederik
AU - Nijssen, Sjir
AU - Lokin, Mariette
PY - 2015/1/1
Y1 - 2015/1/1
N2 - 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.
AB - 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.
KW - Case and rule connection
KW - Fact based modelling (FBM)
KW - Legal acts
KW - Legal relations
KW - Regulation based services
KW - Time travel
UR - http://www.scopus.com/inward/record.url?scp=84951128411&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84951128411&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-26138-6_20
DO - 10.1007/978-3-319-26138-6_20
M3 - Conference contribution
AN - SCOPUS:84951128411
SN - 9783319261379
SN - 9783319261379
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 169
EP - 177
BT - On the Move to Meaningful Internet Systems
A2 - Bollen, Peter
A2 - Debruyne, Christophe
A2 - Ciuciu, Ioana
A2 - Fensel, Anna
A2 - Ferri, Fernando
A2 - Panetto, Herve
A2 - Aubry, Alexis
A2 - Debruyne, Christophe
A2 - Ciuciu, Ioana
A2 - Mishra, Alok
A2 - Fensel, Anna
A2 - Panetto, Herve
A2 - Aubry, Alexis
A2 - Bollen, Peter
A2 - Valencia-Garcia, Rafael
A2 - Valencia-Garcia, Rafael
A2 - Mishra, Alok
A2 - Ferri, Fernando
PB - Springer Verlag
T2 - International Workshops on the Move to Meaningful Internet Systems, OTM 2015
Y2 - 26 October 2015 through 30 October 2015
ER -