translate English to German: Diese Verhaltensdiagramme des DinnerServices werden wir in Abstract State Machines (ASMs) übersetzen.
Diese Verhaltensdiagramme des DinnerServices werden wir in Abstract State Machines (ASMs) �bersetzen.