Automatic Conflict Detection on Contracts

DOI10.1007/978-3-642-03466-4_13MaRDI QIDQ3393409zbMATH OpenOpenAlexFDO

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

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)

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

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

Describes a project that uses

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)