VDM H¿ster, M: Formalisierung von Fertigungsprozessen

Im Business Performance Management und der Modellierungssprache BPML finden die Konzepte des Prozesskalküls immer häufiger Anwendung. Prozesskalküle helfen hierbei Business Performance Management Systeme zu definieren und zu analysieren. Welchen Nutzen lassen sich aus einem Prozesskalkül für Fertigungsprozesse ziehen? Wie könnte eine Beschreibung von Fertigungsprozessen mit einem Prozesskalkül aussehen? Der Autor Marco Hüster untersucht in diesem Buch das Prozesskalkül CCS auf seine Anwendbarkeit für die formale Beschreibung von Fertigungsprozessen und zeigt, dass durch CCS Fertigungsprozesse hinsichtlich den Eigenschaften Modularität, Kommunikation, Typisierung, Kontrollflusssteuerung, Nebenläufigkeit und Synchronisation beschrieben werden können. Der Kern des Buches ist die Spezifikation der Sprache FP-CCS. FP-CCS ist auf Basis von CCS definiert und erweitert CCS um eine Typ- und Wertumgebung. Die syntaktischen und semantischen Objekte vom FP-CCS werden dabei als mathematische Objekte modelliert. Das Buch richtet sich an Wissenschaftler und Studenten der Natur- und Ingenieurwissenschaften sowie an die Entscheidungsträger in den Forschungsabteilungen der Industrie.