- 7.Arbeitsplan
- 7.1.Kombination von Methoden
(UniOL, UniHB)
- 7.1.1.Kombinationsmethodik
- (UniHB / UniOL)
- 7.1.2.Konkrete Kombination
- (UniOL, UniHB)
- Kombination DC + Z (UniOL,
UniHB)
- Ergebnisse
- Strukturierung von
DC-Formeln mit Z (UniOL)
- Aufwände
- Kombination MIXCSP + Z
(UniOL, UniHB)
- Ergebnisse
- Semantische Kombination
MIXCSP + Z (UniOL)
- Repräsentation
von CSP im Transformations-Entwicklungssystem (UniHB)
- Aufwände
- Definition der Normalform
CSPSPS + Zeit (UniOL, Elpro, UniHB)
- Ergebnisse
- Schulung zu SPS (Elpro)
- Definition der Normalform
CSPSPS (UniOL)
- Aufwände
- Normalform-Übersetzung
CSP+ Zeit --> CSPSPS + Zeit (UniOL / UniHB)
- Ergebnisse
- Normalform-Übersetzung
CSP --> CSPSPS (UniOL)
- Aufwände
- Übersetzung CSPSPS-->
SPS (UniOL, Elpro / UniHB)
- Ergebnisse
- Aufwände
- Kombination MIXCSP + Zeit
+ Z (UniOL, UniHB)
- Ergebnisse
- Aufwände
- Transformation DC + Z -->
MIXCSP + Zeit + Z (UniOL / UniHB)
- Ergebnisse
- Aufwände
- Transformation MIXCSP +
Zeit + Z --> CSP+ Zeit (UniOL / UniHB)
- Ergebnisse
- Aufwände
- Konsistenz von FDR und
Animation mit CSP + Zeit (UniOL / UniHB
- Ergebnisse
- Separation in Anteile
mit und ohne Zeit (UniHB)
- Aufwände
- 7.1.3.Integration in das
V-Modell des Bundesinnenministeriums
- (UniHB, Elpro)