Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme

软件系统的开发，今天一直是最好的、最复杂的韦尔登的集成，必须通过一种独特的开发方法来开发韦尔登，也必须提高软件的质量和功能。这一基础性的发展将使他们受益匪浅。Der wesentliche Vorteil gegenüber der etablierten komponentenbasierten Entwicklung is eine stark functional getriebene Modellierung auf hoher Abstraktionsebene and die Vermeidung der zu fühen Festlegung auf technische Architekturen. Im Rahmen des beantragten Vorhabens wird eine dienstbasierte Entwicklungsmethodik für rektive Systeme konzipiert，die auf der Definition eines formal fundierten Dienstbegriffs und der Bereitstellung geigneter Beschreibungs- und Modellierungstechniken basiert.该方法建立了基于模型的Verfeinerungsschritte和集成的Verfahren zur Transformation von Dienstspezifikationen in Form von Interaktionsmustern zu prototypisch implementerbaren，zstandsbased Komponentenmodellen。卫理公会将通过一个工作小组来完成。秋天的研究将使人们对未来的概念有一个明确的认识。

Die Entwicklung reaktiver Softwaresysteme, die heute immer stärker aus verteilten, interagierenden Komponenten bestehen und daher komplexen werden, muss durch geeignete Entwicklungsmethoden umfassend unterstützt werden, um auch zukünftig hohe Softwarequalität und korrekte Funktion bei bewältigbaren Kosten zu gewährleisten. Die dienstbasierte Entwicklung verspricht dies zu leisten. Der wesentliche Vorteil gegenüber der etablierten komponentenbasierten Entwicklung ist eine stark funktional getriebene Modellierung auf hoher Abstraktionsebene und die Vermeidung der zu frühen Festlegung auf technische Architekturen. Im Rahmen des beantragten Vorhabens wird eine dienstbasierte Entwicklungsmethodik für reaktive Systeme konzipiert, die auf der Definition eines formal fundierten Dienstbegriffs und der Bereitstellung geeigneter Beschreibungs- und Modellierungstechniken basiert. Die Methodik erlaubt modellbasierte Verfeinerungsschritte und integriert ein Verfahren zur Transformation von Dienstspezifikationen in Form von Interaktionsmustern zu prototypisch implementierbaren, zustandsbasierten Komponentenmodellen. Die Methodik wird durch eine Werkzeugumsetzung unterstützt. Durch Fallstudien wird die Praxistauglichkeit der erarbeiteten Konzepte nachgewiesen sowie ein Vergleich mit etablierten Vorgehensweisen gezogen.