| Input : Resource Descriptor (RDL-A), Resource Descriptor (RDL-B) |
| Output: True (match) or False (mismatch) |
| foreach Requirement in RequirementsList of RDL- 1 A do |
| foreach Capability in CapabilitiesList of RDL-B do |
| if Requirement.Scope matches Capability.Scope then |
| foreach ResourceR in ResourcesList of Requirement do |
| foreach ResourceC in ResourcesList of Capability do |
| if (ResourceR.Type equals ResourceC.Type) and (ResourceR.Constraints |
| matches ResourceC.Constraints) then |
| return true; |
| end |
| end |
| end |
| end |
| return false; |
| end |
| end |