Verification framework and algorithms for integrating information distribution systems

Information and Software Technology

Volumn 48, Issue 9, 2006, Pages 876-889

  Hwang, Yih Feng ^a   Rine, David C ^b  

^a MCI Inc   (United States)

^b Krasnow Institute for Advanced Study   (United States)

Author keywords

Faults detection; Information distribution systems; Requirement verification; Software requirement specifications; Transition Directed Graph

Indexed keywords

INDUSTRIAL ECONOMICS; INFORMATION USE; MERGERS AND ACQUISITIONS; REQUIREMENTS ENGINEERING; STRATEGIC PLANNING;

FAULTS DETECTION; INFORMATION DISTRIBUTION SYSTEMS; REQUIREMENT VERIFICATION; SOFTWARE REQUIREMENT SPECIFICATIONS; TRANSITION DIRECTED GRAPH;

INFORMATION DISSEMINATION;

EID: 33746223116     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2005.12.006     Document Type: Article

References (61)

1. Agarwal R., and Tanniru M. A petri-net based approach for verifying the integrity of production systems. International Journal of Man-Machine Studies 36 3 (1992) 447-468
2. Berztiss A. Domain analysis for business software systems. Information Systems 24 7 (1999) 555-568
3. Booch G., Rumbaugh J., and Jacobson I. The Unified Modeling Language User Guide (2005), Addison-Wesley, Reading, MA
4. R. Brown, R. Stan, Systems integration using CASE tool development software, in: Proceedings of the IEEE 1996 National Aerospace and Electronics Conference, vol. 2, 1996, pp. 818-824.
5. S. Chamberlain, The Information Distribution System: IDS-An Overview, Technical Report BRL-TR-3114, 1990.
6. Chittister C., and Haimes Y. System integration via software risk management. IEEE Transactions on Systems, Man, and Cybernetics 26 5 (1996) 521-532
7. D. Clark, J. Krumm, Broker: a system integration approach, in: Proceedings of the Second International Conference on Systems Integration, 1992, pp. 162-170.
8. Cragun B., and Steudel H. A decision-table-base processor for checking completeness and consistency in rule-based expert systems. International Journal of Man-Machine Studies 26 5 (1987) 633-648
9. R. Elfwing, U. Paulsson, L. Lundberg, Performance of SOAP in Web Service environment compared to CORBA, IEEE Ninth Software Engineering Conference, 2002, pp. 84-93.
10. W. Evanco, Prediction models for software fault correction effort, IEEE Fifth European Conference on Software Maintenance and Reengineering, 2001, pp. 114-120.
11. Fan W., Lu H., Madnick S., and Cheung D. Discovering and reconciling value conflicts for numerical data integration. Information Systems 26 8 (2001) 635-656
12. Ganesh J., Padmabhun S., and Moitra D. Web services and multi-channel integration: a proposed framework. IEEE International Conference on Web Services (2004) 70-77
13. Garey M., and Johnson D. Computers and Intractability: A Guide to the Theory of NP-completeness (1979), W.H. Freeman, San Francisco, CA
14. A. Ginsberg, A new approach to checking knowledge bases for inconsistency and redundancy, The Third Annual Expert Systems in Government Conference, 1987, pp. 102-111.
15. Giordano A., and Saitta L. Modeling production rules by means of predicate transaction networks. Information Science 35 (1985) 1-41
16. Green P., and Rosemann M. Integrated process modeling: an ontological evaluation. Information Systems 25 2 (2000) 73-87
17. Gries D. The Science of Programming (1981), Springer, Berlin
18. Haime Y. Hierarchical holographic modeling. IEEE Transactions on Systems, Man, and Cybernetics SMC-11 9 (1981) 606-618
19. T. Hasegawa, T. Kato, K. Yoshiizumi, T. Miki, K. Hokamura, K. Sawada, Protocol architecture of high speed TCP/IP service over international ATM network, ATM Workshop Proceedings, 1998, pp. 159-168.
20. Huang P., Kar P., and Fandrich C. Using modeling and simulation for rapid prototyping and system integration. IEEE International Conference on Systems, Man, and Cybernetics (1997) 2812-2817
21. Y. Hwang, Detecting faults in chained-inference rules in information distribution systems, PhD Thesis, Department of Computer Science, George Mason University, Fairfax, VA, 1997.
22. Y. Hwang, D. Rine, Algorithms to detect chained-inference faults in information distribution systems, Symposium on Applied Computing, 2001, pp. 679-683.
23. Hwang G., Tseng J., and Huang Y. I-WAP: an intelligent WAP site management system. IEEE Transactions on Mobile Computing 1 2 (2002) 82-95
24. M. Jafar, A. Bahill, Validator: a tool for verifying and validating personal computer based expert systems, in: D. Brown, C. White (Eds.), Operations Research and Artificial Intelligence: The Integration of Problem Solving Strategies, Boston, 1990, pp. 373-385.
25. Johnnesson P., and Perjons E. Design principles for process modelling in enterprise application integration. Information Systems 26 3 (2001) 165-184
26. Jones J. Intelligent tutoring systems: the first component of integrated information. IEEE International Conference on Systems, Man and Cybernetics 1 (1992) 531-536
27. Kerschberg L., Baum R., Waisanen A., Huang I., and Yoon J. Managing faults in telecommunication networks: a taxonomy to knowledge-based approaches. IEEE International Conference on Systems, Man, and Cybernetics, Decision Aiding for Complex Systems 2 (1991) 779-784
28. B. Knapp, C3I information flow models: integrating and interfaces, International Conference and Workshop on Engineering of Computer-based Systems, 1997, pp. 136-138.
29. D. Kuhn, On the effective use of software standards in systems integration, in: Proceedings of the First International Conference on Systems Integration, 1990, pp. 455-461.
30. C. Landauer, Empirical methods in expert system validation, in: Proceedings of the Workshop on Knowledge Based Systems Verification, Validation, and Testing, 1990.
31. Lanning D., and Khoshgoftaar T. Fault severity in models of fault-correction activity. IEEE Transactions on Reliability 44 4 (1995) 666-671
32. Liu N., and Dillon T. An approach towards the verification of expert systems using numerical petri nets. International Journal of Intelligent Systems 6 (1991) 255-276
33. Looney C. Fuzzy Petri nets for rule-based decision making. IEEE Transactions on Systems, Man, and Cybernetics 18 1 (1988) 178-183
34. P. Miller, S. Blumenfrucht, J. Rose, M. Rothschild, G. Weltin, H. Swett, N. Mars, Expert system knowledge acquisition for domains of medical workup: an augmented transition network model, in: Proceedings of the 10th Annual Symposium on Computer Applications in Medical Care, 1986, pp. 30-35.
35. Murata T., and Matsuyama K. Inconsistency check of a set of clauses using Petri net reductions. Journal of the Franklin Institute 325 1 (1988) 73-93
36. T. Murray, M. Tanniru, Control of inconsistency and redundancy in PROLOG-type knowledge bases, The 20th Hawaii International Conference on System Sciences, 1987.
37. Myers G. Software Reliability (1976), Wiley, London
38. Nazareth D., and Kennedy M. Verification of rule-based knowledge using directed graphs. Knowledge Acquisition 3 (1991) 339-360
39. T. Nguyen, Verifying consistency of production systems, in: Proceedings of the Third Conference on Artificial Intelligence Applications, IEEE Computer Society, 1987, pp. 4-8.
40. T. Nguyen, W. Perkins, T. Laffey, D. Pecora, Checking an expert systems knowledge base for consistency and completeness, vol. 1, 1985, pp. 375-378.
41. Nguyen T., Perkins W., Laffey T., and Pecora D. Checking a knowledge base for consistency and completeness. AI Magazine 8 2 (1987) 69-75
42. Patriotta G. On studying organizational knowledge. Journal of Knowledge Management Research and Practice 2 1 (2004) 3-12
43. M. Pavlic, A. Kaic, Z. Dobrovic, S. Candrlic, J. Ostojic, Design phase of information systems integration process, Proceedings of the 25th IEEE International Conference on Information Technology Interfaces, 2003, pp. 143-148.
44. Pensick J., and Mulholland J. A methodology for real time fault detection, isolation, and correction. IEEE Aerospace and Electronic Systems Magazine 8 7 (1993) 11-23
45. Pich M., Loch C., and De Meyer A. On uncertainty, ambiguity, and complexity in project management. Management Science 48 8 (2002) 1008-1023
46. N. Pomroy, G. McConnel, The application of modeling to assist C3I system integration, Third International Conference on Command, Control, Communications and Management Information Systems, 1989, pp. 139-147.
47. A. Preece, Verification of rule-based expert systems in wide domains, in: N. Shadbolt (Ed.), Research and Development in Expert Systems VI, Proceedings of Expert Systems, vol. 89, 1989, pp. 66-77.
48. Pressman R. Software Engineering: A Practitioner's Approach. sixth ed. (2005), McGraw-Hill, New York
49. C. Ramamoorthy, Distributed techniques in software systems integration, in: Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, 1995, pp. 252-256.
50. N. Schneidewind, An integrated failure detection and fault correction model, in: Proceedings of the IEEE International Conference on Software Maintenance (ICSM'02), 2002, pp. 238-241.
51. N. Schneidewind, Modelling the fault correction process, in: Proceedings of the IEEE 12th International Symposium on Software Reliability Engineering, ISSRE 2001, pp. 185-190.
52. Schorling S., and Rine D. A methodology for designing toolkits for specification level verification of interval-constrained information systems requirements. Information and Software Technology 44 2, 15 (2002) 77-90
53. D. Schultz, A case study in system integration using the build approach, in: ACM Proceedings of the 1979 Annual Conference, 1979, pp. 143-151.
54. Sommerville I. Software Engineering (1996), Addison-Wesley, Reading, MA
55. R. Stachowitz, C. Chang, T. Stock, J. Combs, Building validation tools for knowledge-based systems, in: Proceedings of the First Annual Workshop on Space Operations Automation and Robotics, Houston, Texas, 1987, pp. 209-216.
56. Suwa M., Scott A., and Shortliffe E. An approach to verifying completeness and consistency in a rule-based expert system. AI Magazine (1982) 16-21
57. Suwa M., Scott A., and Shortliffe E. Completeness and consistency in a rule-based system,. In: Buchanan B., and Shortliffe E. (Eds). Rule-Based Expert Systems: The MYCIN Experiments of The Standard Heuristic Programming Project (1984), Addison-Wesley, Reading, MA 159-170
58. Uraikul V., Chan C.W., and Tontiwachwuthikul P. An architectural framework for a distributed process control information system. IEEE Conference on Electrical and Computer Engineering 3 (2004) 1375-1378
59. Wang D., Hao R., and Lee D. Fault detection in rule-based software systems. Journal of Information and Software Technology 45 12 (2003) 865-871
60. Wieringa R., and Dubois E. Integrating semi-formal and formal software specification techniques. Information Systems 23 3-4 (1998) 159-178
61. M. Zakaria, B. Traverson, Protocol comparison of distributed object platforms, in: Proceedings of the 13th Hawaii International Conference on System Sciences, vol. 1, 1997, pp. 159-169.