为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。
In order to exactly describe logic relations among objects of discrete event control systems and write programs, a rule-based language, logic rule Description language (LRDL) is put forward.
介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
为此,文中用面向对象的知识表示方法描述并建立本体,并以此为基础形成领域操作代数系统和智能体服务描述语言。
The paper describes and develops ontology by object-oriented knowledge representation, hence the representation leads to domain algebra system and agent service description language.
本系统采用了面向对象的开发方法,以统一建模语言(uml)为分析设计描述语言。
The system USES an object-oriented development approach to the Unified Modeling language (UML) analysis of the design description language.
研究结果表明,XML技术能方便地作为一个轻量级基于公共对象请求代理体系结构(CORBA)的描述语言,同时能清晰地描述北向接口模型。
The results show that XML can be a descriptive language for a lightweight CORBA and can describe the northbound interface model distinctly.
研究结果表明,XML技术能方便地作为一个轻量级基于公共对象请求代理体系结构(CORBA)的描述语言,同时能清晰地描述北向接口模型。
The results show that XML can be a descriptive language for a lightweight CORBA and can describe the northbound interface model distinctly.
应用推荐