OpenModel: Potential Benefits
<-- ^ -->
Allows validating that a MSDS
meets the requirements of a stakeholder before use
-
Scenario Animation
-
high level (deep, informal): heuristic, systematic
interactive validation techniques
-
low level (computable, formal): model checking, theorem proving,
test coverage techniques
"Contract enforcement"
-
component claims to obey the model
-
we can actually monitor (sample)
its behavior, collecting i/o trace
-
abstraction mapping (A)
relates concrete to abstract inputs/outputs
Facilitates component reuse
-
model provides precise, formal
specification for documentation
-
tool allows analysis of feature
interactions during reuse
Model-based validation: 2 for the price of 1
-
Intra-node validation model can be used as shared (open) model and vice versa