Automatic Conflict Detection on Contracts

DOI10.1007/978-3-642-03466-4_13zbMATH Open1250.03049OpenAlexW1496626515MaRDI QIDQ3393409FDOQ3393409

Authors: Stephen Fenech, Gordon J. Pace, Gerardo Schneider 

Publication date: 20 August 2009

Published in: Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL: https://www.um.edu.mt/library/oar//handle/123456789/22729

Recommendations

• Model Checking Contracts – A Case Study
• Automata for analysing service contracts
• Run-Time Monitoring of Electronic Contracts
• Runtime verification of contracts with Themulus
• Detecting temporal agent conflicts

zbMATH Keywords

deontic logicconflict analysisdeontic trace semantics

Mathematics Subject Classification ID

Case-oriented studies in operations research (90B90) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (11)

• Model Checking Contracts – A Case Study
• Passage retrieval in legal texts
• Is this a violation? Learning and understanding norm violations in online communities
• Automatic Generation of Adaptation Contracts
• Challenges in the Specification of Full Contracts
• A dynamic deontic logic for complex contracts
• Computational models for normative multi-agent systems
• Soft contract verification
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Modelling and analysis of normative documents
• A framework for conflict analysis of normative texts written in controlled natural language

Uses Software

• CLAN

This page was built for publication: Automatic Conflict Detection on Contracts

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