1) object constraint language
对象约束语言
1.
In order to guarantee the validity of organization,object constraint language(OCL) is used to formally describe the three classes of organizational constraints include basic constraints,team.
为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类。
2.
According to it, the organization structure is modeling based on object-oriented technology, and the constraints within the team structure and team-to-task are formally expressed by object constraint language (OCL).
针对工作流系统对动态团队和不确定性任务支持的要求,首先利用面向对象技术建模团队的组织结构,并采用对象约束语言规范化描述团队内部结构约束和"团队-任务"约束,然后提出了任务版本的概念,用来解决团队对应的工作流任务不确定问题,并讨论了集成实现中的若干关键问题。
3.
Object Constraint Language (OCL) is the sub-standard of UML, which can be used not only in constraint and query on models, but also in defining transformation rules and modeling language.
对象约束语言(OCL)被定义为UML标准的子标准,不仅可用于模型约束、查询,还可以用于定义模型转换规则和定义建模语言。
2) OCL
对象约束语言
1.
Mutation analysis based on OCL specification;
基于对象约束语言规格的变异分析
2.
States how to combine UML with OCL to improve semantics integrity and to improve the readable and the executive of metamodeling,and the use of the method can detect the conflict constraints.
针对传统元建模中的语义缺陷,特引入对象约束语言来提高元建模的精确性。
3.
Then makes the theory analysis of OCL as model transformation language.
首先对模型转换语言的特性和现有的主要模型转换语言进行了简要的说明和分析,然后对对象约束语言(OCL)作为模型转换语言进行理论相关分析。
3) Object Constraint Language (OCL)
对象约束语言
1.
The adaptive scheduling Knowledge-Based System(KBS) analysis,design and implementation were described by utilizing Unified Modeling Language (UML), various views were built up to explore the static structure and dynamic behavior, and the semantics of class was accurately constrained by using Object Constraint Language (OCL).
采用统一建模语言对适应调度知识系统的分析、设计和实现进行描述,建立了反映知识系统静态结构和动态行为的各种视图,使用对象约束语言对在系统设计中出现的类对象进行精确语义约束。
4) Object Constraint Language(OCL)
对象约束语言
1.
This framework generates monitoring aspects from Object Constraint Language(OCL) constraints.
该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。
2.
Based on the comparison,a Unified Modeling Language(UML) & Object Constraint Language(OCL)-based ontology representation method is presented,and this paper especially studies reasoning on this ontology representation method.
在此基础上提出一种基于统一建模语言(UML)和对象约束语言的本体表示方法,特别研究该表示方法的推理机制,并对这种表示方法进行应用。
5) Obligatory object
约束对象
1.
This paper discusses the technology of reasoning based on case of coupling neural network,the typical implemetation framework of reasoning based on case,the cases indexing modelbased on obligatory object and the three levels organization of example.
论述了耦合神经网络的实例推理技术,实例推理的典型实现框架、基于约束对象的实例检索模型及实例的三级层次组织。
6) constrained object
约束对象
1.
So,a new approach for the knowledge representation of product family model based on constrained object is proposed.
针对目前产品族模型存在冗余、配置效率低、不易更新的问题,研究了基于约束对象的产品族模型的知识表示方法,有效地降低了产品结构冗余以及配置的复杂度,实现模型知识的有效封装。
2.
The paper gives a knowledge representation model of switch operation on high-level concept, and then proposes a simulation technique of switch operation based on satisfaction of constrained object state mapping and equipment restraint rules.
文中给出了高层概念的操作知识表示模型,提出了基于约束对象状态映射和操作规程约束满足的条件下设备操作仿真技术。
补充资料:对象语言
对象语言
object language
对象语言ld椒th呢脚罗;uPe卿T.‘幻.] 作为研究对象的语言.对一种有意义的理论形式化时要区分两种语言.一种是使理论得以形式化的语言,即对象语言.它由表示式的构成法则和语义法则给出,语义法则规定表示式的含义以及表示式怎样说明推理.另一种是用来说明上述这些语义和语法所用的语言.这个语言称为元语言.通常元语言不是形式化的语言.然而它也能被形式化,随之变成对象语言,要对它进行研究就需要一种新的元语言.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条