Skip to main content
SpringerLink
Log in

Towards Guaranteed Quality and Dependability of Information Services

  • Conference paper
Book cover Datenbanksysteme in Büro, Technik und Wissenschaft

Part of the book series: Informatik aktuell ((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.

If I had had more time, I could have written you a shorter letter. (Blaise Pascal)

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Alpern, B., Schneider, F.B.: Recognizing Safety and Liveness, Distributed Computing Vol. 2 No. 3, 1987, pp. 117–126.

    Article  MATH  Google Scholar 

  4. Apers, P.M.G., Blanken, H.M., Houtsma, M.A.W. (Editors): Multimedia Databases in Perspective, Springer, 1997.

    Google Scholar 

  5. The Asilomar Report on Database Research, ACM SIGMOD Record Vol. 27 No. 4, December 1998.

    Google Scholar 

  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. 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. 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. Bernstein, P.A., Newcomer, E.: Principles of Transaction Processing for the Systems Professional, Morgan Kaufmann, 1997.

    Google Scholar 

  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. Chaudhuri, S., Dayal, U.: An Overview of Data Warehousing and OLAP Technology, ACM SIGMOD Record Vol. 26 No. 1, 1997, pp. 65–74.

    Article  Google Scholar 

  12. Chen, Q., Dayal, U.: Failure Handling for Transaction Hierarchies, International Conference on Data Engineering (ICDE), Birmingham, UK, 1997.

    Google Scholar 

  13. Chomicki, J., Saake, G.: Logics for Databases and Information Systems, Kluwer Academic Publishers, 1998.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  MATH  Google Scholar 

  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.

    Article  Google Scholar 

  17. Communications of the ACM Vol.40 No.2, February 1997, Special Anniversary Issue on “The Next 50 Years”.

    Google Scholar 

  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. 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. 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. Dogac, A. (Editor): Special Section on Electronic Commerce, ACM SIGMOD Record Vol.27 No.4, December 1998.

    Google Scholar 

  22. Ehrich, H.-D., Caleiro, C., Sernadas, A., Denker, G.: Logics for Specifying Concurrent Information Systems, in [13].

    Google Scholar 

  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. Faloutsos, C.: Searching Multimedia Databases By Content, Kluwer Academic Publishers, 1996.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993.

    Google Scholar 

  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.

    Article  Google Scholar 

  35. Härder, T. (Editor): Special Issue on Workflow Management (in German), Informatik Forschung and Entwicklung Vol.12 No.2, 1997.

    Google Scholar 

  36. Härder, T.: Fault Tolerance Issues in Transactions Systems (in German), German Conference on Fault-tolerant Computing Systems, Springer, 1987.

    Google Scholar 

  37. Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming, Vol. 8, 1987, pp. 231–274.

    Article  MathSciNet  MATH  Google Scholar 

  38. Harel, D., Gery, E.: Executable Object Modeling with Statecharts, IEEE Computer Vol. 30 No. 7, July 1997, pp. 31–42.

    Google Scholar 

  39. Harel, D., Naamad, A.: The Statemate Semantics of Statecharts, ACM Transactions on Software Engineering Methodology, October 1996, pp. 293–333.

    Google Scholar 

  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. 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. 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. Jablonski, S., Bussler, C.: Workflow Management - Modeling Concepts, Architecture, and Implementation, International Thomson Computer Press, 1996.

    Google Scholar 

  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. Klein, J.: Advanced Rule Driven Transaction Management, IEEE COMPCON, 1991.

    Google Scholar 

  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. Lamport, L.: Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering Vol. SE-3 No. 2, 1977, pp. 125–143.

    Article  MathSciNet  Google Scholar 

  48. Leymann, F.: Transaction Support for Workflows (in German), in [35].

    Google Scholar 

  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 Interoperability

    Google Scholar 

  50. Proactivity, Interactiveness, Legacy, International Conference on Very Large Data Bases (VLDB), Athens, Greece, 1997.

    Google Scholar 

  51. Lomet, D.: Application Recovery: Advances Towards an Elusive Goal, International Workshop on High Performance Transaction Systems (HPTS), Asilomar, 1997.

    Google Scholar 

  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. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer, 1992.

    Google Scholar 

  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. McMillan, K.L.: Symbolic Model Checking, Kluwer Academic Publishers, 1993.

    Google Scholar 

  56. Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design - OBDD Foundations and Applications, Springer, 1998.

    Google Scholar 

  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. 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. 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. 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. 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. 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. Oberweis, A.: Modeling and Execution of Workflows with Petri Nets (in German), Teubner, 1996.

    Google Scholar 

  64. Olderog, E.-R.: Nets, Terms, and Formulas: Three Views of Concurrent Processes and their Relationship, Cambridge University Press, 1991.

    Google Scholar 

  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. Raghavan, P.: Information Retrieval Algorithms: A Survey, Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, 1997.

    Google Scholar 

  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. 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. 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. 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. Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems, Kluwer Academic Publishers, 1996.

    Google Scholar 

  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. 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. 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. 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. 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.

    Article  Google Scholar 

  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. Spiro, P.: Ubiquitous, Self-tuning, Scalable Servers, ACM SIGMOD International Conference on Management of Data, Seattle, 1998.

    Google Scholar 

  79. US President’s Information Technology Advisory Committee Interim Report to the President, August 1998

    Google Scholar 

  80. Vossen, G., Becker, J. (Editors), Business Process Modeling and Workflow Management - Models, Methods, Tools (in German), International Thomson Publishing, 1995.

    Google Scholar 

  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. Weikum, G., Hasse, C., Moenkeberg, A., Zabback, P.: The COMFORT Automatic Tuning Project, Information Systems Vol. 19 No. 5, 1994, pp. 381–432.

    Article  Google Scholar 

  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. 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. Wolf, L.C., Griwodz, C., Steinmetz, R.: Multimedia Communication, Proceedings of the IEEE Vol. 85 No. 12, December 1997, pp. 1915–1933.

    Article  Google Scholar 

  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. Zimmermann, J., Kudraß, T.: Advanced Database Systems: From Monoliths to Unbundled Components, German Workshop on Foundations of Database Systems, Friedrichbrunn, Germany, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of the Saarland, Saarbrücken, Germany

    Gerhard Weikum

Authors
  1. Gerhard Weikum
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, TU Darmstadt, Fachgebiet Datenverwaltungssysteme, Wilhelminenstrasse 7, D-64283, Darmstadt, Deutschland

    Alejandro P. Buchmann

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Weikum, G. (1999). Towards Guaranteed Quality and Dependability of Information Services. In: Buchmann, A.P. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60119-4_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-60119-4_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65606-7

  • Online ISBN: 978-3-642-60119-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation