Title: Spezifikation von Kommunikationsprotokollen auf der Basis attributierter Grammatiken