分享到:

XML家族语言语义研究

XML技术已经成为因特网(Internet)上数据交换标准,随着XML应用越来越广泛,XML技术的迅速发展面临许多挑战:目前大多数规范还是工作草稿,规范之间的一致性问题和语言的标准化问题将是主要的挑战。这些问题主要是由于语言间的相互依赖性导致的:XML相关规范都建立在XML SCHEMA类型系统上、操作的逻辑结构是XML的文档对象模型、采用统一的表达式语言XPATH。程序语言的形式化语义提供简洁而精确的语言定义,不仅帮助人们很好的理解语言,而且有助于语言的标准化。形式化规范语言Z和Object-Z已经用于描述程序语言语义。Object-Z对Z语言进行了面向对象扩展,包括类和继承机制,描述的语义不仅具有简洁和精确性,而且具有可组合性和可重用性。当语言加强时,其形式化语义可以很容易的进行扩展。本文从程序语言语义的面向对象角度研究XML家族语言的形式化语义。根据XML家族语言之间互相依赖的特点,在对XML核心规范分析的基础上,首先建模  (本文共116页) 本文目录 | 阅读全文>>

《计算机工程》2008年12期
计算机工程

隐标识身份认证方法及其形式化语义分析

1概述身份认证[1]是实现网络安全的重要机制之一。在网络通信中,通信各方必须通过某种形式的身份验证机制来证明身份,实现对不同用户的访问控制和记录。身份认证是安全服务的基础,因此,认证系统本身的安全性尤为重要。从最常用的静态口令式的传统身份认证机制,到“一次口令方案”[2]、“挑战-应答”认证方案和基于智能卡[2]实现的身份认证方案等,这些方案要求用户在认证开始时向认证服务器传递自己的用户名或身份标识,攻击者就有可能跟踪用户信息。随着计算机性能的提高,攻击者能够凭借先进的手段,跟踪、破解用户认证信息。为此,笔者提出一种隐标识(Hidden-ID)的身份认证方案。2隐标识身份认证方案2.1符号解释在隐标识身份认证方案中,使用符号如下:A→B:实体A向实体B发送一条消息。RA:由实体A产生的随机数。(?):明文,(?)K表示以密钥K对该段明文进行加密,也称(?)K为加密函数。Ui:第i个用户。AS:认证服务器(Authenticati...  (本文共3页) 阅读全文>>

《国防科技大学学报》1990年30期
国防科技大学学报

多Agent系统中Agent计算的能力理论

1前言分布计算是目前计算机科学领域中的一项关键性主流技术和一种重要的计算方式和范型。分布计算系统由一组相对独立并能自主运作的计算实体组成。随着分布计算的应用领域变得日趋复杂和庞大,如何促进分布计算系统的开发已成为当前软件工程领域一项富有挑战性的研究课题。Agent是计算机科学领域中的一个重要概念。Agent概念的自主性、交互性、社会性等特征为准确地刻划和研究分布计算系统中的计算实体提供了合理的概念模型。本文以分布计算系统的开发为背景,用Agent概念来刻划分布计算实体,将分布计算系统视为多Agent系统,提出了多Agent系统中A-gent计算的能力理论以支持Agent计算的理论研究。在多Agent系统开发过程中,能力是规范和描述Agent的一个重要抽象概念,原因是:(1)在A-gent计算过程中,理性Agent将根据其能力来选择规划、执行动作,因而能力是组成Agent体系结构的一个重要部件,是理解和分析Agent计算,形式化A...  (本文共6页) 阅读全文>>

西南师范大学
西南师范大学

UML状态机的形式化语义研究

UML(Unified Modeling Language)作为事实上的面向对象建模标准语言,它的复杂性和庞大性是不可避免的,但是它也包括了大量的具有模糊、稀疏语义的标准元素。在UML规范中,编制者是用较为形式化的语言OCL(Object Constraint Language)和自然语言两种手段描述静态语义,而动态语义却基本上完全是用自然语言来描述的,UML缺乏一个严格的动态语义定义。因此,对UML进行形式语义研究,对增进该语言的清晰性、等价性和一致性、可扩展性是十分有帮助的,为模型的正确性证明、转换以及支持UML建模工具的一致性检查提供了有力的理论工具。目前,很多机构和个人都在从事UML的形式语义研究,他们试图通过对UML的研究来对UML的未来产生影响。这些机构和个人所采用的方法主要是补充法和具有面向对象扩展的形式语言方法。这两种方法各具有优点,但是也存在不足。在补充法中所使用的形式化语言不具有面向对象的特征,不能很好地和当...  (本文共48页) 本文目录 | 阅读全文>>

《计算机科学》2004年03期
计算机科学

XQuery语言的形式化语义

1 xouery简介只 xML[,‘,,,〕作为应用程序之间交换数据的标准格式,应用程序数据可以存储为XML文档格式,也可以存储在关系数据库中,这样就需要设计的XML文档查询语言能查询各种数据源。xQuery[’,·”]正是为此目的而设计的查询语言,其工作组开始于1999年10月.目前XQuery规范仍然处于不断变化中,工作组己经发表了其工作草稿,最新也是最重要的工作草稿是文〔18]。XQuery是 Xpath[,〕的扩展,任何表达式如果在XPath和xQuery中语法有效且成功执行,则其计算结果相同.由于两种语言如此紧密联系,两个规范的编辑者也一起工作,以确保两种语言的一致性。 XQuery的类型系统基于XML Schema[ls〕,包括全局/局部元素和属性声明、复杂和简单类型定义、命名和匿名类型、通过限制和扩展获取新的类型,以及列表和联合类型等。XQuery的操作对象是XML文档的抽象逻辑结构[l’〕。XQuery的表达式类...  (本文共5页) 阅读全文>>

《计算机应用研究》2012年01期
计算机应用研究

基于ASM的元模型形式化语义的研究

0引言MDE是软件工程领域新兴的一种软件开发模式。它以模型为首要软件制品,通过(元)建模和模型转换来驱动软件的开发。随着MDA(model driven architecture)的提出,产生了大量的元元模型体系、建模方法和相应的支撑工具[1],使得MDD(model-driven development)成为软件工程技术的研究热点。在MDD中,目前主流的方法是采用元模型来描述建模语言的抽象语法和静态语义[2],它通过提升抽象层次来应对软件开发的复杂性。由于模型是描述系统的结构、功能或行为的形式规范,那么这种规范必须是机器可处理的,即具有一定的形式化能力可由机器进行自动计算,这就需要一种严格定义语法和语义的建模语言来刻画模型,实现模型的精准和形式化。尽管在许多元建模开发环境下通过元模型来描述元建模语言的抽象语法是很容易的,但是对于一般采用文本方式来描述的元模型语义来说,它们缺乏一个严格标准。目前大多数采用基于元模型的建模语言还不...  (本文共4页) 阅读全文>>