分享到:

现有Z的工具的比较

一引言软件开发过程需要大量的工具支撑,如编辑工具,编译工具,调试工具等。这些工具的使用不仅方便了软件的开发,而且合适的工具保证了软件开发的质  (本文共3页) 阅读全文>>

西北大学
西北大学

XML家族语言语义研究

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

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

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

针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需...  (本文共3页) 阅读全文>>

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

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

能力是规范Agent的一个重要抽象概念。本文提出了规划树概念以刻划在动态、不确定的多A-gent系统中...  (本文共6页) 阅读全文>>

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

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

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

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

XQuery语言的形式化语义

XQuery语言用于查询XML文档。目前,该语言规范还是W3C的工作草稿。语言的形式化语义有助于语言的标准化,本文通过重用XML...  (本文共5页) 阅读全文>>