[Semantics] How to handle state / deontics

[ym-han]

Alloy x State:

• Evaluating State Modeling Techniques in Alloy
• Towards an Operational Semantics for Alloy
• Dash: Declarative Behavioural Modelling in Alloy (Alloy + transition systems)
• dash+ implementation: https://github.com/WatForm/org.alloytools.alloy/tree/dashplus

Modelling contracts

The SLEEC group

• Getir-Yaman, S., Burholt, C., Jones, M., Calinescu, R., Cavalcanti, A.: Specification and Validation of Normative Rules for Autonomous Agents
• Normative Requirements Operationalization with Large Language Models

Joe's work

The Schneider group line of work:

• Contract Automata: An Operational View of Contracts Between Interactive Parties
• Stephen Fenech Conflict Analysis of Deontic Contracts

Camilleri x Schneider

• A framework for conflict analysis of normative texts written in controlled natural language
• Paper 2 of Camilleri's Contracts and Computation Formal modelling and analysis for normative natural language presents a normative DSL, and discusses how to translate contracts to timed automata