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)

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

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)