Mathematisches Systemmodell

• Antragsteller: Professor Dr. Manfred Broy
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2001 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5327576

Systemmodellierung zielt auf die Beschreibung und Modellierung unterschiedlicher Aspekte informationsverarbeitender, reaktiver Systeme ab. Hierbei sind sowohl die Beschreibung der Nutzung eines Systems als auch die Modellierung von Struktur und Verhalten zu nennen. Abhängig von den Anforderungen, die an das System und seine Beschreibung gestellt werden, sind auch die Anforderungen an die gewählten Beschreibungs- und Modellierungstechniken zu bestimmen. Auf Basis von unterschiedlichen Sichten auf ein System (z.B. Verhalten, Daten, Aufbau, Prozess) können Anforderungen an die Eigenschaften der benötigten Techniken und die sie definierenden semantischen Kalküle eingeordnet und verglichen werden.

• DFG-Verfahren: Sachbeihilfen