SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates (Requirements Engineering 2024 - Posters and Tool Demos)

Who

Regan Meloche, Daniel Amyot, John Mylopoulos

Track

Requirements Engineering 2024 Posters and Tool Demos

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 28 Jun 2024 11:55 - 12:00 at V101 - Unpanel, poster pitches, and artifacts

Abstract

SymboleoNLP is a Web-based tool that allows contract authors to make customizations to a legal contract template using a controlled, yet expressive, natural language. The tool also maintains a formal specification of the contract in Symboleo, a formal specification language designed for the legal contract monitoring domain. The controlled customizations allow for the automated formalization of the customized contract, enabling Symboleo-based property verification and code generation of monitoring smart contracts. This work pushes the boundaries of requirements-based contract template customization with a view towards full formalization.

See demo online at https://bit.ly/SymboleoNLP-RE24

Regan Meloche

University of Ottawa

Canada

Daniel Amyot

University of Ottawa

Canada

John Mylopoulos

University of Ottawa

Canada

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 28 Jun
Displayed time zone: (UTC) Coordinated Universal Time change

10:45 - 12:15	Unpanel, poster pitches, and artifactsPanels / Posters and Tool Demos / Artifacts at V101

10:45 45m Panel		Unpanel: How useful are formal methods in requirements engineering? Panels Dan Berry University of Waterloo File Attached
11:30 5m Poster		Scoping of Non-Functional Requirements for Machine Learning Systems Posters and Tool Demos Khan Mohammad Habibullah University of Gothenburg, Sweden, Juan García Díaz , Gregory Gay Chalmers \| University of Gothenburg, Jennifer Horkoff Chalmers and the University of Gothenburg
11:35 5m Poster		A Tool for Automatically Identifying Semantic Conflicts in User Stories by Combining NLP and BERT Model Posters and Tool Demos Zhen Xuan , Tianci Wang , Chunhui Wang , Tong Li Beijing University of Technology
11:40 5m Poster		Automated Configuration Synthesis for Machine Learning Models: A git-Based Requirement and Architecture Management System Posters and Tool Demos Abdullatif Alshriaf , Hans-Martin Heyn University of Gothenburg & Chalmers University of Technology, Eric Knauss Chalmers \| University of Gothenburg
11:45 5m Poster		Automating Requirements Review in the Automotive Sector: A Tailored AI Approach Posters and Tool Demos Cristina Martinez Montes Chalmers \| University of Gothenburg, Sivajeet Chand Chalmers University of Technology, Sweden, Chang Li , Jennifer Horkoff Chalmers and the University of Gothenburg, Beatriz Cabrero-Daniel University of Gothenburg
11:50 5m Poster		Explainable AI: A Diverse Stakeholder Perspective Posters and Tool Demos Umm e Habiba University of Stuttgart, Germany, Khan Mohammad Habibullah University of Gothenburg, Sweden
11:55 5m Poster		SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates Posters and Tool Demos Regan Meloche University of Ottawa, Daniel Amyot University of Ottawa, John Mylopoulos University of Ottawa
12:00 10m Paper		KG-EmpiRE: A Community-Maintainable Knowledge Graph for a Sustainable Literature Review on the State and Evolution of Empirical Research in Requirements Engineering Artifacts Oliver Karras TIB - Leibniz Information Centre for Science and Technology Pre-print Media Attached

Information for Participants

Fri 28 Jun 2024 10:45 - 12:15 at V101 - Unpanel, poster pitches, and artifacts

Info for session

This session will contain the Unpanel on formal methods in RE, pitches of the Posters and Tool Demos, and a short presentation from one artifact not associated with any RE24 paper.