Model Validation

[capsulecorplab]

This would be a method, isValid(), called from a Model object, for performing requirements validation. isValid() would recursively check if all requirements, or its derived requirements, contained in the model are satisfied by a Block instance, and verified by an Interaction instance.

e.g.,

import sysml
model = sysml.import_yaml('deathstar_plans.yaml') # import system model
model.isValid() # returns boolean

isValid() can return the following:
True - requirements are both satisfied and verified.
False - requirements are satisfied or verified, but not both.
raise Exception - requirements are over-satisfied or over-verified by multiple model elements.