Causality analysis in contract violation

G Gößler, D Le Métayer, JB Raclet - International Conference on Runtime …, 2010 - Springer
… a formal framework for reasoning about logical causality between contract violations. … for
causality between the violation of a component contract and the subsequent violation of a global …

Causality in Message-Based Contract Violations: A Temporal Logic" Whodunit"

S Hallé - 2011 IEEE 15th International Enterprise Distributed …, 2011 - ieeexplore.ieee.org
… Any message sent by B will be a direct violation of the contract —but is it really B’s fault?
Causality analysis, whose task is to find the root cause of a contract violation, can hence be …

Managing contract violations in construction projects: A moderated mediating model of enforcement decisions

H Yao, Y Chen, Y Zhang, M Zhang… - Production Planning & …, 2023 - Taylor & Francis
… Weiner (Citation1985) suggested that people’s causal attributions were based on three
dimensions: the locus of causality (whether behaviour can be attributed to the actor or the …

A hybrid approach to causality analysis

S Wang, Y Geoffroy, G Gößler, O Sokolsky… - Runtime Verification: 6th …, 2015 - Springer
… safety property is violated, it is necessary to analyze which … to a property violation, our causality
analysis formalizes a notion … causality analysis to cover weaker component contracts that …

[图书][B] … which breaches of the psychological contract influence feelings of psychological contract violation: An analysis incorporating causal, responsibility, and blame …

MA Zottoli - 2003 - search.proquest.com
… whether it makes sense to consider psychological contract violation, not psychological contract
breach, … In the secondary analyses involving psychological contract violation, the results …

Contract violations in the construction projects: How contractual obligations are reached affects contractual and reputational enforcement

H Yao, Y Chen, Y Tang - IEEE Transactions on Engineering …, 2023 - ieeexplore.ieee.org
… resolved through contract renegotiation rather than contractual … of contract violations,
including letter violations (violations of … spirit violations, and unilaterally assumed spirit violations. …

Complementarity and custom in wage contract violation

JS Earle, K Sabirianova Peter - The Review of Economics and …, 2009 - direct.mit.edu
… Unlike previous descriptive studies, our approach seeks to establish causality and therefore
requires attention to identification problems that we take into account in estimating the reac…

Multidimensional drivers: Exploring contractor rule violations in the construction industry

J Liu, Y Wang, Z Wang - Engineering, Construction and Architectural …, 2023 - emerald.com
… a robust tool to analyze the drivers of contractor rule violations. The rule violation drivers in
the … The causal analysis framework of contractor rule violations containing these 11 drivers is …

Spincause: a tool for causality checking

F Leitner-Fischer, S Leue - Proceedings of the 2014 International SPIN …, 2014 - dl.acm.org
… event combinations for a property violation and in the second … checking approaches proposed
in [16, 17] and offers causality analysisCausality analysis in contract violation. In Runtime …

A causality analysis framework for component-based real-time systems

S Wang, A Ayoub, BG Kim, G Gößler… - … Conference on Runtime …, 2013 - Springer
… the main technique used for causality analysis. We show how to apply the causality analysis
to our case … So two faulty tasks, PM and AC, may have caused the system property violation. …