Create a relation (object property) like "implementation of"

[hoganwr]

'implementation of' =def "a relation between a software module s and an algorithm a where any realization of s counts as a realization of a"

Examples:

1. Basic example: dual pivot quicksort and the Java Arrays.sort() method. Any realization of the Java method realizes the dual pivot quicksort algorithm. Other software modules (including those written in other programming languages) also stand in "implementation of" relation to dual pivot quicksort.
2. More complex example: the standard Susceptible, Exposed, Infectious, Recovered (SEIR) model of disease transmission (algorithm) and the University of Pittsburgh implementation of it in Java which can be found here: https://zenodo.org/record/319937

Is this potentially a more specific instance of a more general relationship between two plan specifications that have a common objective?