requirement satisfied by

IRI: https://spec.industrialontologies.org/ontology/construct/requirementSatisfiedBy

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

Domain: requirement specification

Range: bfo:entity

Inverse Of: satisfies requirement

Definition

relation from a requirement specification to an entity that conforms to the requirement specification

Examples

• a UML requirement specification is satisfied by a a piece of software; functional requirement specification of a car is satisfied by its desgn specification

Description Logic

constr:requirementSatisfiedBy ⊑ _:topObjectProperty

domain: constr:RequirementSpecification

range: bfo:entity

inverse: constr:satisfiesRequirement

SubPropertyOf: _:topObjectProperty

domain: constr:RequirementSpecification

range: bfo:entity

inverse: constr:satisfiesRequirement