Produktinformation
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.Produktkennzeichnungen
EAN9783836493086
ISBN383649308X, 9783836493086
ISBN-10383649308x
ISBN-139783836493086
eBay Product ID (ePID)69962346
Produkt Hauptmerkmale
VerlagVdm, Vdm Verlag Dr. Müller E.K.
Erscheinungsjahr2013
Anzahl der Seiten60 Seiten
SpracheDeutsch
PublikationsnameFormalisierung von Fertigungsprozessen
ProduktartLehrbuch
AutorMarco Hüster
FormatTaschenbuch
Zusätzliche Produkteigenschaften
HörbuchNo
InhaltsbeschreibungPaperback
SprachausgabeDeutsch
Seiten60 Seiten
Item Height4mm
Item Length22cm
Item Width15cm
Item Weight106g