Integrative Spezifikation von verteilten Leitsystemen der flexibel automatisierten Fertigung

[2] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [4]大北风，德国风，德国风，德国风，德国风，德国风，德国风，德国风，德国风，德国风，德国风。统一建模语言（UML）和规范与描述语言（SDL）是统一的。模具集成、模具建模、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学、模具工艺学等。die geschieht insbesonere durch die Verwendung von asm（抽象状态机）也称为gemeinsames元模型。Weiteres wesentliches Ziel des Projektes ist die Entwicklung eines Ingenieursarbeitsplatzes， der eine集成配置eines fertigunssystems under Einbeziehung der Funktionselemente （wie Streckenmodule）和ihrer entsprechenden Steuerungssoftware unterst<s:1> tzt。泛函数元素是由半形成体Ebene组成的，底层是由UML/SDL规范组成的，底层是由UML/SDL规范组成的，底层是由UML/SDL规范组成的，底层是由UML/SDL规范组成的，底层是由UML/SDL规范组成的，底层是由UML/SDL规范组成的，底层是由UML/SDL规范组成的，底层是由UML/SDL规范组成的。模具验证的方法，并研究了柔性加工系统，机械加工自动化，工业加工和材料加工系统的优化。Auf der Grundlage dieser fallstudewerden fgr die Anwendungsdomäneverteilte Fertigungsleitsysteme Entwurfsmuster也wiederverwendbare software - component标识和正式的组件。

Mit dem beantragten Vorhaben wird eine durchgängige Methodik für den integrierten Entwurf, die werkzeuggestützte Analyse und die Validierung verteilter Fertigungsleitsysteme erarbeitet. Dabei wird der Ansatz verfolgt, unterschiedliche Aspekte des Systems mittels problemadäquater Formalismen zu beschreiben. Hierzu werden Teile der Spezifikationssprachen UML (Unified Modeling Language) und SDL (Specification and Description Language) verwendet. Die Integration der Modelle erfolgt durch formale Beschreibung der operationalen Semantik der verwendeten Spezifikationstechniken, wodurch die Analyse und Validierung der Systemmodelle mittels Model-Checking und Simulation möglich wird. Dies geschieht insbesondere durch die Verwendung von ASMs (Abstract State Ma-chines) als gemeinsames Metamodell. Weiteres wesentliches Ziel des Projektes ist die Entwicklung eines Ingenieursarbeitsplatzes, der eine integrative Konfiguration eines Fertigungssystems unter Einbeziehung der Funktionselemente (wie Streckenmodule) und ihrer entsprechenden Steuerungssoftware unterstützt. Diese Funktionselemente sind auf semiformaler Ebene, basierend auf den UML/SDL Spezifikationen, so zu definieren, dass sie der Vorstellungswelt der Ingenieure entsprechen, die solche Anlagen projektieren. Die Validierung der Methodik erfolgt an der Fallstudie eines flexiblen Fertigungssystems, das aus mehreren hochautomatisierten CNC-Maschinen, Industrierobotern und einem Materialflußsystem besteht. Auf der Grundlage dieser Fallstudie werden für die Anwendungsdomäneverteilte Fertigungsleitsysteme Entwurfsmuster als wiederverwendbare Software-Komponenten identifiziert und formal beschrieben.