A Formal Component Concept for the Specification of Industrial Control Systems

  • Benjamin Braatz
  • Markus Klein
  • Gunnar Schröter
  • Matthias Bengel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3147)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Object Management Group: Unified Modeling Language – Version 1.5, UML 1.5 (2003), Available from http://www.omg.org/
  2. 2.
    Object Management Group: Unified Modeling Language – Version 2.0, UML 2.0 (2004), Available from http://www.omg.org/
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Parnitzke, D.: On Formal Semantics of Object Systems with Data and Object Attributes. Forschungsbericht 2001/05, Fachbereich Informatik, TU Berlin (2001)Google Scholar
  7. 7.
    Tenzer, J.: A Formal Semantics of UML Class Diagrams based on Transformation Systems. Forschungsbericht 2001/09, Fachbereich Informatik, TU Berlin (2001) Google Scholar
  8. 8.
    Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)Google Scholar
  9. 9.
    Klein, M., Braatz, B., Ehrig, H., Schröter, G., Bengel, M.: Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung. atp – Automatisierungstechnische Praxis (2004) (to appear)Google Scholar
  10. 10.
    International Electrotechnical Commission: IEC/PAS 61499-1 – Function Blocks for Industrial-Process Measurement and Control Systems – Part 1: Architecture. (2000) Google Scholar
  11. 11.
    Braatz, A.: Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen. PhD thesis, Universität Stuttgart (2004) (submitted)Google Scholar
  12. 12.
    Braatz, A., Ritter, A.: Referenzfallstudie Produktionstechnik (PA) v2.0 (2001), Available from http://tfs.cs.tu-berlin.de/~iosip/
  13. 13.
    Ehrig, H., Große-Rhode, M.: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 16 (2001) 110–117 Google Scholar
  14. 14.
    Klein, M., Oezhan, M., Piirainen, M.: IOSIP Case Study Model Files (2002), Available from http://tfs.cs.tu-berlin.de/~iosip/
  15. 15.
    Ehrig, H., Orejas, F.: A Generic Component Framework for Integrated Data Type and Process Modeling Techniques. Forschungsbericht 2001/12, Fachbereich Informatik, TU Berlin (2001)Google Scholar
  16. 16.
    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)CrossRefGoogle Scholar
  17. 17.
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2 – Module Specifications and Constraints. Monographs on Theoretical Computer Science, vol. 21. Springer, Heidelberg (1990)MATHGoogle Scholar
  18. 18.
    Piirainen, M.: Applications of a Generic Component Framework to a UML Case Study in Production Automation. Diploma thesis, TU Berlin (2003) Google Scholar
  19. 19.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Benjamin Braatz
    • 1
  • Markus Klein
    • 1
  • Gunnar Schröter
    • 1
  • Matthias Bengel
    • 2
  1. 1.Technische Universität BerlinGermany
  2. 2.Universität StuttgartGermany

Personalised recommendations