Zusammenfassung
Konversationssysteme sind Gruppenunterstützungssysteme, die Kooperation als formalisiertes Sprachspiel auffassen. In dieser Arbeit beweisen wir, daß Konversationen eines bestimmten Typs, den wir zur Abwicklung von Aktionen in einem Bürovorgangssystem verwenden, nie stecken bleiben können und immer in konsistenter Weise enden. Dazu modellieren wir den Konversationstyp als höheres Petrinetz und beweisen die erwünschten Eigenschaften durch vollständige Simulation des Netzes. Diese Methode kann auf alle bilateralen Konversationstypen angewandt werden.
Diese Arbeit entstand im Rahmen des Verbundprojekts WISDOM und wurde vom Bundesminister für Forschung und Technologie und der TA Triumph-Adler AG, Nürnberg, gefördert (Förderkennzeichen ITW8404B).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
The Coordinator: Reference Manual,“ Action Technologies, San Francisco, CA, 1984.
De Cindio, F., De Michelis, G., Simone, C., Vassallo, R., Zanaboni, A. M. “Chaos as coordination technology,” in Proc. Conf. on Computer-Supported Cooperative Work, Austin, TX, Dez. 1986, S. 325–342.
Flores, F., Ludlow, J. “Doing and speaking in the office,” in G. Fick, R. H. Sprague Jr. (Hrsg.) Decision Support Systems: Issues and Challenges, Pergamon, Oxford, 1980, S. 95–118.
Genrich, H. J., Lautenbach, K. “System modelling with high-level Petri nets,” Theoretical Computer Science 13 (1981), 109–136.
Holt, A. W., Ramsey, H. R., Grimes, J. D. “Coordination system technology as the basis for a programming environment,” Electrical Communication 57, 4 (1983), 307–314.
Kreifelts, Th., “DOMINO: Ein System zur Abwicklung arbeitsteiliger Vorgänge im Büro,” Angewandte Informatik 4/84, 137–146.
Kreifelts, Th., Seuffert, P., Woetzel, G. “Ausnahmebehandlung, Verteilung und Adressierung im Vorgangssystem DOMINO,” in M. Paul (Hrsg.) GI — 17. Jahrestagung, Computergestützter Arbeitsplatz im Büro, Informatik-Fachberichte Nr. 156, Springer, Berlin, 1987, S. 682–696.
Lautenbach, K., Pagnoni, A. “Invariance and duality in predicate/transition nets,” GMD-Arbeitspapiere Nr. 132, GMD, St. Augustin, 1985.
Niehuis, S., Victor, F. “Modellierung und Simulation von Pr/T-Netzen in Prolog,” GMD-Arbeitspapiere Nr. 231, GMD, St. Augustin, 1986.
Sluizer, S., Cashman, P. “XCP–an experimental tool for supporting office procedures,” in R. W. Taylor (Hrsg.) Proc. IEEE First Int. Conf. on Office Automation, New Orleans, LA, 1984, S. 73–80.
Winograd, T., Flores, F. Understanding Computers and Cognition: A New Foundation for Design, Ablex, Norwood, NJ, 1986.
Wißkirchen, P., Niehuis, S., Victor, F. “Ein rechnergestützter Bürosimulator auf der Basis von PrT-Netzen und Prolog,” Angewandte Informatik 5/84, 181–188.
Woetzel, G., Kreifelts, Th. “Die Vorgangssprache CoPlan, Version 2,” WISDOM-Forschungsbericht FB-GMD-87–34, GMD, St. Augustin, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kreifelts, T., Victor, F., Woetzel, G. (1988). Über die Verifikation von Konversationssystemen durch Simulation. In: Valk, R. (eds) GI — 18. Jahrestagung. Informatik-Fachberichte, vol 187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74127-2_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-74127-2_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50354-5
Online ISBN: 978-3-642-74127-2
eBook Packages: Springer Book Archive