A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
We formally verify consistency aspects of the rule-based expert system of IBM's System Automation software for IBM's e-server zSeries. ... In our experiments we could reveal some inconsistencies and, after correcting them, we successfully verified a non-looping property for a part of the expert system. 1 For more information on SA see ... In our paper, we investigate the rule-based expert system of IBM's System Automation (SA) solution for OS/390. 1 This system is used by major companies of practically all industrial sectors to automate ...doi:10.1109/apaqs.2001.990042 dblp:conf/apaqs/SinzKL01 fatcat:dwrbyrciunaw3pdpfh6ga6bmlu
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. ... Our main goal is the detection of infinite computations (or loops) in the rule-based central control instance of SA, called Automation Manager. ... In our paper, we investigate the rule-based expert system of IBM's System Automation (SA) solution for OS/390. In our case, the rules are of a when-then form. ...doi:10.1016/s0950-5849(02)00120-9 fatcat:4h4ipan5pbduljz7dftvqgx4ay
IBM Systems Journal
Kiichlin, “Towards a Verifica- tion of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager,” Proceedings of the 2nd Asia- Pacific Conference on Quality Software (APAQS 2001), Hong ... especially with respect to the expression of axiomatic knowledge, higher reusability, easier ex- tensibility of the system, and the possibility of for- mal verification of the system. ...
, and a large industrial-strength C compiler, GCC), and (3) a description of approaches for applying DDC in various real-world scenarios. ... of the first compilation. ... . • Newline NEL (#x85): IBM System/390 operating-system (OS/390) [Malaika2001].Similarly, not all computer systems encode text characters the same way. ...arXiv:1004.5534v1 fatcat:s7p77pfwonfjpbq3cjscwp6k6q