Integrative Spezifikation von verteilten Leitsystemen der flexibel automatisierten Fertigung

麻省理工学院的DEM是一种传统的方法，它是一种综合的方法，它是一种分析和分析方法，是一种非常有效的方法。这是一件很难解决的事情，因为这是一个系统的问题。Hierzu是由统一建模语言(UML)和规范描述语言(SDL)组成的。在操作过程中，模型的集成将错误地描述技术、分析和验证系统模型的模型检查和仿真。他说：“这是一件非常重要的事情。”我们在Einbeziehong der Funktionselemente(Wie Strecen模块)和它的软件开发环境下，开发了一套完整的配置，以满足各种系统的需求。在此基础上，建立了统一建模语言/软件开发语言规范，并对其进行了定义，并对其进行了分析。这是一套灵活的制造系统，也是一套灵活的计算机控制系统、工业控制系统和物流系统。这是一家大型柴油企业，从没有使用过更广泛的软件，也没有正式的客户服务。

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.