Zusammenfassung
Bei der Umsetzung von produktionsnahen Geschäftsprozessen in Software existieren weder etablierte noch standardisierte Methoden, um deren Modellierung, vor allem aber deren Verifikation zu unterstützen. Dieser Beitrag schlägt einen Arbeitsablauf vor, der die Entwicklung von Geschäftsprozessen über deren gesamten Lebenszyklus hinweg begleitet. Durch den kombinierten Einsatz formeller und konventioneller Methoden aus dem Bereich der Echtzeittechnik kann eine Qualitätsverbesserung im Bereich der produktionsnah eingesetzten eingebetteten Software erreicht werden. Solche Prozesse unterstützen vor allem die vertikale Systemintegration von der Fertigungsebene hin zur Unternehmensleitebene und laufen vorwiegend in MES ab. Deren funktionale Anforderungen erinnern stark an die der klassischen eingebetteten Systeme (ES). Der Autor schlägt in diesem Beitrag vor, mittels Adaption von Methoden und etablierten Verfahren aus dem Bereich der Echtzeittechnik die in MES ablaufenden Geschäftsprozesse ressourcenund kostenschonender zu entwickeln, zu testen und zu warten.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
NAMUR: Worksheet 128 (NA 128) MES Specification and Design based on the Fictitious Example of a Beverage Production Process, 2009
Ricken, M.; Vogel-Heuser, B.: Modeling of Manufacturing Execution Systems: an Interdisciplinary Challenge. In: Proc. of ETFA 2010 - 15th IEEE International Conference on Emerging Technologies and Factory Automation, Bilbao, 2010
Baumann, J.: Analyse angewandter Beschreibungsmittel zur Spezifikation von MESFunktionen. Bachelor-Thesis, Universität Kassel, 2009
Object Management Group: Business Process Model and Notation. http://www.omg.org, OMG, 2010.
Van der Aalst, W.: The Application of Petri Nets to Workflow Management. Eindhoven University of Technology, 1998
van Lessen, T.; Lübke, D.; Nitzsche, J.: Geschäftsprozesse automatisieren mit BPEL. In: dpunkt.verlag, 2011
Roth, M.: Einsatz von Echtzeitstrategien in der MES-Automatisierung zur direkten programmtechnischen Umsetzung von Geschäftsprozessen. Master-Thesis, Fern Universität Hagen, 2011
Kecher, C.: UML 2: Das umfassende Handbuch. In: Galileo Computing, 2009
Baumgarten, B.: Petri-Netze - Grundlagen und Anwendungen. In: Spektrum- Akademischer Verlag, 1996
Frey, G.; Litz, L.: Transparenter Steuerungsentwurf mit SFC nach DIN IEC 1131-3. In: Proc. of SPS/IPC/Drives 1997, Nürnberg, 1997
Baumgarten, B.: Petri-Netze: Grundlagen und Anwendungen. In: Spektrum Akademischer Verlag, 1996
Dijkstra, E. W.; Dahl, O. J.: Structured Programming. In: Academic Press London, 1972
Krebs, H.; Haspel, U.: Ein Verfahren zur Software Verifikation. In: rtp, Regelungstechnische Praxis ,1984
Doberenz, W.; Gewinnus, T.: Visual Basic 2010 - Grundlagen und Profiwissen. In: Carl Hanser Verlag GmbH & Co, 2010
Westphal, R.: Und VB.NET hat doch einen Sinn. 2001 http://msdn.microsoft.com/de-de/library/bb979458.aspx#ID0ELB
Bell, D.: Visual Basic.Net as a First Language: An Evaluation. In: Newsletter ACM SIGCSE Bulletin, New York, 2002
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roth, M. (2012). Einsatz von Echtzeitstrategien in der MES-Automatisierung. In: Halang, W. (eds) Herausforderungen durch Echtzeitbetrieb. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24658-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-24658-6_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24657-9
Online ISBN: 978-3-642-24658-6
eBook Packages: Computer Science and Engineering (German Language)