Esiste un'enumerazione formale dei modi in cui i componenti possono essere accoppiati / dipendono l'uno dall'altro?

Di 'che hai

class A {
}

class B {
}

Una dipendenza di tipo è "parametro di metodo":

class A {
}

class B {
  public void M(A a) {
  }
}

Un altro è "metodo restituisce":

class A {
}

class B {
  public A M() {
  }
}

Quindi C, un adattatore da A a B, potrebbe essere identificato da una classe che esibisce entrambe le caratteristiche di dipendenza di cui sopra:

class C {
  public B M(A a) {
  }
}

Sembra solo qualcosa che potrebbe essere affrontato con alcuni metodi formali e sarei interessato a leggere su di loro se sono là fuori?