代数规范相关论文
因私法制度中代数算法规范(代数规范)的缺陷,一些指导性案例未能给出判决的明确算法,私法制度中的代数算法黑箱导致了判决书中的算法......
该文给出了可以在计算机上编程实现的信念修正的一种方法,称为信念归结;设计了基于这种方法的一个原型系统;最后讨论了如何将信念......
本文对描述事件驱动系统的CASL扩展语言进行了研究。文章首先用代数规范语言CASL描述事件驱动系统的数据结构;其次以MSC和STATEMATE......
面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强......
本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由......
代数规范是支持软件规格说明和设计的一种有效的方法,代数规范的直接实现技术是该研究领域的一个主要分支,目前这方面的研究基本上局......
本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算......
传统的非线式化的系统描述方法已不能适应主动数据库研究的的需要。本文提出了采用代数规范说明的方法,形式化、结构化地描述规则系......
完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法和技术,验证子系统使得系统能自动证明程序和规......
本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法。我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进......
在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仪提供了有限支持。该文提出了一种基于代数重写......
本文从一个实例着手说明了对象库中对象的次序 系对迭代消息传递的重要性,从而论证了对象合不能作为对象库的基苯聚集结构。......
Middeldorp和Toyama证明,强加构造原则到项重写系统可获得完备概念的模块性,并且系统分解成的各部分间可共亨函数符号和重量写规则。本文推广他们的结......
可复用构件往往需要引入多态性支持,但是这给构件的形式化定义带来很多困难。采用代数规范系统来定义空间几何实体构件的组织结构及......
本文在“基于代数-时态逻辑的象形对象研究”一文的基础上,进一步讨论了“基于代数-时态逻辑的象形对象语义模型“问题,主要是将基于代......
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状,分析了对象形式化语义研究的不足,其次,分析了几种主要的系......
基于参数化网络类的统一Petri 网的研究目的是解决纷繁复杂的Petri 网类型给使用Petri 网带来的不便和基于这一理论的工具开发。本......
精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于......