代数规范相关论文
因私法制度中代数算法规范（代数规范）的缺陷,一些指导性案例未能给出判决的明确算法,私法制度中的代数算法黑箱导致了判决书中的算法......
本文对描述事件驱动系统的CASL扩展语言进行了研究。文章首先用代数规范语言CASL描述事件驱动系统的数据结构；其次以MSC和STATEMATE......
面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强......
完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法和技术.验证子系统使得系统能自动证明程序和......
可复用构件往往需要引入多态性支持，但是这给构件的形式化定义带来很多困难。采用代数规范系统来定义空间几何实体构件的组织结构及......
本文在“基于代数－时态逻辑的象形对象研究”一文的基础上，进一步讨论了“基于代数－时态逻辑的象形对象语义模型“问题，主要是将基于代......
基于参数化网络类的统一Petri 网的研究目的是解决纷繁复杂的Petri 网类型给使用Petri 网带来的不便和基于这一理论的工具开发。本......
精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于......
