
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Albert Mo Kim Cheng, Seiya Fujii, "SelfStabilizing RealTime OPS5 Production Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 12, pp. 15431554, December, 2004.  
BibTex  x  
@article{ 10.1109/TKDE.2004.95, author = {Albert Mo Kim Cheng and Seiya Fujii}, title = {SelfStabilizing RealTime OPS5 Production Systems}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {16}, number = {12}, issn = {10414347}, year = {2004}, pages = {15431554}, doi = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2004.95}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  SelfStabilizing RealTime OPS5 Production Systems IS  12 SN  10414347 SP1543 EP1554 EPD  15431554 A1  Albert Mo Kim Cheng, A1  Seiya Fujii, PY  2004 KW  Rulebased systems KW  knowledgebased systems KW  expert systems KW  production systems KW  realtime KW  OPS5 KW  selfstabilization KW  fault tolerance. VL  16 JA  IEEE Transactions on Knowledge and Data Engineering ER   
[1] Y. Afek and G.M. Brown, “SelfStabilization of the AlternatingBit Protocol,” Proc. Eighth Symp. Reliable Distributed Systems, Oct. 1989.
[2] S. Aggarwal and S. Kutten, “Time Optimal SelfStabilizing Spanning Tree Algorithm,” Proc. 13th Conf. Foundations of Software Technology and Theoretical Computer Science (FSTTCS '93), pp. 400410, 1993.
[3] A. Aiken, J. Widom, and J.M. Hellerstein, “Behavior of Database Production Rules: Termination, Confluence and Observable Determinism,” Proc. Int'l Conf. Management of Data (SIGMOD), 1992.
[4] A. Arora, S. Dolev, and M.G. Gouda, “Maintaining Digital Clocks in Step,” Parallel Processing Letters, vol. 1, pp. 1118, 1991.
[5] A. Arora and M.G. Gouda, “Closure and Convergence: A Foundation of FaultTolerant Computing,” IEEE Trans. Software Eng., vol. 19, pp. 10151027, 1993.
[6] A. Arora and M.G. Gouda, “Distributed Reset,” IEEE Trans. Computers, vol. 43, pp. 10261038, 1994.
[7] A. Arora, S. Kulkarni, and M. Demirbas, “Resettable Vector Clocks,” Proc. 19th Ann. ACM Symp. Principles of Distributed Computing, pp. 269278, 2000.
[8] A. Arora and M. Nesterenko, “Unifying Stabilization and Termination in MessagePassing Systems,” Proc. the 21st IEEE Int'l Conf. Distributed Computing Systems (ICDCS '01), pp. 99106, 2001.
[9] B. Awerbuch, S. Kutten, Y. Mansour, B. PattShamir, and G. Varghese, “Time Optimal SelfStabilizing Synchronization,” Proc. 25th Ann. ACM Symp. Theory of Computing (STOC93), pp. 652661, 1993.
[10] B. Awerbuch and R. Ostrovsky, “MemoryEfficient and SelfStabilizing Network Reset,” Proc. 13th Ann. ACM Symp. Principles of Distributed Computing (PODC '94), pp. 254263, 1994.
[11] B. Awerbuch, B. PattShamir, and G. Varghese, “Bounding the Unbounded (Distributed Computing Protocols),” Proc. IEEE Conf. Computer Comm. (INFOCOM '94), pp. 776783, 1994.
[12] F. Barachini, “Frontiers in RunTime Prediction for the ProductionSystem Paradigm,” AI Magazine, vol. 15, no. 3, pp. 4761, Fall 1994.
[13] E. Baralis, S. Ceri, and S. Paraboschi, “CompileTime and Runtime Analysis of Active Behaviors,” IEEE Trans. Software Eng., vol. 10, no. 3, pp. 353370, May/June 1998.
[14] G.M. Brown, M.G. Gouda, and C.L. Wu, “Token Systems that SelfStabilize,” IEEE Trans. Computers, vol. 38, no. 6, pp. 845852, June 1989.
[15] L. Brownston, R. Farrell, E. Kant, and N. Martin, Programming Expert Systems in OPS5. Reading, Mass.: AddisonWesley, 1986.
[16] J.E. Burns and J. Pachl, “Uniform SelfStabilizing Rings,” ACM Trans. on Programming Languages and Systems, vol. 11, no. 2, pp. 330344, Apr. 1989.
[17] S. Ceri and J. Widom, “Deriving Production Rules for Constraint Maintenance,” Proc. Int'l Conf. on Very Large Data Bases (VLDB), Aug. 1990.
[18] S. Chandrasekar and P.K. Srimani, “A SelfStabilizing Algorithm to Synchronize Digital Clocks in a Distributed System,” Computers and Electrical Eng., vol. 20, no. 6, pp. 439444, 1994.
[19] J. Chen and A.M.K. Cheng, “Predicting the Response Time of OPS5Style Production Systems,” Proc. 11th IEEE Conf. AI Applications, Feb. 1995.
[20] A.M.K. Cheng, “ Timing Analysis of SelfStabilizing Programs,” technical report, Dept. of Computer Sciences, Univ. of Texas at Austin, 1988.
[21] A.M.K. Cheng, “Analysis and Synthesis of RealTime RuleBased Decision Systems,” PhD dissertation, Dept. of Computer Sciences, Univ. of Texas at Austin, 1990.
[22] A.M.K. Cheng, “SelfStabilizing RealTime RuleBased Systems,” Proc. 11th Symp. Reliable Distributed Systems, pp. 172179, 1992.
[23] A.M.K. Cheng and J.R. Chen, “Response Time Analysis of OPS5 Production Systems,” IEEE Trans. Knowledge and Data Eng., vol. 12, no. 3, pp. 391409, May/June 2000.
[24] A.M.K. Cheng and H. Tsai, “A GraphBased Approach for Timing Analysis and Refinement of OPS5 KnowledgeBased Systems,” IEEE Trans. Knowledge and Data Eng., vol. 16, no. 2, pp. 271288, Feb. 2004.
[25] J.R. Chen and A.M.K. Cheng, “Response Time Analysis of EQL RealTime RuleBased Systems,” IEEE Trans. Knowledge and Data Eng., vol. 7, no. 1, pp. 2643, Feb. 1995.
[26] A.M.K. Cheng, J.C. Browne, A.K. Mok, and R.H. Wang, “Analysis of RealTime RuleBased Systems with Behavioral Constraint Assertions Specified in Estella,” IEEE Trans. Software Eng., vol 19, no. 9, pp. 863885, Sept. 1993.
[27] A.M.K. Cheng and S. Fujii, “BoundedResponseTime SelfStabilizing OPS5 Production Systems,” Proc. 14th Int'l Parallel and Distributed Processing Symp. (IPDPS 2000), pp. 399404, 2000.
[28] A.M.K. Cheng and C.K. Wang, “Fast Static Analysis of RealTime RuleBased Systems to Verify Their Fixed Point Convergence,” Proc. Fifth IEEE Conf. Computer Assurance, pp. 4656, June 1990.
[29] G. Ciardo and C. Lindemann, “Comments on `Analysis of SelfStabilizing Clock Synchronization by Means of Stochastic Petri Nets',” 1995.
[30] A. Ciuffoletti, “Using Simple Diffusion to Synchronize Clocks in a Distributed System,” Proc. IEEE 14th Int'l Conf. Distributed Computing Systems, pp. 484491, 1994.
[31] A. Ciuffoletti, “SelfStabilizing Clock Synchronization in a Hierarchical Network,” Proc. Fourth Workshop SelfStabilizing Systems (published in association with the 19th IEEE Int'l Conf. Distributed Computing Systems (ICDCS '99)), pp. 8693, 1999.
[32] T. Cooper and N. Wogrin, RuleBased Programming with OPS5. San Mateo, Calif.: Morgan Kaufmann, 1988.
[33] E.W. Dijkstra, “EWD391 SelfStabilization in Spite of Distributed Control,” Selected Writings on Computing: A Personal Perspective, pp. 41–46, Berlin: SpringerVerlag, 1992.
[34] E.W. Dijkstra, “Self Stabilizing Systems in Spite of Distributed Control,” Comm. ACM, vol. 17, pp. 643644, 1974.
[35] S. Dolev, “Optimal Time SelfStabilization in Uniform Dynamic Systems,” Proc. Sixth IASTED Int'l Conf. Parallel and Distributed Computing and Systems, pp. 2528, 1994.
[36] S. Dolev, A. Israeli, and S. Moran, “SelfStabilization of Dynamic Systems Assuming Only Read/Write Atomicity,” Distributed Computing, vol. 7, pp. 316, 1993.
[37] S. Dolev, J. L. Welch, “WaitFree Clock Synchronization,” Proc. 12th Ann. ACM Symp. Principles of Distributed Computing, pp. 97107, 1993.
[38] S. Dolev and J.L. Welch, “SelfStabilizing Clock Synchronization in the Presence of Byzantine Faults,” Proc. Second Workshop SelfStabilizing Systems, pp. 9.19.12, 1995.
[39] S. Dolev, “Possible and Impossible SelfStabilizing Digital Clock Synchronization in General Graphs,” J. RealTime Systems, vol. 12, no. 1, pp. 95107, 1997.
[40] S. Dolev and T. Herman, “Superstabilizing Protocols for Dynamic Distributed Systems,” Chicago J. Theoretical Computer Science, vol. 3, no. 4, 1997.
[41] M. Flatebo and A.K. Datta, “TwoState SelfStabilizing Algorithms for Token Rings,” IEEE Trans. Software Eng., vol. 20, pp. 500504, 1994.
[42] M. Flatebo, A.K. Datta, and A.A. Schoone, “SelfStabilizing Multitoken Rings,” Distributed Computing, vol. 8, pp. 133142, 1994.
[43] M. Flatebo, A.K. Datta, and B. Bourgon, “SelfStabilizing Load Balancing Algorithms,” Proc. IEEE 13th Ann. Int'l Pheonix Conf. Computers and Comm., 1994.
[44] C.L. Forgy, “OPS5 Users Manual,” Technical Report CMUCS81135, Dept. of Computer Science, CarnegieMellon Univ., 1981.
[45] C.L. Forgy, “Rete: A Fast Algorithm for Many Pattern/Many Object Pattern Match Problem,” Artificial Intelligence, vol. 19, 1982.
[46] C.L. Forgy, “The OPS Languages: An Historical Overview,” PC AI, Sept. 1995.
[47] S. Ghosh, “Binary SelfStabilization in Distributed Systems,” Information Processing Letters, vol. 40, pp. 153159, Nov. 1991.
[48] S. Ghosh, “Agents, Distributed Algorithms, and Stabilization,” Proc. Computing and Combinatorics (COCOON 2000), pp. 242251, 2000.
[49] J. Giarratano and G. Riley, Expert Systems: Principles and Programming. PWS Pub, 1994.
[50] M.G. Gouda and N Multari, “Stabilizing Communication Protocols,” IEEE Trans. Computers, vol. 40, pp. 448458, 1991.
[51] A. Gupta, “Parallelism in Production Systems,” PhD thesis, CarnegieMellon Univ., 1985.
[52] J.J. Helly, “Distributed Expert System for Space Shuttle Flight Control,” PhD dissertation, Dept. of Computer Science, Univ. of California at Los Angeles, 1984.
[53] T. Herman, “A Comprehensive Bibliography on SelfStabilization,” Chicago J. Theoretical Computer Science, working paper, 2002.
[54] T. Ishida, “Parallel Rule Firing in Production Systems,” IEEE Trans. Knowledge and Data Eng., vol. 3, no. 1, Mar. 1991.
[55] J.A. Kang and A.M.K. Cheng, “Reducing Matching Time for OPS5 Production Systems,” Proc. COMPSAC, pp. 429434, 2001.
[56] M.H. Karaata and K.A. Saleh, “A Distributed SelfStabilizing Algorithm for Finding Maximum Matching,” Computer Systems Science and Eng., vol. 15, no. 3, pp. 175180, 2000.
[57] M.H. Karaata and F. AlAnzi, “A Dynamic SelfStabilizing Algorithm for Finding Strongly Connected Components,” Proc. 18th Ann. ACM Symp. Principles of Distributed Computing (PODC '99), p. 276, 1999.
[58] S. Katz and K. Perry, “SelfStabilizing Extensions for MessagePassing Systems,” Proc. Ninth Ann. Symp. Principles of Distributed Computing, pp. 91101, 1990.
[59] P.Y. Lee and A.M.K. Cheng, “HAL: A Faster Match Algorithm,” IEEE Trans. Knowledge and Data Eng., vol. 14, no. 5, Sept./Oct. 2002.
[60] M. Lin, “Timing Analysis of PL Programs,” Proc. 24th IFAC/IFIP Workshop RealTime Programming & Third Int'l Workshop Active & RealTime Database Systems, MayJune 1999.
[61] C.A. Marsh, “The ISA Expert System: A Prototype System for Failure Diagnosis on the Space Station,” MITRE Report, The MITRE Corp., Houston, Texas, 1988.
[62] D.P. Miranker, “TREAT: A New and Efficient Algorithm for AI Production Systems,” PhD thesis, Columbia Univ., 1987.
[63] F. Petit and V. Villain, “A SpaceEfficient and SelfStabilizing DepthFirst Token Circulation Protocol for Asynchronous MessagePassing Systems,” Proc. EuroPar '97 Parallel Processing, pp. 476479, 1997.
[64] G.W. Rosenwald and C.C. Liu, “RuleBased System Validation through Automatic Identification of Equivalence Classes,” IEEE Trans. on Knowledge and Data Eng., vol. 9, no. 1, pp. 2431, Jan./Feb. 1997.
[65] J.G. Schmolze, “Detecting Redundant Production Rules,” Proc. 14th Nat'l Conf. Artificial Intelligence, 1997.
[66] H.Y. Tsai and A.M.K. Cheng, “Termination Analysis of OPS5 Expert Systems,” Proc. 12th Nat'l Conf. Artificial Intelligence (AAAI), pp. 193198, Aug. 1994.
[67] R. Washington, “Autonomous Rovers for Mars Exploration,” Proc. IEEE Aerospace Conf., 1999.
[68] R. Washington, “OnBoard RealTime State and Fault Identification for Rovers,” Proc. IEEE Int'l Conf. Robotics and Automation, 2000.
[69] B. Zupan and A.M.K. Cheng, “Optimization of RuleBased Systems Using State Space Graphs,” IEEE Trans. Knowledge and Data Eng., vol. 10, no. 2, pp. 238254, Mar./Apr. 1998.