Advertisement

Towards Guaranteed Quality and Dependability of Information Services

  • Gerhard Weikum
Part of the Informatik aktuell book series (INFORMAT)

Abstract

The impressive advances in global networking and information technology provide great opportunities for all kinds of ubiquitous information services, ranging from digital libraries and information discovery to virtual-enterprise workflows and electronic commerce. However, many of these services too often exhibit rather poor quality and are thus unsuitable for mission-critical applications. In this paper I would like to encourage more intensive research efforts towards service quality guarantees, the ultimate goal being the ability to construct and deploy truly dependable systems with provable correctness, continuous availability, and predictable performance. The paper aims to sort out some of the issues towards these elusive goals, mainly by discussing a case study on workflow management. I will point out various assets that can be leveraged, most notably, from database and TP technology and also mathematical modeling and reasoning, and I will outline some research directions that I would encourage to pursue.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alonso, G., Mohan, C., Günthör, 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.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    Alpern, B., Schneider, F.B.: Recognizing Safety and Liveness, Distributed Computing Vol. 2 No. 3, 1987, pp. 117–126.zbMATHCrossRefGoogle Scholar
  4. 4.
    Apers, P.M.G., Blanken, H.M., Houtsma, M.A.W. (Editors): Multimedia Databases in Perspective, Springer, 1997.Google Scholar
  5. 5.
    The Asilomar Report on Database Research, ACM SIGMOD Record Vol. 27 No. 4, December 1998.Google Scholar
  6. 6.
    Attie, P., Singh, M., Sheth, A., Rusinkiewicz, M.: Specifying and Enforcing Inter-task Dependencies, International Conference on Very Large Data Bases (VLDB), Dublin, 1993.Google Scholar
  7. 7.
    Barrera, J., Gray, J.: FT NT: A Tutorial on Microsoft Cluster Server (formerly “Wolfpack”), Tutorial Notes, International Conference on Fault Tolerant Computing Systems (FTCS), Seattle, 1997.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    Bernstein, P.A., Newcomer, E.: Principles of Transaction Processing for the Systems Professional, Morgan Kaufmann, 1997.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    Chaudhuri, S., Dayal, U.: An Overview of Data Warehousing and OLAP Technology, ACM SIGMOD Record Vol. 26 No. 1, 1997, pp. 65–74.CrossRefGoogle Scholar
  12. 12.
    Chen, Q., Dayal, U.: Failure Handling for Transaction Hierarchies, International Conference on Data Engineering (ICDE), Birmingham, UK, 1997.Google Scholar
  13. 13.
    Chomicki, J., Saake, G.: Logics for Databases and Information Systems, Kluwer Academic Publishers, 1998.Google Scholar
  14. 14.
    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–579.CrossRefGoogle Scholar
  15. 15.
    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–263.zbMATHCrossRefGoogle Scholar
  16. 16.
    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–643.CrossRefGoogle Scholar
  17. 17.
    Communications of the ACM Vol.40 No.2, February 1997, Special Anniversary Issue on “The Next 50 Years”.Google Scholar
  18. 18.
    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.Google Scholar
  19. 19.
    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.Google Scholar
  20. 20.
    Dogac, A., Kalinichenko, L., Ozsu, T., Sheth, A. (Editors): Advances in Workflow Management Systems and Interoperability, NATO Advanced Study Institute, Springer, 1998.Google Scholar
  21. 21.
    Dogac, A. (Editor): Special Section on Electronic Commerce, ACM SIGMOD Record Vol.27 No.4, December 1998.Google Scholar
  22. 22.
    Ehrich, H.-D., Caleiro, C., Sernadas, A., Denker, G.: Logics for Specifying Concurrent Information Systems, in [13].Google Scholar
  23. 23.
    Emerson, E.A.: Temporal and Modal Logic, in: van Leeuwen, J. (Editor), Handbook of Theoretical Computer Science, Elsevier Science Publishers, 1990.Google Scholar
  24. 24.
    Faloutsos, C.: Searching Multimedia Databases By Content, Kluwer Academic Publishers, 1996.Google Scholar
  25. 25.
    Franklin, M. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.19 No. 3, September 1996, Special Issue on Data Dissemination.Google Scholar
  26. 26.
    Franklin, M. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.20 No. 3, September 1997, Special Issue on Improving Query Responsiveness.Google Scholar
  27. 27.
    Franklin, M.J., Zdonik, S.: “Data in Your Face”: Push Technology in Perspective, ACM SIGMOD International Conference on Management of Data, Seattle, 1998.Google Scholar
  28. 28.
    Freytag, J.C., Cristian, F., Kähler, B.: Masking System Crashes in Database Application Programs, International Conference on Very Large Data Bases (VLDB), Brighton, UK, 1987.Google Scholar
  29. 29.
    Fuhr, N.: A Decision-Theoretic Approach to Database Selection in Networked IR, Technical Report, University of Dortmund, Germany, 1997, submitted for publication.Google Scholar
  30. 30.
    Geppert, A., Dittrich, K.R.: Bundling: Towards a New Construction Paradigm for Persistent Systems, Networking and Information Systems Journal Vol. 1 No. 1, 1998.Google Scholar
  31. 31.
    Gravano, L., Garcia-Molina, H., Tomasic, A.: GlOSS: Text-Source Discovery over the Internet, to appear in ACM Transactions on Database Systems, 1999.Google Scholar
  32. 32.
    Gray, J.: Why Do Computers Stop And What Can Be Done About It?, in: Wedekind, H., Kratzer, K. (Editors), Office Automation, Teubner, 1985.Google Scholar
  33. 33.
    Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993.Google Scholar
  34. 34.
    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–68.CrossRefGoogle Scholar
  35. 35.
    Härder, T. (Editor): Special Issue on Workflow Management (in German), Informatik Forschung and Entwicklung Vol.12 No.2, 1997.Google Scholar
  36. 36.
    Härder, T.: Fault Tolerance Issues in Transactions Systems (in German), German Conference on Fault-tolerant Computing Systems, Springer, 1987.Google Scholar
  37. 37.
    Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming, Vol. 8, 1987, pp. 231–274.MathSciNetzbMATHCrossRefGoogle Scholar
  38. 38.
    Harel, D., Gery, E.: Executable Object Modeling with Statecharts, IEEE Computer Vol. 30 No. 7, July 1997, pp. 31–42.Google Scholar
  39. 39.
    Harel, D., Naamad, A.: The Statemate Semantics of Statecharts, ACM Transactions on Software Engineering Methodology, October 1996, pp. 293–333.Google Scholar
  40. 40.
    Haring, G., Lindemann, C., Reiser, M. (Editors), Report on the Workshop “System Performance Evaluation - Origins and Directions”, Schloss Dagstuhl, Germany, September 1997, http.//www.ani.univie.ac.at/dagstuh197/ Google Scholar
  41. 41.
    Heintze, N., Tygar, J.D., Wing, J., Wong, H.C.: Model Checking Electronic Commerce Protocols, 2nd Usenix Workshop on Electronic Commerce, 1996.Google Scholar
  42. 42.
    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.Google Scholar
  43. 43.
    Jablonski, S., Bussler, C.: Workflow Management - Modeling Concepts, Architecture, and Implementation, International Thomson Computer Press, 1996.Google Scholar
  44. 44.
    Kamath, M., Alonso, G., Giinthör, 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.Google Scholar
  45. 45.
    Klein, J.: Advanced Rule Driven Transaction Management, IEEE COMPCON, 1991.Google Scholar
  46. 46.
    Kossmann, D. (Editor): Bulletin of the IEEE Technical Committee on Data Engineering Vol.21 No. 3, September 1998, Special Issue on Interoperability.Google Scholar
  47. 47.
    Lamport, L.: Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering Vol. SE-3 No. 2, 1977, pp. 125–143.MathSciNetCrossRefGoogle Scholar
  48. 48.
    Leymann, F.: Transaction Support for Workflows (in German), in [35].Google Scholar
  49. 49.
    Lockemann, P.C., Kölsch, U., Koschel, A., Kramer, R., Nikolai, R., Wallrath, M., Walter, H.-D.: The Network as a Global Database: Challenges of InteroperabilityGoogle Scholar
  50. 50.
    Proactivity, Interactiveness, Legacy, International Conference on Very Large Data Bases (VLDB), Athens, Greece, 1997.Google Scholar
  51. 51.
    Lomet, D.: Application Recovery: Advances Towards an Elusive Goal, International Workshop on High Performance Transaction Systems (HPTS), Asilomar, 1997.Google Scholar
  52. 52.
    Lomet, D., Weikum, G.: Efficient and Transparent Application Recovery in Client-Server Information Systems, ACM SIGMOD International Conference on Management of Data, Seattle, 1998.Google Scholar
  53. 53.
    Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer, 1992.Google Scholar
  54. 54.
    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.Google Scholar
  55. 55.
    McMillan, K.L.: Symbolic Model Checking, Kluwer Academic Publishers, 1993.Google Scholar
  56. 56.
    Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design - OBDD Foundations and Applications, Springer, 1998.Google Scholar
  57. 57.
    Mohan, C.: Transaction Processing and Distributed Computing in the Internet Age, Tutorial Notes, International Conference on Extending Database Technology (EDBT), Valencia, Spain, 1998.Google Scholar
  58. 58.
    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.Google Scholar
  59. 59.
    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.Google Scholar
  60. 60.
    Muth, P., Wodtke, D., Weissenfels, J., Weikum, G., Kotz-Dittrich, A.: Enterprise-wide Workflow Management Based on State and Activity Charts, in [20].Google Scholar
  61. 61.
    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.Google Scholar
  62. 62.
    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.Google Scholar
  63. 63.
    Oberweis, A.: Modeling and Execution of Workflows with Petri Nets (in German), Teubner, 1996.Google Scholar
  64. 64.
    Olderog, E.-R.: Nets, Terms, and Formulas: Three Views of Concurrent Processes and their Relationship, Cambridge University Press, 1991.Google Scholar
  65. 65.
    Pinger, R.: Verification of Information Systems with Model Checking (in German), German Workshop on Foundations of Database Systems, Constance, Germany, 1998.Google Scholar
  66. 66.
    Raghavan, P.: Information Retrieval Algorithms: A Survey, Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, 1997.Google Scholar
  67. 67.
    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.Google Scholar
  68. 68.
    Reuter, A., Schneider, K., Schwenkreis, F.: ConTracts Revisited, in: Jajodia, S., Kerschberg, L. (Editors), Advanced Transaction Models and Architectures, Kluwer Academic Publishers, 1997.Google Scholar
  69. 69.
    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.Google Scholar
  70. 70.
    Rump, F.J.: Analysis of Event Process Chains Based on Reachability Graphs (in German), Technical Report, OFFIS, University of Oldenburg, Germany, 1997.Google Scholar
  71. 71.
    Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems, Kluwer Academic Publishers, 1996.Google Scholar
  72. 72.
    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.Google Scholar
  73. 73.
    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.Google Scholar
  74. 74.
    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.Google Scholar
  75. 75.
    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.Google Scholar
  76. 76.
    Silberschatz, A., Zdonik, S., et al.: Strategic Directions in Database Systems–Breaking Out of the Box, ACM Computing Surveys Vol. 28 No. 4, December 1996, pp. 764–778.CrossRefGoogle Scholar
  77. 77.
    Spelt, D., Balsters, H.: Automatic Verification of Transactions on an Object-Oriented Database, International Workshop on Database Programming Languages (DBPL), Estes Park, Colorado, 1997.Google Scholar
  78. 78.
    Spiro, P.: Ubiquitous, Self-tuning, Scalable Servers, ACM SIGMOD International Conference on Management of Data, Seattle, 1998.Google Scholar
  79. 79.
    US President’s Information Technology Advisory Committee Interim Report to the President, August 1998Google Scholar
  80. 80.
    Vossen, G., Becker, J. (Editors), Business Process Modeling and Workflow Management - Models, Methods, Tools (in German), International Thomson Publishing, 1995.Google Scholar
  81. 81.
    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.Google Scholar
  82. 82.
    Weikum, G., Hasse, C., Moenkeberg, A., Zabback, P.: The COMFORT Automatic Tuning Project, Information Systems Vol. 19 No. 5, 1994, pp. 381–432.CrossRefGoogle Scholar
  83. 83.
    Weikum, G., Wodtke, D., Kotz-Dittrich, A., Muth, P., Weissenfels, J.: Specification, Verification, and Distributed Execution of Workflows in MENTOR (in German), in [35].Google Scholar
  84. 84.
    Wodtke, D., Weikum, G.: A Formal Foundation For Distributed Workflow Execution Based on State Charts, International Conference on Database Theory (ICDT), Delphi, Greece, 1997.Google Scholar
  85. 85.
    Wolf, L.C., Griwodz, C., Steinmetz, R.: Multimedia Communication, Proceedings of the IEEE Vol. 85 No. 12, December 1997, pp. 1915–1933.CrossRefGoogle Scholar
  86. 86.
    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.Google Scholar
  87. 87.
    Zimmermann, J., Kudraß, T.: Advanced Database Systems: From Monoliths to Unbundled Components, German Workshop on Foundations of Database Systems, Friedrichbrunn, Germany, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Gerhard Weikum
    • 1
  1. 1.University of the SaarlandSaarbrückenGermany

Personalised recommendations