Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.
Einband grossFormalisierung von Fertigungsprozessen
ISBN/GTIN

Formalisierung von Fertigungsprozessen

Eine formale Beschreibung von Fertigungsprozessen mit der Prozessalgebra CCS
VDM Verlag Dr. Mueller e.K.erschienen am01.07.2008
Im Business Performance Management und der Modellierungssprache BPML finden die Konzepte des Prozesskalkls immer higer Anwendung. Prozesskalkle helfen hierbei Business Performance Management Systeme zu definieren und zu analysieren. Welchen Nutzen lassen sich aus einem Prozesskalkl fr Fertigungsprozesse ziehen? Wie knnte eine Beschreibung von Fertigungsprozessen mit einem Prozesskalkl aussehen? Der Autor Marco Hster untersucht in diesem Buch das Prozesskalkl CCS auf seine Anwendbarkeit fr die formale Beschreibung von Fertigungsprozessen und zeigt, dass durch CCS Fertigungsprozesse hinsichtlich den Eigenschaften Modularit Kommunikation, Typisierung, Kontrollflusssteuerung, Nebenligkeit und Synchronisation beschrieben werden knnen. 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 Entscheidungstrr in den Forschungsabteilungen der Industrie.mehr
Verfügbare Formate
Book on DemandKartoniert, Paperback
EUR49,00

Produkt

KlappentextIm Business Performance Management und der Modellierungssprache BPML finden die Konzepte des Prozesskalkls immer higer Anwendung. Prozesskalkle helfen hierbei Business Performance Management Systeme zu definieren und zu analysieren. Welchen Nutzen lassen sich aus einem Prozesskalkl fr Fertigungsprozesse ziehen? Wie knnte eine Beschreibung von Fertigungsprozessen mit einem Prozesskalkl aussehen? Der Autor Marco Hster untersucht in diesem Buch das Prozesskalkl CCS auf seine Anwendbarkeit fr die formale Beschreibung von Fertigungsprozessen und zeigt, dass durch CCS Fertigungsprozesse hinsichtlich den Eigenschaften Modularit Kommunikation, Typisierung, Kontrollflusssteuerung, Nebenligkeit und Synchronisation beschrieben werden knnen. 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 Entscheidungstrr in den Forschungsabteilungen der Industrie.
Details
Weitere ISBN/GTIN9783836493086
ProduktartE-Book
EinbandartE-Book
FormatPDF
Erscheinungsjahr2008
Erscheinungsdatum01.07.2008
Seiten60 Seiten
SpracheDeutsch
Dateigrösse1399
Artikel-Nr.4967046
Rubriken
Genre9200

Autor

Bachelor of Science Informatik und Diplom-Betriebswirt(FH): Studium der Informatik an der Universität des Saarlandes und Studium der Betriebswirtschaft mit Schwerpunkt Wirtschaftsinformatik an der Hochschule für Technik und Wirtschaft des Saarlandes. Softwareentwickler bei der IDS Scheer AG, Saarbrücken.
Weitere Artikel von
Hüster, Marco