![Page 1: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/1.jpg)
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.
![Page 2: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/2.jpg)
Resolving inconsistencies
Automated Guided Vehicle (AGV)
![Page 3: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/3.jpg)
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)
![Page 4: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/4.jpg)
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)
![Page 5: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/5.jpg)
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
![Page 6: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/6.jpg)
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
![Page 7: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/7.jpg)
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
![Page 8: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/8.jpg)
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
![Page 9: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/9.jpg)
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
![Page 10: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/10.jpg)
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
![Page 11: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/11.jpg)
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
![Page 12: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/12.jpg)
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?
![Page 13: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/13.jpg)
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?
![Page 14: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/14.jpg)
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%
![Page 15: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/15.jpg)
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?
![Page 16: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/16.jpg)
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?
![Page 17: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/17.jpg)
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
![Page 18: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/18.jpg)
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
![Page 19: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/19.jpg)
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
![Page 20: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/20.jpg)
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.
![Page 21: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/21.jpg)
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
![Page 22: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/22.jpg)
Quantifying inconsistencies
• Models expressed with operational semantics, consisting of traces on given states
• Calculate the distance of the traces
![Page 23: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/23.jpg)
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
![Page 24: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/24.jpg)
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
=
![Page 25: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/25.jpg)
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
=
![Page 26: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/26.jpg)
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
![Page 27: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/27.jpg)
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
![Page 28: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/28.jpg)
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
![Page 29: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/29.jpg)
Tolerating inconsistencies
• Parameter deviations• Temporal tolerance• Spatial tolerance
![Page 30: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/30.jpg)
Tolerating inconsistencies
• Parameter deviations• Temporal tolerance• Spatial tolerance
![Page 31: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/31.jpg)
Tolerating parameter inconsistencies
![Page 32: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/32.jpg)
Tolerating parameter inconsistencies
Compositions of properties?+
Safety/mechanical
Safety/electrical
Safety
![Page 33: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/33.jpg)
Temporal tolerance
Exact consistency
Repetitive
Eventual
![Page 34: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/34.jpg)
Processes
Always consistent
Eventually consistent
±10%
![Page 35: Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies](https://reader035.vdocument.in/reader035/viewer/2022081800/589ad4711a28abc93a8b5dc3/html5/thumbnails/35.jpg)
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