Entwicklung einer ganzheitlichen, formalisierten Beschreibung der Kommunikation zwischen Benutzungsschnittstelle und Applikation im Kraftfahrzeug

摘要

Der Artikel beschreibt die systematische Entwicklung einer Beschreibungssprache zur Beschreibung der Kommunikation zwischen Benutzungsschnittstelle (HMI) und Applikation. Das Ziel dieser Beschreibung ist die Einbindung in eine ubergeordnete Methode zur automatischen Unterstutzung bei der vollstandigen Formalisierung. Die Sprache ist so gestaltet, dass sich deren Verwendung einfach in bestehende Entwicklungsprozesse einbinden und ent-wicklungsbegleitend uber verschiedene Phasen einsetzen lasst, indem sie ein anpassbares Rollenkonzept umsetzt und sich einfach in bestehende Entwicklungswerkzeuge integrieren lasst. Sie bietet Unterstutzung fur unterschiedliche Abstraktionsgrade sowohl zur informellen, textuellen Beschreibung als auch zur formalen Modellierung mit Hilfe von Petri Netzen. Um alle lokalen Kommunikationseigenschaften berucksichtigen zu konnen, mussen die Petri Netze um geeignete Konstrukte erweitert werden.