Formalisierung von Fertigungsprozessen

49,00 €*

Nach dem Kauf zum Download bereit Ein Downloadlink ist wenige Minuten nach dem Kauf im eigenen Benutzerprofil verfügbar.

ISBN/EAN: 9783836493086
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.

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.
Autor: Marco Hüster
EAN: 9783836493086
eBook Format: PDF
Sprache: Deutsch
Produktart: eBook
Veröffentlichungsdatum: 10.04.2008
Untertitel: Eine formale Beschreibung von Fertigungsprozessen mit der Prozessalgebra CCS
Kategorie:
Schlagworte: Beschreibungssprachen CCS Calculus of Communicating Systems FP-CCS Fertigungsaufgabe Fertigungsprozess Formalisierung Informatik Prozessalgebra Prozesskalkül formal

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.


shop display image

Möchten Sie lieber vor Ort einkaufen?

Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.

Buchhandlung Nettesheim GmbH
Hauptstraße 17
42349 Wuppertal
Telefon: 0202/472870

Mo – Fr09:30 – 18:00 UhrSa09:00 – 13:00 Uhr