Interaktive Methoden zur rechnergestützten Synthese asynchroner Kommunikationsschaltungen mittels einer objektorientierten EntwurfsumgebungAvvisami