Mathematisches Systemmodell

• Applicant: Professor Dr. Manfred Broy
• Subject Area: Theoretical Computer Science
• Term: from 2001 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants