{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:35:55Z","timestamp":1760819755534},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,3,1]],"date-time":"1993-03-01T00:00:00Z","timestamp":730944000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1993,3]]},"DOI":"10.1007\/bf01088698","type":"journal-article","created":{"date-parts":[[2005,2,7]],"date-time":"2005-02-07T07:56:06Z","timestamp":1107762966000},"page":"89-128","source":"Crossref","is-referenced-by-count":10,"title":["Timing analysis of MRL: A real-time rule-based system"],"prefix":"10.1007","volume":"5","author":[{"given":"Chih-Kan","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aloysius K.","family":"Mok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Browne, J.C., Cheng, M.K., and Mok, A.K., 1988. Computer-aided design of real-time rule-based decision system. Technical report, Department of Computer Science, University of Texas at Austin, 1988. To appear inIEEE Transactions on Software Engineering."},{"key":"CR2","unstructured":"Chandy, K.M. and Misra, J.,Parallel Program Design: A Foundation. Reading, MA: Addison-Wesley."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Forgy, C.L., 1981. OPS5 user's manual. Technical Report CMU-CS-81-135, Department of Computer Science, Carnegie-Mellon University.","DOI":"10.21236\/ADA106558"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L., 1982. Rete: A fast algorithm for the many pattern\/many object pattern match problem.Artificial Intelligence, 19:17?37.","journal-title":"Artificial Intelligence"},{"key":"CR5","unstructured":"Garey, M.R. and Johnson, D.S., 1979.Computers and Interactability: A Guide to the Theory of NP-Completeness. W.H. Freeman, 1979."},{"key":"CR6","unstructured":"Haley, P.V., 1987. Real-time for RETE. InROBEXS'87: Proceedings of Conference on Robotic Expert Systems, pp. 227?282."},{"key":"CR7","unstructured":"Helly, J.J., 1984.Distributed Expert System for Space Shuttle Flight Control. PhD thesis, University of California at Los Angeles."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E. and Stoyenko, D.A., 1986. Real-time euclid: A language for reliable real-time systems.IEEE Transaction on Software Engineering, 12:941?949.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"CR9","unstructured":"Laffey, T.J., Cox, P.A., Schmidt, J.L., Kao, S.M., and Read, J.Y., 1988. Real-time knowledge-based systems.AI Magazine."},{"key":"CR10","unstructured":"Leinweber, D., 1987. Real-time expert systems for space applications. InProceedings of AFCEA Symposium ?Space Technological Challenges for the Future?. United States Navy Academy."},{"key":"CR11","unstructured":"Lin, K.J. and Natarajan, S., 1988. Expressing and maintaining timing constraints in FLEX. InThe 11th Real-Time Systems Symposium, pp. 96?105. IEEE."},{"key":"CR12","unstructured":"Miranker, D.P., 1987. Treat: A better match algorithm for AI production systems. InProceedings of the 1987 National Conference on Artificial Intelligence."},{"key":"CR13","unstructured":"Mok, A.K., 1989. Formal analysis of real-time equational rule-based systems. InProceedings of 10th Real-Time System Symnposium. IEEE."},{"key":"CR14","volume-title":"The Logical Basis for Computing Programming, volume 1","author":"Z. Manna","year":"1985","unstructured":"Manna, Z. and Waldinger, R., 1985.The Logical Basis for Computing Programming, volume 1. Reading, MA: Addison-Wesley."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1117\/12.948443","volume":"548","author":"C.A. O'Reilly","year":"1985","unstructured":"O'Reilly, C.A. and Cromarty, A.S., 1985. Fast is not Real-Time: Designing effective real-time AI systems.SPIE Applications of Artificial Intelligence II, 548:249?257.","journal-title":"SPIE Applications of Artificial Intelligence II"},{"issue":"8","key":"CR16","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/108515.108527","volume":"34","author":"D.W. Payton","year":"1991","unstructured":"Payton, D.W. and Bihari, T.E. (1991). Intelligent real-time control of robotic vehicles.Communications of the ACM, 34(8):48?63.","journal-title":"Communications of the ACM"},{"key":"CR17","unstructured":"Perlin, M.W., 1989. The match box algorithm for parallel production system match. Technical Report CMU-CS-89-163, School of Computer Science, Carnegie Mellon University, May."},{"key":"CR18","volume-title":"Algorithms","author":"R. Sedgewick","year":"1983","unstructured":"Sedgewick, R., 1983.Algorithms. Reading, MA: Addison-Wesley."},{"key":"CR19","unstructured":"Wang, C.K., 1990. MRL: The language. Technical report, Real-Time Lab, Department of Computer Sciences, University of Texas at Austin, May."},{"key":"CR20","unstructured":"Wang, C.K., 1991. Rhyme: A match algorithm for MRL. Technical report, Real-Time Lab, Department of Computer Sciences, University of Texas at Austin, October."},{"key":"CR21","unstructured":"Wang, C.K., 1992.Toward Real-Time Rule-Based Decision Systems. PhD thesis, University of Texas at Austin, August."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Wright, M.L., Green, M.W., Fiegl, G., and Cross, P.F., 1986. An expert system for real-time control.IEEE Software, March 1986.","DOI":"10.1109\/MS.1986.232784"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Wang, C.K., Tsou, D., Wang, R.H., Browne, J.C., and Mok, A.K., 1991. Automated analysis of bounded response time for two NASA expert systems. InSIGSOFT'91 Conference on Software for Critical Systems. ACM, December.","DOI":"10.1145\/125083.123067"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088698.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088698\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T17:03:42Z","timestamp":1586106222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088698"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["BF01088698"],"URL":"https:\/\/doi.org\/10.1007\/bf01088698","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}