Zusammenfassung
Das in diesem Aufsatz beschriebene ConTract-Modell und seine prototypische Implementierung APRICOTS entstanden als Ergebnis eines Teilprojektes im Schwerpunktprogramm „Objektbanken für Experten“. Das Teilprojekt hatte die Aufgabe, Transaktionsmechanismen für die funktionell erweiterten Datenbanksysteme zu entwickeln, die mit dem Arbeitstitel „Objektbanken“ bezeichnet waren. Dabei ergab sich gleich am Anfang eine eigentlich nicht überraschende Schwierigkeit: Da die höheren Schichten der Objektbankkomponenten, also etwa die für Regelbehandlung, für die Verwaltung komplexer Objekte, für die Unterstützung aktiven Verhaltens usw., noch nicht entworfen waren, gab es auch noch keine klar definierten Anforderungen an die Transaktionsverwaltung. Zu warten, bis derartige Anforderungen erarbeitet waren, kam wegen des Zeitplanes und der engen Verzahnung der Teilvorhaben nicht in Betracht.
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
Birrell, A.D., Nelson, B.J.: Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, Vol. 2, No.1, Feb. 1984
Bilger, A.: Modellierung und Simulation betrieblicher Abläufe als ConTracts mit dem APRICOT-System. Studienarbeit, Universität Stuttgart, Fakultät Informatik, 19923
Bernstein, P.A., Emberton, W.T., Trehan, V.: DECdta- Digital’s Distributed Transaction Processing Architecture. Digital Technical Journal Vol.3(1), Winter 1991
Ceri, S., Pelagatti, G: Distributed Databases. Principles and Systems. MacGraw-Hill Book Company, 1984
DCE Application Development Guide. OSF DCE Version 1.0, Open Software Foundation, Cambridge, MA, 1991
Dayal, U., Hsu, M., Ladin, R.: Organizing Long-Running Activities with Triggers and Transactions. Proc. ACM SIGMOD 1990
Daniels, D.S., Spector, A., Thompson, D.: Distributed Logging for Transaction Processing. Proc. ACM SIGMOD 1987
Davies, C.T.: Data Processing Spheres of Control. IBM Systems Journal, Vol. 17(2), 1978, pp. 179–198
Eppinger, J.L., Mummert, L.B., Spector, A.Z. (Hrsg.): Camelot and Avalon — A Distributed Transaction Facility. Morgan Kaufmann Publishers, 1991.
Eitler, M.: Eine graphische Oberfläche für die interaktive Steuerung langlebiger verteilter Abläufe. Diplomarbeit (in Vorbereitung), Universität Stuttgart, Fakultät Informatik, 1992
Eppinger, J.L., Dietzen, S.: Encma: Modular Transaction Processing. Proc. Spring CompCon, San Francisco, California, USA, 1992
Garcia-Molina, H., Salem, K.: Sagas. Proc. ACM SIGMOD 1987
Gray, J.: The Transaction Concept: Virtues and Limitations. Proc. VLDB, Cannes, Sept. 1981
Gray, J., Reuter, A.: Transaction Processing Systems: Concepts and Techniques. Morgan Kaufmann Publishers, San Mateo, CA, 1992
Härder, T., Reuter, A.: Principles of Transaction-Oriented Database Recovery. ACM Computing Surveys, 15(4), 1983
Jungclaus, R., Saake, G., Sernadas, C.: Object-Oriented Specification of Information Systems: The TROLL Language. Technical Report 91–04, TU Braunschweig, 1991
Kim, W.: Highly Available Systems for Database Applications. ACM Computing Surveys 16(1), 1984
Klein, J., Reuter, A.: Migrating Transactions. Proc. Workshop on the Future Trends of Distributed Computing Systems, Hong Kong, IEEE, Sept. 1988
Korth, H.F., Levy, E., Silberschatz, A.: A Formal Approach to Recovery by Compensating Transactions. Proc. VLDB 1990, pp. 95–106
Korth, H.F., Speegle, G.D.: Formal Model of Correctness Without Serializability. Proc. ACM SIGMOD 1988
Kübier, D.: Ein Werkzeug zur Modellierung und Überwachung verteilter Systeme. Diplomarbeit Nr. 681, Universität Stuttgart, Fakultät Informatik, August 1990
Laube, D.: Ein transaktionsorientierter Kommunikationsmechanismus fuer das verteilte Transaktionssystem APRICOTS. Diplomarbeit, Universität Stuttgart, Fakultät Informatik, 1992
Leu, Y., Elmagarmid, A., Boudriga, N.: Specification and Execution of Transactions for Advanced Database Applications. Purdue University Technical Report, CSD-TR 1030, Oct. 1990
Masmanidis, I.: Syntax und Compiler einer Sprache zur Beschreibung paralleler und verteilter Abläufe. Studienarbeit, Universität Stuttgart, Fakultät Informatik, August 1990
Masmanidis, I.: Robuste Kontrollflußverwaltung für langlebige und verteilte Datenbank-Anwendungen. Diplomarbeit, Universität Stuttgart, Fakultät Informatik, Mai 1992
Moss, E.J.B.: Nested Transactions: An Approach to Reliable Computing. Ph.D. Thesis, M.I.T., Report MIT-LCS-TR-260, 1981
Open Systems Interconnection: Distributed Transaction Processing. Draft Proposal 10026–1, -2, -3 (Model, Service Definition, Protocol Specification), International Standardization Organization, 1988.
Peinl, P., Reuter, A., Summer, H.: High Contention in a Stock Trading Database — A Case Study. Proc. ACM SIGMOD 1988
Reuter, A.: ConTracts: A Means for Extending Control Beyond Transaction Boundaries Proc. 2nd. Int. Workshop on High Performance Transaction Systems, Asilomar, Sept. 1989
Reutzel, C.: Transaktionsgestützte Abwicklung von Abläufen in geregelten arbeitsteiligen Anwendungen. Diplomarbeit, Fachbereich Informatik, Universität Erlangen-Nürnberg, 1992
Reuter, A., Schmidt, U.: Transactions in Manufacturing Applications. Proc. 4th. Int. Workshop on High Performance Transaction Systems, Asilomar, Sept. 1991
Reinwald, B., Wedekind, H.: Integrierte Aktivitäten- und Datenverwaltung zur systemgestützten Kontroll- und Datenüußsteuerung. Informatik Forschung und Entwicklung, Heft 1, 1992
Rothermel, K., Pappe, S.: Open Commit Protocols for the Tree of Processes Model. Proc. 10th Int. Conf. on Distributed Computing Systems, pp. 236–244, 1990
Schmitd, U.: A Framework for Automated Error Recovery in Flexible Manufacturing Systems. Proc. 2nd Int. Conf. on Automation, Robotics and Computer Vision, Singapure, Sept. 1992
Sheth, A. P., Larson, J. A.: Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. ACM Computing Surveys, Vol. 22, No. 3, Sept. 1990
Wächter, H.: ConTracts — A Means for Improving Reliability in Distributed Computing. Proc. IEEE Spring CompCon, San Francisco, Feb. 1991
Wächter, H.: Eine Architektur für verteilte Anwendungen mit hohen Zuverlässigkeitsanforderungen. Dissertation (in Vorbereitung), Fakultät Informatik der Universität Stuttgart, 1992
Wächter, H., Reuter, A.: Grundkonzepte und Realisierungsstrategien des ConTract-Modells. Informatik Forschung und Entwicklung, Heft 5, 1990
Wächter, H., Reuter, A.: The ConTract Model. In: A.K. Elmagarmid (Hrsg.), Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Mateo, CA, 1992
Wahl, P.: Interpretative Abwicklung von Prädikat-Transitionsnetzen. Studienarbeit, Universität Stuttgart, Fakultät Informatik, 1991
Walter, B.: A Robust and Efficient Protocol for Checking the Availability of Remote Sites. Comp. Networks No. 6, pp. 173–188, 1982
Weikum, G., Schek, H.-J.: Concepts and Applications of Multilevel Transactions and Open Nested Transactions. In: A.K. Elmagarmid (Hrsg.), Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Mateo, CA, 1992
Weikum, G.: Principles and Realization Strategies of Multilevel Transaction Management. ACM TODS, Vol. 16(2), 1991
X/Open: Distributed Transaction Processing Reference Model. X/Open Document No. XO/GUIDE/91/020
Zellmer, O.: Ein Werkzeug zur Definition und Verwaltung transaktionsorientierter Client-Server-Anwendungen. Studienarbeit, Universität Stuttgart, Fakultät Informatik 1992
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reuter, A., Schwenkreis, F., Wächter, H. (1992). Transaktionskonzepte und Recovery-Verfahren für Objektbanken: Zuverlässige Abwicklung großer verteilter Anwendungen mit ConTracts — Architektur einer Prototypimplementierung. In: Bayer, R., Härder, T., Lockemann, P. (eds) Objektbanken für Experten. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77873-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-77873-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56074-6
Online ISBN: 978-3-642-77873-5
eBook Packages: Springer Book Archive