Skip to content

Consolidation of derivation rules on Section B.3.1

PDR1 and PDR2 could be combined in one as below:

  • PDR1 from "If two relationships p(a,b):S and q(b,c):T exist, with S being Specialization and T being a structural, dependency, or dynamic relationship, then a relationship r(a,c):T might be derived." to "If two relationships p(a,b):S and q(b,c):T exist, with S being Specialization and T being a structural, dependency, or dynamic relationship, then a relationship r(a,c):T, with the same direction as q, might be derived."
  • remove PDR2

Examples:

image

image