Table Of Content

Contents of Volume 41, 2002 Number One (G321-0144) Web services and business process management F. Leymann, D. Roller, and M.-T. Schmidt Software debugging, testing, and verification B. Hailpern and P. Santhanam Web services management approaches Metrics to evaluate vendor-developed software J. A. Farrell and H. Kreger based on test case execution results K. Bassin, S. Biyani, and P. Santhanam Securing Web services M. Hondo, N. Nagaratnam, and A. Nadalin Improving software testing via ODC: Three case studies A platform for business-to-business sell-side, M. Butcher, H. Munro, and T. Kratschmer private exchanges and marketplaces J. Sairamesh, R. Mohan, M. Kumar, L. Hasson, A metric for predicting the performance of an and C. Bender application under a growing workload E. J. Weyuker and A. Avritzer A framework-based approach to building private Testing z/OS: The premier operating system for trading exchanges IBM’s zSeries server S. Kumaran, Y. Huang, and J.-Y. Chung S. Loveland, G. Miller, R. Prewitt, and M. Shannon E-commerce interoperability with IBM’s WebSphere Commerce products The STCL test tools architecture D. M. Dias, S. L. Palmer, J. T. Rayfield, C. Williams, H. Sluiman, D. Pitcher, M. Slavescu, H. H. Shaikh, and T. K. Sreeram J. Sprately, M. Brodhun, J. McLean, C. Rankin, and K. Rosengren Applications of flexible pricing in business-to- business electronic commerce Using a model-based test generator to test for M. Bichler, J. Kalagnanam, K. Katircioglu, standard conformance A. J. King, R. D. Lawrence, H. S. Lee, G. Y. Lin, E. Farchi, A. Hartman, and S. S. Pinter and Y. Lu Multithreaded Java program test generation O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, Instance-level access control for business-to- and S. Ur business electronic commerce R. Goodwin, S. F. Goh, and F. Y. Wu The Software Testing Automation Framework 126 C. Rankin Number Three (G321-0146) FLAVERS: A finite state verification technique 140 Architectures for intelligent systems for software systems J. F. Sowa J. M. Cobleigh, L. A. Clarke, and L. J. Osterwell ABLE: A toolkit for building multiagent Number Two (G321-0145) autonomic systems J. P. Bigus, D. A. Schlosnagle, J. R. Pilgrim, Introduction to Web services architecture K. Gottschalk, S. Graham, H. Kreger, and J. Snell W. N. Mills III, and Y. Diao Developing XML Web services with WebSphere Intelligent probing: A cost-effective approach to Studio Application Developer fault diagnosis in computer networks C. Lau and A. Ryman M. Brodie, I. Rish, and S. Ma IBM SYSTEMS JOURNAL, VOL 41, NO 4, 2002 CONTENTS Using a constraint satisfaction formulation and Data integration through database federation solution techniques for random test program L. M. Haas, E. T. Lin, and M. A. Roth generation ‘ : E. Bin, R. Emek, G. Shurek, and A. Ziv XQuery: An XML query language 597 D. Chamberlin Using fuzzy control to maximize profits in : ; wae service level management XTABLES: Bridging relational technology and 616 Y. Diao, J. L. Hellerstein, and S. Parekh XML ae J. E. Funderburk, G. Kiernan, Automated generation of model cases for help- J. Shanmugasundaram, E. Shekita, desk applications and C. Wei S. M. Weiss and C. V. Apte : ‘ ee : ' XML programming with SQL/XML and A decision-tree-based symbolic rule induction XQuery svstem for text categorization J. E. Funderburk, S. Malaika, and B. Reinwald D.D EE . Jo( hnso¢n , F.. J. Oless, T.a eZsh ang,ng , and TT.. GoGoeett z a . aca‘ 666 S. Malaika, C. J. Nelin, R. Qu, B. Reinwald, A probabilistic estimation framework for and D. C. Wolfson predictive modeling analytics C. V. Apte, R. Natarajan, E. P. D. Pednault, and F. A. BTsi pu mBrainnagggiinenggm entotgto g etshyesrt emcso:n teCnhta llaenndg edsa taa nd : bed ee ive opportunities Cross training and its application to skill mining ‘~” o— 5 — oe ies D. A. Oblinger, M. Reid, M. Brodie, and NG, EFS OE a Ee R. de Salvo Braz The integration of business intelligence and knowledge management Predictive algorithms in the management of W. F. Cody, J. T. Kreulen, V. Krishna, and computer systems W. S. Spangler R. Vilalta, C. V. Apte, J. L. Hellerstein, S. Ma, and S. M. Weiss Relational extensions for OLAP : ; N. Colossi, W. Malloy, and B. Reinwald Discovering actionable patterns in event data J. L. Hellerstein, S. Ma, and C.-S. Perng Using flows in information integration ae: ; ; F. Leymann and D. Roller Machine learning in a multimedia document retrieval framework Extending the concept of transaction M. P. Perrone, G. F. Russell, and A. Ziq compensation M. Chessell, C. Griffin, D. Vines, M. Butler, Applying machine learning to automated C. Ferreira, and P. Henderson information graphics generation M. X. Zhou, S. Ma, and Y. Feng Technical forum Selling interrupt rights: A way to control Technical forum 5 unwanted e-mail and telephone calls Machine intelligence and the Turing Test S. E. Fahlman I. Brackenbury and Y. Ravin Note—Numbers in parentheses after issue numbers denote the An architecture of diversity for commonsense issue order numbers. reasoning J. McCarthy, M. Minsky, A. Sloman, L. Gong, T. Lau, L. Morgenstern, E. T. Mueller, D. Riecken, M. Singh, and P. Singh Number Four (G321-0147) Information integration: A research agenda A. D. Jhingran, N. Mattos, and H. Pirahesh Information integration: A new generation of information technology M. A. Roth, D. C. Wolfson, J. C. Kleewein, and C. J. Nelin 768 CONTENTS IBM SYSTEMS JOURNAL, VOL 41, NO 4, 2002