@InProceedings{Wirtz&Giese2000b,
AUTHOR = {Wirtz, Guido and Giese, Holger},
TITLE = {{Skalierbare Beschreibung des Verhaltens verteilter Softwaresysteme}},
YEAR = {2000},
MONTH = {June},
BOOKTITLE = {Proc. des 10. GI/ITG-Fachgesprächs Formale Beschreibungstechniken, GI-FG Kommunikation und verteilte Systeme, Luebeck, 22.-23.06},
PUBLISHER = {Gesellschaft für Informatik},
PDF = {fbt2000.pdf},
PS = {fbt2000.ps.gz},
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 Design-Methoden unter Nutzung der UML mit einer auf Petri-Netzen basierenden Beschreibungsmethodik für Schnittstellen und Systemdynamik versucht die Nachteile objektorientierter Techniken in Hinsicht auf Verhaltensbeschreibungen und Präzision auszugleichen ohne ihre weite Akzeptanz zu verlieren.},
NOTE = {(German)}
}