A Formal Component Concept for the Specification of Industrial Control Systems

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.

[1]  Hartmut Ehrig,et al.  A Generic Component Framework for System Modeling , 2002, FASE.

[2]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[3]  Martin Große-Rhode.  Integration of Software Specification Techniques for Applications in Engineering , 2004, Lecture Notes in Computer Science.

[4]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[5]  Hartmut Ehrig,et al.  Integration von Techniken der Softwarespezifkation für ingenieurwissenschaftliche Anwendungen , 2001, Informatik Forschung und Entwicklung.

[6]  Martin Große-Rhode,et al.  Semantic Integration of Heterogeneous Software Specifications , 2004, Monographs in Theoretical Computer Science. An EATCS Series.

[7]  Hartmut Ehrig,et al.  A component framework for system modeling based on high-level replacement systems , 2004, Software & Systems Modeling.

[8]  Arnulf Braatz.  Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen , 2005 .

[9]  Benjamin Braatz,et al.  Semantical Integration of Object-Oriented Viewpoint Specification Techniques , 2004, SoftSpez Final Report.

[10]  E. Westkämper,et al.  Eine Methode zur objektorientierten Softwarespezifikation von dezentralen Automatisierungssystemen mit der Unified Modeling Language (UML) (Object-oriented Method for Software-Specification of Distributed Manufacturing Systems based on the Unified Modeling Language (UML)) , 2001 .