Modelling and analysis of normative documents

DOI10.1016/J.JLAMP.2017.05.002zbMATH Open1371.68176OpenAlexW2612008520MaRDI QIDQ2401019FDOQ2401019

Authors: John J. Camilleri, Gerardo Schneider 

Publication date: 31 August 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2017.05.002

Recommendations

• Model Checking Contracts – A Case Study
• Model checking contractual protocols
• Automata for analysing service contracts
• Runtime verification of contracts with Themulus
• A Formal Language for Electronic Contracts

zbMATH Keywords

timed automataUppaalcontract analysisnormative documents

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cites Work

• Uppaal in a nutshell
• A theory of timed automata
• Automatic Conflict Detection on Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A framework for conflict analysis of normative texts written in controlled natural language

Cited In (3)

• From legal contracts to legal calculi: the code-driven normativity
• Model checking contractual protocols
• A framework for conflict analysis of normative texts written in controlled natural language

Uses Software

• CLAN
• Uppaal
• AnaCon
• LegalRuleML

This page was built for publication: Modelling and analysis of normative documents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401019)