In: ITG-Fachgespräch FBT 2000: Formale Beschreibungstechniken für verteilte Systeme, Lübeck, June 2000 / Grabowski, Jens; Heymer, Stefan: Proceedings of 10. GI, pages 41-50. Aachen: Shaker Verlag, June 2000.
Abstract: Obwohl die Komplexität und Bedeutung verteilter Anwendungen adhoc-Lösungen verbietet, gibt es noch keine allgemein akzeptierte Methodik, wie solche Systeme unter Einhaltung hoher Qualitätsstandards an Korrektheit und Ausfallsicherheit zu entwickeln sind. Der hier vorgeschlagene Ansatz zur Kombination objektorientierter Analyse- und Designmethodik für Schnittstellen und Systemdynamik versucht die Nachteile objektorientierter Techniken in Hinsicht auf Verhaltensbeschreibungen und Präzision auszugleichen ohne ihre weite Akzeptanz zu verlieren.