Design of communicating real-time systems by combining specification techniques for process, data and time

这是一项伟大的工程，其目的是为了更好地设计新的技术规范。这是一个很重要的问题，因为它是一件很重要的事情，因为它是一件很重要的事情，因为它是一件很重要的事情，因为它是一件很重要的事情，因为它是一件很重要的事情，因为它是一件很重要的事情，因为它是一件很重要的事情。[中英文摘要][晓雨-0920交稿]ALS Grundlage soll dazu ein gmeinsames Semantisches modell entwickelt，das wesentliche Elemente der EinzelMethoden CSP，Object-Z and Duration Calculus in Konsistenter Weise Kombiniert.在此基础上，我们进行了一系列的技术改造，建立了一种新的技术体系。这是一项技术错误的研究和参考。在我们的国家里，大足是唯一的一块土地。

Das Ziel des Projektes ist eine Methodik zur Entwicklung von kommunizierenden und zeitkritischen Systemen, die ausgehend von graphischen Beschreibungen der Anforderungen bis hin zur Erstellung von Design-Spezifikationen reicht. Das Hauptaugenmerk ist dabei, wie Systemanforderungen in semantisch korrekter Weise in prozessorientierte, datenorientierte und zeitkritische Aspekte dekomponiert werden können, so daß diese Aspekte unabhängig voneinander weiterentwickelt werden, um schließlich wieder kombiniert und eventuell umstrukturiert zu werden. Als Grundlage soll dazu ein gemeinsames semantisches Modell entwickelt werden, das wesentliche Elemente der Einzelmethoden CSP, Object-Z und Duration Calculus in konsistenter Weise kombiniert. Auf dieser Basis können dann korrekte Transformationen für die Dekomposition, Komposition und Umstrukturierung von Systemspezifikationen angegeben werden. Diese Transformationen werden an der Referenzfallstudie aus der Verkehrsleittechnik erprobt. Dazu soll eine in Teilen bereits vorhandene Werkzeugunterstützung eingesetzt und weiterentwickelt werden.