Fri 8 Sep 2023 11:45 - 12:15 at b305 - Regulations Chair(s): Grischa Liebel

Automated formalization of legal texts in order to remove ambiguities, conflicts and incompleteness has been a challenge for Requirements Engineering (RE) research for decades. This work seeks to make an incremental step towards this objective for legal contracts by making use of contract templates. Our proposed approach starts with a natural language contract template, together with a manually formalized specification of that template. A contract writer can make customizations to the template, which trigger the automatic formalization of the corresponding customized contract. Our target specification language is Symboleo, which is created specifically for contract verification and monitoring. Starting with a manually formalized template reduces the complexity associated with a fully automated formalization. Typical contract templates use simple fill-in-the-blank parameters, which serve as customizations to formalize in our framing of the problem. Our approach pushes the boundaries of these templates by allowing the contract writer to enter complex natural language customizations, such as prepositional phrases and conditional statements. This work explores what types of natural language patterns can be used in that context by analyzing relevant linguistics and real legal contracts. It also introduces a tool, SymboleoNLP, that suggests the feasibility of the formalization

Fri 8 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:15
RegulationsResearch Papers / RE@Next! Papers at b305
Chair(s): Grischa Liebel Reykjavik University
A Transformer-based Approach for Abstractive Summarization of Requirements from Obligations in Software Engineering ContractsArtifact Available
Research Papers
A: Chirag Jain TCS Research, A: Preethu Rose Anish TCS Research, A: Amrita Singh TCS Research, A: Smita Ghaisas TCS Research
File Attached
ML-based Compliance Verification of Data Processing Agreements against GDPR
Research Papers
A: Orlando Amaral University of Luxembourg, A: Sallam Abualhaija University of Luxembourg, A: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
Pre-print File Attached
Towards Legal Contract Formalization with Controlled Natural Language Templates
RE@Next! Papers
A: Regan Meloche University of Ottawa, A: Daniel Amyot University of Ottawa, A: John Mylopoulos University of Ottawa