towards inconsistency tolerance by quantification of semantic inconsistencies
TRANSCRIPT
Towards Inconsistency Toleranceby Quantification of Semantic Inconsistencies
Istvan David, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, Antonio Cicchetti, Ken Vanherpen
Saint-Malo, 04.10.2016.
Resolving inconsistencies
Automated Guided Vehicle (AGV)
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
Let’s stop and resolve!
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
Let’s stop and resolve!
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Increase platform size
Increase battery size
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
Let’s stop and resolve!
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Increase platform size
Increase battery size
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
Let’s stop and resolve!
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Increase platform size
Increase battery size
Semantic inconsistencies
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Let’s stop and resolve wait?
Increase platform size
Increase battery size
Semantic inconsistencies
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Let’s stop and resolve wait?
Increase platform size
Increase battery size
Semantic inconsistencies
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Let’s stop and resolve wait?
Increase platform size
Increase battery size
Semantic inconsistencies
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Let’s stop and resolve wait?
Increase platform size
Increase battery size
Semantic inconsistencies
Increase platform size
Increase battery size
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Let’s stop and resolve wait?
Semantic inconsistencies
When to resolve an inconsistency?
Increase platform size
Increase battery size
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Let’s stop and resolve wait?
Semantic inconsistencies
When to resolve an inconsistency?
Increase platform size
Increase battery size
Resolving inconsistencies
Automated Guided Vehicle (AGV)
INCONSISTENCY
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
Let’s stop and resolve wait?
Semantic inconsistencies
When to resolve an inconsistency?
Always consistent
Eventually consistent
±10%
When to resolve an inconsistency?Q1: How severe the inconsistency of the whole model space is?Q2: What are the chances that the inconsistency gets resolved without intervening?
When to resolve an inconsistency?Q1: How severe the inconsistency of the whole model space is?Q2: What are the chances that the inconsistency gets resolved without intervening?
When to resolve an inconsistency?Q1: How severe the inconsistency of the whole model space is?Q2: What are the chances that the inconsistency gets resolved without intervening?
Number of detected inconsistency instances, number of object affected, severity and priority (labels), etc
When to resolve an inconsistency?
Divergent viewpoints (Easterbrook et al)Pre- and post-conditions (FOL)Manual triggering of resolution
Q1: How severe the inconsistency of the whole model space is?Q2: What are the chances that the inconsistency gets resolved without intervening?
Number of detected inconsistency instances, number of object affected, severity and priority (labels), etc
When to resolve an inconsistency?
Divergent viewpoints (Easterbrook et al)Pre- and post-conditions (FOL)Manual triggering of resolution
Q1: How severe the inconsistency of the whole model space is?Q2: What are the chances that the inconsistency gets resolved without intervening?
Number of detected inconsistency instances, number of object affected, severity and priority (labels), etc
When to resolve an inconsistency?
Divergent viewpoints (Easterbrook et al)Pre- and post-conditions (FOL)Manual triggering of resolution
Q1: How severe the inconsistency of the whole model space is?Q2: What are the chances that the inconsistency gets resolved without intervening?
Number of detected inconsistency instances, number of object affected, severity and priority (labels), etc
We give formal foundations for quantifying how severe semantic inconsistencies are in multi-view
collaborative settings.
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Mechanical view Electrical view
Battery support size Battery size
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Mechanical view Electrical view
Battery support size Battery size
=
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Mechanical view Electrical view
Battery support size Battery size
=
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Mechanical view Electrical view
Battery support size Battery size
=
Consistency: δ=0
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Mechanical view Electrical view
Battery support size Battery size
=
Consistency: δ=0
• Allow accumulation over time
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
Mechanical view Electrical view
Battery support size Battery size
=
Consistency: δ=0
• Allow accumulation over time
Now we can assess the severity of inconsistencies in terms of a formalized view distance metric
Tolerating inconsistencies
• Parameter deviations• Temporal tolerance• Spatial tolerance
Tolerating inconsistencies
• Parameter deviations• Temporal tolerance• Spatial tolerance
Tolerating parameter inconsistencies
Tolerating parameter inconsistencies
Compositions of properties?+
Safety/mechanical
Safety/electrical
Safety
Temporal tolerance
Exact consistency
Repetitive
Eventual
Processes
Always consistent
Eventually consistent
±10%
Future work
• Apply the techniques in a process modeling and execution tool• Design-time/run-time trade-off• Automation of tolerance rule specification• Predictive impact analysis
• Modeling engineering operations
• Resolution scheduling• Proving global (in)consistency
Towards Inconsistency Toleranceby Quantification of Semantic Inconsistencies