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.
This would be a method,
isValid(), called from aModelobject, for performing requirements validation.isValid()would recursively check if all requirements, or its derived requirements, contained in the model are satisfied by aBlockinstance, and verified by anInteractioninstance.e.g.,
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.