{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T07:06:23Z","timestamp":1765177583635},"publisher-location":"Berlin, Heidelberg","reference-count":87,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656067"},{"type":"electronic","value":"9783642601194"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60119-4_24","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T14:58:13Z","timestamp":1315666693000},"page":"379-409","source":"Crossref","is-referenced-by-count":11,"title":["Towards Guaranteed Quality and Dependability of Information Services"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Weikum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Exotica\/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management, IFIP Working Conference on Information System Development for Decentralised Organizations","author":"G Alonso","year":"1995","unstructured":"Alonso, G., Mohan, C., G\u00fcnth\u00f6r, R., Agrawal, D., El Abbadi, A., Kamath, M.: Exotica\/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management, IFIP Working Conference on Information System Development for Decentralised Organizations, Trondheim, Norway, 1995."},{"key":"24_CR2","volume-title":"Distributed Processing Over Stand-alone Systems and Applications, Proceedings of the 23rd International Conference on Very Large Data Bases (VLDB)","author":"G Alonso","year":"1997","unstructured":"Alonso, G., Hagen, C., Schek, H.-J., Tresch, M.: Distributed Processing Over Stand-alone Systems and Applications, Proceedings of the 23rd International Conference on Very Large Data Bases (VLDB), Athens, Greece, 1997."},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF01782772","volume":"2","author":"B Alpern","year":"1987","unstructured":"Alpern, B., Schneider, F.B.: Recognizing Safety and Liveness, Distributed Computing Vol. 2 No. 3, 1987, pp. 117\u2013126.","journal-title":"Distributed Computing"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Apers, P.M.G., Blanken, H.M., Houtsma, M.A.W. (Editors): Multimedia Databases in Perspective, Springer, 1997.","DOI":"10.1007\/978-1-4471-0957-0"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"The Asilomar Report on Database Research, ACM SIGMOD Record Vol. 27 No. 4, December 1998.","DOI":"10.1145\/306101.306137"},{"key":"24_CR6","volume-title":"Dublin","author":"P Attie","year":"1993","unstructured":"Attie, P., Singh, M., Sheth, A., Rusinkiewicz, M.: Specifying and Enforcing Inter-task Dependencies, International Conference on Very Large Data Bases (VLDB), Dublin, 1993."},{"key":"24_CR7","volume-title":"Seattle","author":"J Barrera","year":"1997","unstructured":"Barrera, J., Gray, J.: FT NT: A Tutorial on Microsoft Cluster Server (formerly \u201cWolfpack\u201d), Tutorial Notes, International Conference on Fault Tolerant Computing Systems (FTCS), Seattle, 1997."},{"key":"24_CR8","volume-title":"A Distributed Execution Environment for Large-Scale Workflow Management Systems with Subnet and Server Migration, International Conference on Cooperative Information Systems","author":"T Bauer","year":"1997","unstructured":"Bauer, T., Dadam, P.: A Distributed Execution Environment for Large-Scale Workflow Management Systems with Subnet and Server Migration, International Conference on Cooperative Information Systems ( COOPIS ), Charleston, 1997."},{"key":"24_CR9","volume-title":"Morgan Kaufmann","author":"PA Bernstein","year":"1997","unstructured":"Bernstein, P.A., Newcomer, E.: Principles of Transaction Processing for the Systems Professional, Morgan Kaufmann, 1997."},{"volume-title":"Bulletin of the IEEE Technical Committee on Data Engineering Vol.21","year":"1998","key":"24_CR10","unstructured":"Chaudhuri, S. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.21 No. 2, June 1998, Special Issue on Databases and the World Wide Web."},{"issue":"1","key":"24_CR11","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/248603.248616","volume":"26","author":"S Chaudhuri","year":"1997","unstructured":"Chaudhuri, S., Dayal, U.: An Overview of Data Warehousing and OLAP Technology, ACM SIGMOD Record Vol. 26 No. 1, 1997, pp. 65\u201374.","journal-title":"ACM SIGMOD Record"},{"key":"24_CR12","volume-title":"International Conference on Data Engineering (ICDE), Birmingham","author":"Q Chen","year":"1997","unstructured":"Chen, Q., Dayal, U.: Failure Handling for Transaction Hierarchies, International Conference on Data Engineering (ICDE), Birmingham, UK, 1997."},{"key":"24_CR13","volume-title":"Kluwer Academic Publishers","author":"J Chomicki","year":"1998","unstructured":"Chomicki, J., Saake, G.: Logics for Databases and Information Systems, Kluwer Academic Publishers, 1998."},{"issue":"4","key":"24_CR14","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/234782.234793","volume":"27","author":"S Christodoulakis","year":"1995","unstructured":"Christodoulakis, S., Triantafillou, P.: Research and Development Issues for Large-Scale Multimedia Information Systems, ACM Computing Surveys Vol. 27 No. 4, December 1995, pp. 576\u2013579.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"24_CR15","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems Vol. 8 No. 2, April 1986, pp. 244\u2013263.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"24_CR16","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal Methods: State of the Art and Future Directions, ACM Computing Surveys Vol. 28 No. 4, December 1996, pp. 626\u2013643.","journal-title":"ACM Computing Surveys"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Communications of the ACM Vol.40 No.2, February 1997, Special Anniversary Issue on \u201cThe Next 50 Years\u201d.","DOI":"10.1145\/253671.253683"},{"key":"24_CR18","volume-title":"Germany","author":"W Deiters","year":"1995","unstructured":"Deiters, W., Lindert, F., Schiprowski, R.: A Transaction Concept for Software Process Management with Funsoft Nets, Technical Report, Fraunhofer Institute for Software and Systems Engineering (ISST), Berlin\/Dortmund, Germany, 1995."},{"key":"24_CR19","volume-title":"Model Checking in CLP, 2nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"G Delzanno","year":"1999","unstructured":"Delzanno, G., Podelski, A.: Model Checking in CLP, 2nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Amsterdam, Springer, 1999."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Dogac, A., Kalinichenko, L., Ozsu, T., Sheth, A. (Editors): Advances in Workflow Management Systems and Interoperability, NATO Advanced Study Institute, Springer, 1998.","DOI":"10.1007\/978-3-642-58908-9"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Dogac, A. (Editor): Special Section on Electronic Commerce, ACM SIGMOD Record Vol.27 No.4, December 1998.","DOI":"10.1145\/306101.306109"},{"key":"24_CR22","unstructured":"Ehrich, H.-D., Caleiro, C., Sernadas, A., Denker, G.: Logics for Specifying Concurrent Information Systems, in [13]."},{"key":"24_CR23","volume-title":"van Leeuwen","author":"EA Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic, in: van Leeuwen, J. (Editor), Handbook of Theoretical Computer Science, Elsevier Science Publishers, 1990."},{"key":"24_CR24","volume-title":"Kluwer Academic Publishers","author":"C Faloutsos","year":"1996","unstructured":"Faloutsos, C.: Searching Multimedia Databases By Content, Kluwer Academic Publishers, 1996."},{"volume-title":"Bulletin of the IEEE Technical Committee on Data Engineering Vol.19","year":"1996","key":"24_CR25","unstructured":"Franklin, M. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.19 No. 3, September 1996, Special Issue on Data Dissemination."},{"volume-title":"Bulletin of the IEEE Technical Committee on Data Engineering Vol.20","year":"1997","key":"24_CR26","unstructured":"Franklin, M. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.20 No. 3, September 1997, Special Issue on Improving Query Responsiveness."},{"key":"24_CR27","volume-title":"Seattle","author":"MJ Franklin","year":"1998","unstructured":"Franklin, M.J., Zdonik, S.: \u201cData in Your Face\u201d: Push Technology in Perspective, ACM SIGMOD International Conference on Management of Data, Seattle, 1998."},{"key":"24_CR28","volume-title":"UK","author":"JC Freytag","year":"1987","unstructured":"Freytag, J.C., Cristian, F., K\u00e4hler, B.: Masking System Crashes in Database Application Programs, International Conference on Very Large Data Bases (VLDB), Brighton, UK, 1987."},{"key":"24_CR29","unstructured":"Fuhr, N.: A Decision-Theoretic Approach to Database Selection in Networked IR, Technical Report, University of Dortmund, Germany, 1997, submitted for publication."},{"key":"24_CR30","unstructured":"Geppert, A., Dittrich, K.R.: Bundling: Towards a New Construction Paradigm for Persistent Systems, Networking and Information Systems Journal Vol. 1 No. 1, 1998."},{"key":"24_CR31","volume-title":"to appear in ACM Transactions on Database Systems","author":"L Gravano","year":"1999","unstructured":"Gravano, L., Garcia-Molina, H., Tomasic, A.: GlOSS: Text-Source Discovery over the Internet, to appear in ACM Transactions on Database Systems, 1999."},{"key":"24_CR32","volume-title":"Wedekind","author":"J Gray","year":"1985","unstructured":"Gray, J.: Why Do Computers Stop And What Can Be Done About It?, in: Wedekind, H., Kratzer, K. (Editors), Office Automation, Teubner, 1985."},{"key":"24_CR33","volume-title":"Transaction Processing","author":"J Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993."},{"issue":"5","key":"24_CR34","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/4236.623969","volume":"1","author":"VN Gudivada","year":"1997","unstructured":"Gudivada, V.N., Raghavan, V.V., Grosky, W.I., Kasanagottu, R.: Information Retrieval on the World Wide Web, IEEE Internet Computing Vol. 1 No. 5, September 1997, pp. 58\u201368.","journal-title":"IEEE Internet Computing"},{"key":"24_CR35","unstructured":"H\u00e4rder, T. (Editor): Special Issue on Workflow Management (in German), Informatik Forschung and Entwicklung Vol.12 No.2, 1997."},{"key":"24_CR36","volume-title":"Springer","author":"T H\u00e4rder","year":"1987","unstructured":"H\u00e4rder, T.: Fault Tolerance Issues in Transactions Systems (in German), German Conference on Fault-tolerant Computing Systems, Springer, 1987."},{"key":"24_CR37","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming, Vol. 8, 1987, pp. 231\u2013274.","journal-title":"Science of Computer Programming"},{"issue":"7","key":"24_CR38","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D Harel","year":"1997","unstructured":"Harel, D., Gery, E.: Executable Object Modeling with Statecharts, IEEE Computer Vol. 30 No. 7, July 1997, pp. 31\u201342.","journal-title":"IEEE Computer"},{"key":"24_CR39","first-page":"293","volume-title":"Naamad, A.","author":"D Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The Statemate Semantics of Statecharts, ACM Transactions on Software Engineering Methodology, October 1996, pp. 293\u2013333."},{"key":"24_CR40","unstructured":"Haring, G., Lindemann, C., Reiser, M. (Editors), Report on the Workshop \u201cSystem Performance Evaluation - Origins and Directions\u201d, Schloss Dagstuhl, Germany, September 1997, http.\/\/www.ani.univie.ac.at\/dagstuh197\/"},{"key":"24_CR41","volume-title":"2nd Usenix Workshop on Electronic Commerce","author":"N Heintze","year":"1996","unstructured":"Heintze, N., Tygar, J.D., Wing, J., Wong, H.C.: Model Checking Electronic Commerce Protocols, 2nd Usenix Workshop on Electronic Commerce, 1996."},{"volume-title":"Bulletin of the IEEE Technical Committee on Data Engineering Vol.19","year":"1996","key":"24_CR42","unstructured":"Hellerstein, J. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.19 No. 4, December 1996, Special Issue on Query Processing for Non-Standard Data."},{"key":"24_CR43","volume-title":"Workflow Management - Modeling Concepts","author":"S Jablonski","year":"1996","unstructured":"Jablonski, S., Bussler, C.: Workflow Management - Modeling Concepts, Architecture, and Implementation, International Thomson Computer Press, 1996."},{"key":"24_CR44","volume-title":"Providing High Availability in Very Large Workflow Management Systems, Proceedings of the 5th International Conference on Extending Database Technology (EDBT)","author":"M Kamath","year":"1996","unstructured":"Kamath, M., Alonso, G., Giinth\u00f6r, R., Mohan, C.: Providing High Availability in Very Large Workflow Management Systems, Proceedings of the 5th International Conference on Extending Database Technology (EDBT), Avignon, France, 1996."},{"key":"24_CR45","volume-title":"IEEE COMPCON","author":"J Klein","year":"1991","unstructured":"Klein, J.: Advanced Rule Driven Transaction Management, IEEE COMPCON, 1991."},{"volume-title":"Bulletin of the IEEE Technical Committee on Data Engineering Vol.21","year":"1998","key":"24_CR46","unstructured":"Kossmann, D. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.21 No. 3, September 1998, Special Issue on Interoperability."},{"key":"24_CR47","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"2","author":"L Lamport","year":"1977","unstructured":"Lamport, L.: Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering Vol. SE-3 No. 2, 1977, pp. 125\u2013143.","journal-title":"IEEE Transactions on Software Engineering Vol. SE-3"},{"key":"24_CR48","unstructured":"Leymann, F.: Transaction Support for Workflows (in German), in [35]."},{"key":"24_CR49","unstructured":"Lockemann, P.C., K\u00f6lsch, U., Koschel, A., Kramer, R., Nikolai, R., Wallrath, M., Walter, H.-D.: The Network as a Global Database: Challenges of Interoperability"},{"key":"24_CR50","volume-title":"International Conference on Very Large Data Bases (VLDB)","author":"Proactivity, Interactiveness, Legacy","year":"1997","unstructured":"Proactivity, Interactiveness, Legacy, International Conference on Very Large Data Bases (VLDB), Athens, Greece, 1997."},{"key":"24_CR51","volume-title":"Asilomar","author":"D Lomet","year":"1997","unstructured":"Lomet, D.: Application Recovery: Advances Towards an Elusive Goal, International Workshop on High Performance Transaction Systems (HPTS), Asilomar, 1997."},{"key":"24_CR52","volume-title":"Seattle","author":"D Lomet","year":"1998","unstructured":"Lomet, D., Weikum, G.: Efficient and Transparent Application Recovery in Client-Server Information Systems, ACM SIGMOD International Conference on Management of Data, Seattle, 1998."},{"key":"24_CR53","volume-title":"Springer","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer, 1992."},{"key":"24_CR54","volume-title":"Proving Correctness of Labeled Transition Systems by Semantic Tableaux, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods","author":"W May","year":"1997","unstructured":"May, W.: Proving Correctness of Labeled Transition Systems by Semantic Tableaux, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont-a-Mousson, France, 1997."},{"key":"24_CR55","volume-title":"Kluwer Academic Publishers","author":"KL McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking, Kluwer Academic Publishers, 1993."},{"key":"24_CR56","volume-title":"Springer","author":"C Meinel","year":"1998","unstructured":"Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design - OBDD Foundations and Applications, Springer, 1998."},{"key":"24_CR57","volume-title":"Transaction Processing and Distributed Computing in the Internet Age, Tutorial Notes, International Conference on Extending Database Technology (EDBT)","author":"C Mohan","year":"1998","unstructured":"Mohan, C.: Transaction Processing and Distributed Computing in the Internet Age, Tutorial Notes, International Conference on Extending Database Technology (EDBT), Valencia, Spain, 1998."},{"key":"24_CR58","volume-title":"Vienna","author":"C Mohan","year":"1993","unstructured":"Mohan, C., Treiber, K., Obermarck, R.: Algorithms for the Management of Remote Backup Data Bases for Disaster Recovery, IEEE International Conference on Data Engineering, Vienna, 1993."},{"volume-title":"Bulletin of the IEEE Technical Committee on Data Engineering Vol.19","year":"1996","key":"24_CR59","unstructured":"Moss, J.E.B. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.19 No. 1, March 1996, Special Issue on Integrating Text Retrieval and Databases."},{"key":"24_CR60","unstructured":"Muth, P., Wodtke, D., Weissenfels, J., Weikum, G., Kotz-Dittrich, A.: Enterprise-wide Workflow Management Based on State and Activity Charts, in [20]."},{"key":"24_CR61","volume-title":"Stochastic Service Guarantees for Continuous Data on Multi-Zone Disks, Proceedings of the ACM International Symposium on Principles of Database Systems (PODS)","author":"G Nerjes","year":"1997","unstructured":"Nerjes, G., Muth, P., Weikum, G.: Stochastic Service Guarantees for Continuous Data on Multi-Zone Disks, Proceedings of the ACM International Symposium on Principles of Database Systems (PODS), Tucson, Arizona, 1997."},{"key":"24_CR62","volume-title":"Italy","author":"G Nerjes","year":"1997","unstructured":"Nerjes, G., Romboyannakis, Y., Muth, P., Paterakis, M., Triantafillou, P., Weikum, G.: On Mixed-Workload Multimedia Storage Servers with Guaranteed Performance and Service Quality, International Workshop on Multimedia Information Systems, Como, Italy, 1997."},{"key":"24_CR63","volume-title":"Teubner","author":"A Oberweis","year":"1996","unstructured":"Oberweis, A.: Modeling and Execution of Workflows with Petri Nets (in German), Teubner, 1996."},{"key":"24_CR64","volume-title":"Cambridge University Press","author":"E-R Olderog","year":"1991","unstructured":"Olderog, E.-R.: Nets, Terms, and Formulas: Three Views of Concurrent Processes and their Relationship, Cambridge University Press, 1991."},{"key":"24_CR65","volume-title":"Verification of Information Systems with Model Checking (in German), German Workshop on Foundations of Database Systems","author":"R Pinger","year":"1998","unstructured":"Pinger, R.: Verification of Information Systems with Model Checking (in German), German Workshop on Foundations of Database Systems, Constance, Germany, 1998."},{"key":"24_CR66","volume-title":"Information Retrieval Algorithms","author":"P Raghavan","year":"1997","unstructured":"Raghavan, P.: Information Retrieval Algorithms: A Survey, Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, 1997."},{"key":"24_CR67","volume-title":"Goal-oriented Performance Control for Transaction Processing, German Conference on Performance Measurement, Modeling, and Assessment of Computer and Communication Systems","author":"E Rahm","year":"1997","unstructured":"Rahm, E.: Goal-oriented Performance Control for Transaction Processing, German Conference on Performance Measurement, Modeling, and Assessment of Computer and Communication Systems, Freiberg, Germany, 1997."},{"key":"24_CR68","volume-title":"Jajodia","author":"A Reuter","year":"1997","unstructured":"Reuter, A., Schneider, K., Schwenkreis, F.: ConTracts Revisited, in: Jajodia, S., Kerschberg, L. (Editors), Advanced Transaction Models and Architectures, Kluwer Academic Publishers, 1997."},{"key":"24_CR69","volume-title":"Amsterdam","author":"K Rothermel","year":"1989","unstructured":"Rothermel, K., Mohan, C.: ARIES\/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions, International Conference on Very Large Data Bases (VLDB), Amsterdam, 1989."},{"key":"24_CR70","volume-title":"Analysis of Event Process Chains Based on Reachability Graphs (in German), Technical Report, OFFIS","author":"FJ Rump","year":"1997","unstructured":"Rump, F.J.: Analysis of Event Process Chains Based on Reachability Graphs (in German), Technical Report, OFFIS, University of Oldenburg, Germany, 1997."},{"key":"24_CR71","volume-title":"Kluwer Academic Publishers","author":"RA Sahner","year":"1996","unstructured":"Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems, Kluwer Academic Publishers, 1996."},{"key":"24_CR72","volume-title":"DC","author":"H-J Schek","year":"1993","unstructured":"Schek, H.-J., Ye, H., Weikum, G.: Towards a Unified Theory of Concurrency Control and Recovery, ACM International Symposium on Principles of Database Systems (PODS), Washington, DC, 1993."},{"key":"24_CR73","volume-title":"San Francisco","author":"M Schroeder","year":"1999","unstructured":"Schroeder, M., Cui, Z., Shepherdson, J.: Verification of Business Processes Using CCS, International Joint Conference on Work Activities, Coordination, and Collaboration (WACC), San Francisco, February 1999."},{"key":"24_CR74","volume-title":"San Francisco","author":"H Schuster","year":"1999","unstructured":"Schuster, H., Neeb, J., Schamburger, R.: A Configuration Management Approach for Large Workflow Management Systems, International Joint Conference on Work Activities, Coordination, and Collaboration (WACC), San Francisco, February 1999."},{"key":"24_CR75","doi-asserted-by":"crossref","unstructured":"Silberschatz, A., Stonebraker, M., Ullman, J. (Editors): Database Research: Achievements and Opportunities Into the 21st Century, ACM SIGMOD Record Vol.25 No.1, March 1996.","DOI":"10.1145\/381854.381886"},{"issue":"4","key":"24_CR76","doi-asserted-by":"publisher","first-page":"764","DOI":"10.1145\/242223.242295","volume":"28","author":"A Silberschatz","year":"1996","unstructured":"Silberschatz, A., Zdonik, S., et al.: Strategic Directions in Database Systems\u2013Breaking Out of the Box, ACM Computing Surveys Vol. 28 No. 4, December 1996, pp. 764\u2013778.","journal-title":"ACM Computing Surveys"},{"key":"24_CR77","volume-title":"Automatic Verification of Transactions on an Object-Oriented Database, International Workshop on Database Programming Languages (DBPL)","author":"D Spelt","year":"1997","unstructured":"Spelt, D., Balsters, H.: Automatic Verification of Transactions on an Object-Oriented Database, International Workshop on Database Programming Languages (DBPL), Estes Park, Colorado, 1997."},{"key":"24_CR78","volume-title":"Seattle","author":"P Spiro","year":"1998","unstructured":"Spiro, P.: Ubiquitous, Self-tuning, Scalable Servers, ACM SIGMOD International Conference on Management of Data, Seattle, 1998."},{"key":"24_CR79","unstructured":"US President\u2019s Information Technology Advisory Committee Interim Report to the President, August 1998"},{"key":"24_CR80","unstructured":"Vossen, G., Becker, J. (Editors), Business Process Modeling and Workflow Management - Models, Methods, Tools (in German), International Thomson Publishing, 1995."},{"key":"24_CR81","unstructured":"Weikum, G., Schek, H.-J.: Concepts and Applications of Multilevel Transactions and Open Nested Transactions, in: Elmagarmid, A.K. (Editor), Database Transaction Models for Advanced Applications, Morgan Kaufmann, 1992."},{"issue":"5","key":"24_CR82","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/0306-4379(94)90004-3","volume":"19","author":"G Weikum","year":"1994","unstructured":"Weikum, G., Hasse, C., Moenkeberg, A., Zabback, P.: The COMFORT Automatic Tuning Project, Information Systems Vol. 19 No. 5, 1994, pp. 381\u2013432.","journal-title":"Information Systems"},{"key":"24_CR83","unstructured":"Weikum, G., Wodtke, D., Kotz-Dittrich, A., Muth, P., Weissenfels, J.: Specification, Verification, and Distributed Execution of Workflows in MENTOR (in German), in [35]."},{"key":"24_CR84","volume-title":"A Formal Foundation For Distributed Workflow Execution Based on State Charts, International Conference on Database Theory (ICDT)","author":"D Wodtke","year":"1997","unstructured":"Wodtke, D., Weikum, G.: A Formal Foundation For Distributed Workflow Execution Based on State Charts, International Conference on Database Theory (ICDT), Delphi, Greece, 1997."},{"issue":"12","key":"24_CR85","doi-asserted-by":"publisher","first-page":"1915","DOI":"10.1109\/5.650175","volume":"85","author":"LC Wolf","year":"1997","unstructured":"Wolf, L.C., Griwodz, C., Steinmetz, R.: Multimedia Communication, Proceedings of the IEEE Vol. 85 No. 12, December 1997, pp. 1915\u20131933.","journal-title":"Proceedings of the IEEE"},{"key":"24_CR86","volume-title":"Germany","author":"MC Wu","year":"1997","unstructured":"Wu, M.C., Buchmann, A.P.: Research Issues in Data Warehousing, German Conference on Database Systems in Office, Engineering, and Scientific Applications, Ulm, Germany, 1997."},{"key":"24_CR87","volume-title":"Advanced Database Systems: From Monoliths to Unbundled Components, German Workshop on Foundations of Database Systems","author":"J Zimmermann","year":"1996","unstructured":"Zimmermann, J., Kudra\u00df, T.: Advanced Database Systems: From Monoliths to Unbundled Components, German Workshop on Foundations of Database Systems, Friedrichbrunn, Germany, 1996."}],"container-title":["Informatik aktuell","Datenbanksysteme in B\u00fcro, Technik und Wissenschaft"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60119-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T09:50:25Z","timestamp":1558173025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60119-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656067","9783642601194"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60119-4_24","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1999]]}}}