语言内实例表示机制 类型信息隐藏 MOF自描述
2005-08-12 14:52
267 查看
语言内实例表示机制:一个语言除提供自定义类型描述外,是否提供了自定义类型的相应实例的描述机制,并提供实例与类型的兼容性确认(validation)?,提供语言内实例表示机制的语
言有:XML(XMLSchema/XMLDoc),maude(类别规范/对象项),UML(UML::Class等/UML::
InstanceSpecification),MOF(MOF::Class/MOF::Object)。上面的列表应该是远不完全的。
Smalltalk提供尽可能多的inspect及全反射(inspect me, change me)是否是与不能提供实例表示机制有关?
类型信息隐藏:将类型信息编码成某个类型库的实例,如:用MOF::Object实例描述MOF,用UML::InstanceSpecification描述UML,a XML Schema is a XML Doc。
MOF自描述:用MOF::Object等类型的实例描述MOF。
当用两个内容无关的类型库分别描述:自定义的类型 和
前者的实例时,就是用内容无关的类型描述内容相关的类型及其实例。或者说是语言ontology与内容ontolog的正交性,或者说内容
ontology及其实例以密文方式嵌入到语言ontology实例的明文中。
语言内实例表示机制对于MDA而言是重要的,意味着:you can touch and change your instances by type-in your
instances,更少控制的实例化(because you can type-in your instances of your
types, even the object identifiers),在closed world里定义语言的操作语义变得更方便,and more(actually, i don't know)
相关联系:prototype based OO -XMLSchema/XMLDoc-语言类型/内容类型-自描述-动态语言-全反射-数据与程序的不可区分(lisp)
言有:XML(XMLSchema/XMLDoc),maude(类别规范/对象项),UML(UML::Class等/UML::
InstanceSpecification),MOF(MOF::Class/MOF::Object)。上面的列表应该是远不完全的。
Smalltalk提供尽可能多的inspect及全反射(inspect me, change me)是否是与不能提供实例表示机制有关?
类型信息隐藏:将类型信息编码成某个类型库的实例,如:用MOF::Object实例描述MOF,用UML::InstanceSpecification描述UML,a XML Schema is a XML Doc。
MOF自描述:用MOF::Object等类型的实例描述MOF。
当用两个内容无关的类型库分别描述:自定义的类型 和
前者的实例时,就是用内容无关的类型描述内容相关的类型及其实例。或者说是语言ontology与内容ontolog的正交性,或者说内容
ontology及其实例以密文方式嵌入到语言ontology实例的明文中。
语言内实例表示机制对于MDA而言是重要的,意味着:you can touch and change your instances by type-in your
instances,更少控制的实例化(because you can type-in your instances of your
types, even the object identifiers),在closed world里定义语言的操作语义变得更方便,and more(actually, i don't know)
相关联系:prototype based OO -XMLSchema/XMLDoc-语言类型/内容类型-自描述-动态语言-全反射-数据与程序的不可区分(lisp)
相关文章推荐
- C/C++语言中计算int,float,double,char四种数据类型所能表示的数据范围
- 自动化(Automation)基础概念:接口描述语言(IDL)与类型库(TypeLib)
- 自动化(Automation)基础概念:接口描述语言(IDL)与类型库(TypeLib)
- java语言-基础(参数的值传递机制(基本数据类型与引用数据类型))
- 通过实例模拟ASP.NET MVC的Model绑定机制:简单类型+复杂类型
- 自动化(Automation)基础概念:接口描述语言(IDL)与类型库(TypeLib)
- SQL_Server_2005_数据类型转换函数(描述及实例)
- 自动化(Automation)基础概念:接口描述语言(IDL)与类型库(TypeLib)
- FND_FLEX_VALUES_VL--请记得此表以VL结尾表示是多语言表描述在不同环境下是有可能不一致的
- 自动化(Automation)基础概念:接口描述语言(IDL)与类型库(TypeLib)
- C语言数据类型的表示范围
- python根据unicode判断语言类型实例代码
- 02.java语言基础-参数的值传递机制-基本数据类型
- java中一个char类型字符能表示世界上所有语言的所有字符吗?
- DeepNLP的核心关键/NLP词的表示方法类型/NLP语言模型 /词的分布式表示/word embedding/word2vec
- java语言基础入门——反射机制实例
- SocketType 枚举----指定 Socket 类的实例表示的套接字的类型
- static Class<Long> Long.TYPE 表示基本类型 long 的 Class 实例。
- 03.java语言基础-参数的值传递机制-引用数据类型
- C语言操作符和表达式以及数据类型提升实例以及疑惑