requirement specification

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

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

SubClass Of: information content entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › requirement specification

Direct subclasses:

• product requirement specification
• product service system requirement specification
• qualification specification
• service requirement specification

Definition

information content entity that prescribes a set of requirements

Explanatory Notes

Being a requirement specification can be context specific. For example, a UML class diagram may be a requirement specification for a data exchange specification or a design specification for software code.

Examples

• UML use case document, competency questions, high level activity diagram

Adapted From

• https://demo-irm-dnvgl.northeurope.cloudapp.azure.com/ontology/requirement-ontology/core/A01A

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

See the general discussion and rationale provided for informational entities under ‘information content entity’.

Formal Axioms

First-Order Logic Axioms

LA1: RequirementSpecification(x) → InformationContentEntity(x) ∧ ∃y(ObjectiveSpecification(y) ∧ isAbout(x,y))

LA2: InformationContentEntity(x) ∧ ∃y(Entity(y) ∧ satisfiesRequirement(y,x)) → RequirementSpecification(x)

Semi-Formal Natural Language Axioms

LA1: if x is a ‘requirement specification’ then x is an ‘information content entity’ that ‘is about’ some ‘objective specification’

LA2: if x is an ‘information content entity’ and exists an entity that ‘satisfies requirement’ x then x is a ‘requirement specification’

Description Logic

constr:RequirementSpecification ⊑ constr:InformationContentEntity

constr:RequirementSpecification ⊑ ∃ constr:isAbout .constr:ObjectiveSpecification

constr:InformationContentEntity ⊓ ∃ constr:requirementSatisfiedBy .bfo:entity ⊑ constr:RequirementSpecification

SubClassOf: constr:InformationContentEntity

SubClassOf: constr:isAbout some constr:ObjectiveSpecification

constr:InformationContentEntity and constr:requirementSatisfiedBy some bfo:entity SubClassOf: constr:RequirementSpecification