Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 17:40 - 18:00 at Sala VII - Session 4 Chair(s): Adrian Francalanza, Jorge A. Pérez

Governmental case management processes are carried out in collaboration between at least two actors (the Government and the citizen) and are tightly governed by law. This makes it relevant to consider if behavioural types can be used to guarantee process compliance. The formalisation of governmental case management processes requires capturing processes from at least two different kinds of sources: Legal texts and descriptions of local practice, which ought to be compliant with the law. Using a case study of a few paragraphs in the Danish Consolidation Act on Social Services and studies of local practice in a municipality, we describe how to formalise legal constraints and practice as declarative Dynamic Condition Response (DCR) graphs. The formalisation is supported by a new text highlighter extension for the tool. The highligher allows lawyers and other domain experts to build DCR graphs by annotating textual descriptions of processes and regulations, in particular legal texts, which can subsequently be validated by simulations and used directly in a compliant-by-design case management system interacting with the DCR process engine.

Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:00 - 18:25: Session 4BEAT at Sala VII
Chair(s): Adrian FrancalanzaUniversity of Malta, Jorge A. PérezUniversity of Groningen, The Netherlands
16:00 - 16:50
Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms
16:50 - 17:10
Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose
Evangelia VaneziUniversity of Cyprus, Dimitrios KouzapasUniversity of Cyprus, Anna PhilippouUniversity of Cyprus
17:10 - 17:30
Relating Process Languages for Security and Communication Correctness
Daniele Nantes-SobrinhoUniversity of Brasília, Brazil, Jorge A. PérezUniversity of Groningen, The Netherlands
17:30 - 17:40
Short break
17:40 - 18:00
Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs
Søren DeboisIT University of Copenhagen, Thomas H. Hildebrandt, Hugo LópezIT University of Copenhagen, Denmark & DCR Solutions A/S
Media Attached
18:00 - 18:20
Hardware Interactions as Behavioural Types
Carlos Mão de FerroLASIGE, Faculty of Sciences, University of Lisbon, Francisco MartinsLaSIGE, University of Lisbon, Tiago CogumbreiroUniversity of Massachusetts Boston
File Attached
18:20 - 18:25
Day closing
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands