An OpenModel Email Scenario
<-- ^ -->
Initially:
-
User chooses email client software
-
Tool retrieves model of client
software (http to localhost)
When a message is sent to a
new domain (or only when user has question/concern):
-
User specifies correspondent address
(e.g. hall@research.att.com)
-
Tool retrieves model provided
by target domain (http to designated domain servers)
-
Tool assembles submodels into
an EFC
-
Tool helps user detect possible
problems via validation techniques
Validation may suggest new
relevant components:
-
Scenario execution can generate an output message to a new server (e.g. mail forwarder)
-
Tool then retrieves its model and
integrates it into the composite model
-
this can lead to further round(s)
of validation
Tool remains available as online
question/answer ("what if...?") tool