In: Paul, M.: InformatikFachberichte, Vol. 222; Bericht: GI, 19. Jahrestagung, 1989, München; Vol. 1, pages 215-230. Berlin: Springer, 1989.
Abstract: Prototyping fördert die Kommunikation zwischen Systementwickler und Anwender und ist daher ein wichtiges Hilfsmittel zur inhaltlichen Validierung eines gegebenen Entwurfs. Diese Arbeit stellt Konzepte vor zur Einbeziehung von Integritätsbedingungen beim Prototyping mit Prädikate/Transitionen-Netzen. Es werden sowohl statische als auch dynamische Integritätsbedingungen berücksichtigt. Teilweise sind diese Konzepte bereits implementiert.
Keywords: integrity preserving prototyping; distributed system; predicate/transition net; validity; integrity conditions.