Abstract
Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field of production automation. Taking the modeling of a holonic transport system as an example, it is shown, how function blocks in the sense of production automation can be understood as software engineering components. Thus, the advantages of component based modeling with respect to structuring, exchange and reuse can be transferred to systems in production automation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Object Management Group: Unified Modeling Language – Version 1.5, UML 1.5 (2003), Available from http://www.omg.org/
Object Management Group: Unified Modeling Language – Version 2.0, UML 2.0 (2004), Available from http://www.omg.org/
Braatz, A., Klein, M., Ehrig, H., Westkämper, E.: Konzeption und Entwicklung eines UML-basierten Funktionsblockmodells für den objektorientierten Steuerungsentwurf. In: Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 2003), Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig (2003)
Westkämper, E., Braatz, A.: Eine Methode zur objektorientierten Software- Spezifikation von dezentralen Automatisierungssystemen mit der Unified Modeling Language (UML). At – Automatisierungstechnik 5, 225–233 (2001)
Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A Generic Component Concept for System Modeling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 33–48. Springer, Heidelberg (2002)
Parnitzke, D.: On Formal Semantics of Object Systems with Data and Object Attributes. Forschungsbericht 2001/05, Fachbereich Informatik, TU Berlin (2001)
Tenzer, J.: A Formal Semantics of UML Class Diagrams based on Transformation Systems. Forschungsbericht 2001/09, Fachbereich Informatik, TU Berlin (2001)
Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)
Klein, M., Braatz, B., Ehrig, H., Schröter, G., Bengel, M.: Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung. atp – Automatisierungstechnische Praxis (2004) (to appear)
International Electrotechnical Commission: IEC/PAS 61499-1 – Function Blocks for Industrial-Process Measurement and Control Systems – Part 1: Architecture. (2000)
Braatz, A.: Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen. PhD thesis, Universität Stuttgart (2004) (submitted)
Braatz, A., Ritter, A.: Referenzfallstudie Produktionstechnik (PA) v2.0 (2001), Available from http://tfs.cs.tu-berlin.de/~iosip/
Ehrig, H., Große-Rhode, M.: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 16 (2001) 110–117
Klein, M., Oezhan, M., Piirainen, M.: IOSIP Case Study Model Files (2002), Available from http://tfs.cs.tu-berlin.de/~iosip/
Ehrig, H., Orejas, F.: A Generic Component Framework for Integrated Data Type and Process Modeling Techniques. Forschungsbericht 2001/12, Fachbereich Informatik, TU Berlin (2001)
Braatz, B., Klein, M., Schröter, G.: Semantical Integration of Object-Oriented Viewpoint Specification Techniques. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 602–626. Springer, Heidelberg (2004)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2 – Module Specifications and Constraints. Monographs on Theoretical Computer Science, vol. 21. Springer, Heidelberg (1990)
Piirainen, M.: Applications of a Generic Component Framework to a UML Case Study in Production Automation. Diploma thesis, TU Berlin (2003)
Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A Component Framework for System Modeling Based on High-Level Replacement Systems. Software and System Modeling 3, 114–135 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Braatz, B., Klein, M., Schröter, G., Bengel, M. (2004). A Formal Component Concept for the Specification of Industrial Control Systems. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive