期刊文献+

面向对象-规则语言系统的实现及在威胁估计中的应用 被引量:1

Implementation of an object-oriented rule language system and its application in threat assessment
下载PDF
导出
摘要 针对C3I软件系统的需求和现有规则语言系统的不足,提出了一种把面向对象语言范型和规则语言范型相结合的混合语言系统,设计了该语言的语法,实现了编译器和规则引擎。该规则语言系统允许规则程序和C++程序交叉引用,弥补了自封闭规则系统的不足,满足了C3I软件系统中C/C++程序模块与规则程序模块交互和协作的要求。通过在C3I情报处理系统中的应用,证明使用规则来编码威胁优先级、告警级别等应用逻辑,能够把这些易变的部分与系统的其它部分独立开来,增强了系统的可维护性。 Under the requirements of C^3I software system, a hybrid language system, which integrates object-oriented and rule-based paradigms, was proposed against the deficiency of the existing rule languages. The syntax of this language was designed, and the compiler and rule engine were implemented. The proposed rule language system can integrate rule language and C++ language, overcome the defect of standalone rule language systems, and satisfy the requirements of interaction and collaboration between modules encoded with rule language and C++ language in C^3I software systems. By the application of this language system to the C^3I information processing system, the conclusion shows that encoding threat assessment rules with our rule-based language system makes these frequently-changed business logics independent of other stable parts of a system and therefore improves the maintainability of a system.
作者 刘晓健 陈平
出处 《系统工程与电子技术》 EI CSCD 北大核心 2004年第4期444-448,共5页 Systems Engineering and Electronics
基金 高等学校博士学科点专项基金(K014010422) "十五"国防预先研究项目基金(413150501)资助课题
关键词 基于规则的语言 规则编译器 威胁估计 rule-based language rule compiler threat assessment
  • 相关文献

参考文献10

  • 1Hayes-Roth F. Rule-Based Systems[J]. Communications of the ACM., 1985, 28(9): 921-932.
  • 2Brownston L, Farrel R, Kant E, et al. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming[M]. New York: Addison-Wesley, 1985. 35-92.
  • 3Giarratano J, Riley G. Expert Systems: Principles and Programming[M]. New York: PWS Publishing Company, 1998. 327-365.
  • 4Albert P. ILog Rules, Embedding Rules in C++: Results and Limits[R]. Proceedings of the OOPSLA'94 Workshop on Embedded Object-Oriented Production Systems (EOOPS), Technical Report LAFORIA 94/24, Institute Blaise Pascal, 1994.
  • 5Miranker D P, Burke F H. Steele J J. The C++ Embeddable Rule System[J]. International Journal on Artificial Intelligence Tools, 1993, 2 (1): 33-46.
  • 6Litman D, Patel-Schneider P, Mishra A. R++: Adding Path-Based Rules to C++[J]. IEEE Trans. on Knowledge and Data Engineering, 2002, 14(3): 638-658.
  • 7Forgy Charles L. RETE: A Fast Algorithm for the Many Pattern/Many Object Pattern Matching Problem[J]. Artificial Intelligence, 1982, 19: 17-37.
  • 8刘曙明 程万祥.C3I系统开发技术[M].北京:国防工业出版社,1997.279-409.
  • 9刘晓建,刘西洋,陈平.一种在面向对象语言中嵌入规则的预编译器的实现[J].西安电子科技大学学报,2003,30(1):97-102. 被引量:2
  • 10刘晓建,陈平.RETE网络中的优化编译模式及其PVS形式验证[J].计算机科学,2003,30(6):168-171. 被引量:1

二级参考文献14

  • 1.YDN 097-1998.中国电信计费帐务体制(0311)[S].中华人民共和国信息产业部,1998..
  • 2.YDN 097-1998.中国电信计费帐务体制(0311)[S].中华人民共和国信息产业部,1998..
  • 3[1]Forgy C. Rete: A fast algorithm for the many-pattern/many-object pattern-match problem. Artificial Intelligence, 1982, 19 (1):17~37
  • 4[2]Brownston L, Farrel R, Kant E, Martin N. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming.Addison-Wesley, 1985
  • 5[3]ILOG Rules User's Manual,ILOG Corp,1996
  • 6[5]Stringer-Calvert D. Mechamcal verification of compiler correctness: [Ph. D. Thesis]. Department of Computer Science,University of York, 1998. URL: http: //www. csl. sri. com/papers/thesis/
  • 7[6]Goos G, Zimmermann W. Verification of Compilers. In: Proc. of Correct System Design LNCS 1710,Springer-Verlag 1999. 201~23O
  • 8[7]Strecker M. Formal Verification of a Java Compiler. in Isabelle. In:Proc. Conf. on Automated Deduction (CADE),LNCS 2392, Springer Verlag, 2002
  • 9[8]PVS Manuals. URL :http://pvs. csl. sri. com/manuals. html
  • 10[9]Pnueli A, Siegel M, Singerman E. Translation Validation. In: Proc. of TACAS'98,LNCS 1384,1998. 151~166

共引文献1

同被引文献13

  • 1J Rumbaugh,I Jacobson.The Unified Modelling Language Reference Manual[M].New York:Addison-Wesley,1999
  • 2R Paige,J Ostroff.Metamodelling and conformance checking with PVS.Proc of Fundamental Aspects of software engineering 2001,LNCS 2029,Springer-Verlag,2001
  • 3D B Aredo.A Framework for Semantics of UML Sequence Diagrams in PVS[J].Journal of Universal Computer Science,2002; 8 (7):647~697
  • 4E Meyer,J Souquieres.A Systematic Approach to Transform OMT Diagrams to a B Specification.Proc of Formal Methods 1999,LNCS 1708,Springer-Verlag,1999:875~895
  • 5A Knapp,S Merz,C Rauh.Model Checking Timed UML State Machines and Collaborations.Proc of FTRTFT 2002,LNCS 2469,Springer-Verlag,2002:395 ~416
  • 6F Hayes-Roth.Rule-based Systems[J].Communications of the ACM,1985 ;28(9):921~932
  • 7http://www.alphaworks.ibm.com/tech/xml4c
  • 8OMG Unified Modeling Language Specification.Version 1.5.http://www.omg.org
  • 9M Sakkinen.Comments on "the Law of Demeter" and C++[J].ACM SIGPLAN Notices,1998; 23 (12):38~44
  • 10C Nentwich,L Capra.Xlinkit:A Consistency Checking and Smart Link Generation Service.ACM Transactions on Internet Technology.URL:http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部