首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 140 毫秒
1.
一种基于逻辑框架的数字版权管理机制和实现   总被引:1,自引:0,他引:1  
权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.  相似文献   

2.
提出一种数字权利管理模型,该模型的权利描述语言和许可证管理语言均采用一种基于逻辑框架的语言LucScript,使数字权利描述和许可证管理具有统一的逻辑语义。该模型采用逻辑许可池的方式管理许可证,对比现存方法,在许可证更新和增量更新,权利迁移灵活性和方便性,使用支付模式,合理使用权限等方面都具有优势。对该模型的管理和运行机制进行了分析和说明,最后给出了该模型的应用方法,并将该模型与相关的数字权利管理模型进行了对比。  相似文献   

3.
为实现数字作品的共享,提出了实现不同的权利描述语言的互操作方法.根据主要的几种权利描述语言规范的特点,提出了权利描述语言的数据模型、实体元素的语义、语法特性等的映射机制.研究了权利描述语言规范间的互操作策略,介绍了权利描述语言间的互操作方法,实现了权利描述语言规范互操作的转换工具,实验结果表明了该方法的可行性.  相似文献   

4.
鉴于当前权利描述语言不能有效地实现数字内容的分段权利描述和动态分段授权,提出一种基于分段控制模型。在描述了分段数字内容加密封装后,对ODRL模型进行扩展,实现了数字内容的分段权利描述和动态分段授权,利用扩展后的ODRL模型深入探讨和分析了分段控制下的DRM二次分发。通过相关分析表明,扩展后的模型安全可靠,易于实现。  相似文献   

5.
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。  相似文献   

6.
基于时序逻辑的软件体系结构描述语言XYZ/ADL   总被引:26,自引:1,他引:26       下载免费PDF全文
朱雪阳  唐稚松 《软件学报》2003,14(4):713-720
  相似文献   

7.
语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用.本体描述语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证.在介绍描述逻辑及其系统的有关概念与查询推理机制的基础上,重点讨论了推理机Racer及其查询语言nRQL的功能,开发了一个基于Racer和nRQL的智能信息查询程序并应用于大学本体的信息查询.  相似文献   

8.
基于描述逻辑的扩展预测模型标记语言EPMML   总被引:1,自引:0,他引:1  
预测模型标记语言PMML正被许多数据挖掘组织作为标准化的数据挖掘模型描述语言.然而,由于数据挖掘技术的不断发展,参与建立PMML的数据挖掘厂商的经验有差异,PMML本身含有的大量语言元素不可避免地带来基于PMML的数据挖掘元数据的语义不一致问题.为解决这个问题,提出了一种基于描述逻辑的扩展预测模型标记语言EPMML,详细分析了EPMML的描述逻辑基础SOIN,设计EPMML的语言元素.基于EPMML描述的数据挖掘元数据可以转化为基于SOIN的知识库,进而进行知识推理以自动发现数据挖掘元数据的内在语义不一致问题.Racer推理实例验证了EPMML语言的良构性,良好表达能力和推理有效性.  相似文献   

9.
郝斐  蒋鑫  董庆超  张杰 《微机发展》2011,(10):28-31,35
复杂系统需求描述语言(MEISRDL)是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEISRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN(D)描述MEISRDL静态图图元,实现半形式化的MEISRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明:该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。  相似文献   

10.
面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。  相似文献   

11.
基于证书修改的数字权限动态描述*   总被引:1,自引:1,他引:0  
针对基于XML的权限描述语言(如XrML和ODRL)的本质缺陷,提出了一种基于证书修改的数字权限动态描述模型。在定义了该模型的相关基本要素后,深入探讨和分析了该模型的执行过程,并给出了一个应用模型。  相似文献   

12.
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.  相似文献   

13.
一种采用一阶动态逻辑表示的数字权限描述模型   总被引:4,自引:0,他引:4  
孙伟  翟玉庆 《计算机应用》2005,25(4):846-849
针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。基于一阶动态逻辑,定义了一个用于描述数字权限概念的 一阶动态逻辑符号系统DrFDL,并在DDRM模型基础上给出了DrFDL的语义结构(该语义结构能够 反映动作的动态特性)。基于DDRM模型还给出了一个表达权限证书的文法,应用DrFDL逻辑语言 给出了该文法生成的权限证书的形式语义,并探讨了该证书的确定性和有效性。  相似文献   

14.
15.
基于参照的对词结构操作语义的归纳学习   总被引:1,自引:0,他引:1  
心理语言学的研究和认知发展过程证明在语言获得的早期经历了一个自主的归纳学习过程,本文的出发点是语言发展的规律,并将词结构形式语义的获得过程和表示基础放在一个具有统一的语言理解和语言产生机制的语言信息加工模型中来考虑。本文讨论了一个基于实例的机器学习系统,为了获得词结构的形式语义,采用了操作语义的定义,并设计了一个基于参照的发现学习算法,其目的是使语义能伴随例句样本的丰富而精密化。  相似文献   

16.
It is argued that formal semantics, in the model-theoretic style pioneered by Tarski, is appropriate for specifying the meanings of the compositional component of artificial formal languages but not of natural languages. Since computer programming languages are both formal and artificial, formal semantics has a clear application to them, but this does not mean that it is in any way relevant to the problem of meaning in AI. The distinction is drawn between what an expression in a language means, and what a person means by using it. The former is the only kind of meaning that formal semantics can ever explain, whereas for AI to succeed it is essential to elucidate, and then to recreate, the latter. No verdict is offered on whether or not this may ultimately be possible; but it is argued that formal semantics would be an inappropriate tool to use to this end.  相似文献   

17.
Mechanized Semantics for the Clight Subset of the C Language   总被引:4,自引:0,他引:4  
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, struct and union types, C loops and structured switch statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.  相似文献   

18.
Summary SEMANOL is a practical programming system for writing readable formal specifications of the syntax and semantics of programming languages. SEMANOL is based on a theory of semantics which embraces algorithmic (operational) and extensional (input/output) semantics. Specifications for large contemporary languages have been constructed in the formal language, SEMANOL (73), which is a readable high-level notation. A SEMANOL (73) specification can be executed (by an existing interpreter program); when given a program from the specified language, and its input, the execution of the SEMANOL (73) specification produces the program's output. The demonstrated executability of SEMANOL (73) provides important practical advantages. This paper includes discussions of the theory of semantics underlying SEMANOL, the syntax and semantics of the SEMANOL (73) language, the use of the SEMANOL (73) language in the SEMANOL method for describing programming languages, and the contrast between the Vienna definition method (VDL) and SEMANOL.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号