排序方式: 共有59条查询结果,搜索用时 31 毫秒
1.
面向对象的软件构造过程中的一个着急技术是对象的描述。本介绍的ADL语言就是用于描述软件对象的基本特征。一个ADL对象定义分为两部分:其一是对象规范,它在抽象数据域上描述对象的语义特征,用逻辑公式规定对象的状态和行为约束。另一是对象体,它由开发选用相应的某种实现语言和算法给出对象规范的具体实现,同时给出抽象数据到具体数据的映射关系。 相似文献
2.
3.
本文从一般的格不动点出发,讨论了程序的计算解函数与逻辑解函数的一致性问题,并特别证明了延迟值调用计算法则的安全性.只有在程序的计算解函数与最小不动点函数保持一致的前提下,基于不功点特征公理推导的程序性质,也才是程序计算解函数的性质.文章最后给出LISP程序证明的一个例子. 相似文献
4.
5.
6.
冯玉琳 《计算机研究与发展》1980,(6)
SIMULA67是一种ALGOL型语言,以ALGOL60为基础,扩充了一个新的概念“类”(CLASS),致使语言的描述能力和结构化能力大大增强。类是一种把数据和操作结合起来的数据类型,SIMULA67是最早在语言中引进这样数据结构的语言。以后其它语言如clu-ster、modula、monitor等都相继引进了这个概念,并把这样的数据结构发展得更为完善了。本文将专门讨论CLASS的由来和作用。 相似文献
7.
事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务. 相似文献
8.
基于进化分布式本体的语义Web服务动态发现 总被引:14,自引:0,他引:14
在语义Web服务中,确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展(DDL)描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了PDK方法的一些重要属性.PDK用来描述分布式本体的进化和更新,它适用于语义Web服务环境.基于PDK,文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p-可满足性. 相似文献
9.
1IntroductionOverthepastfewyears,constructingapplicationsbyassemblingreusablesoftwarecom-poneatshasemergedaswidelyacceptedmethodology,bywhichsomesimplecomponentsaregluedtogetherintomoresophisticatedcomponents.Componentsaretheunitsofap-plicationsoftwareortheappletsthatcouldbeembeddedintocompounddocuments.Theycouldbespecifiedandimplementedconvenielltlycompliedwithsomecomponentstandards,suchasJavaBeaus[1],COBRA/OpenDoc,COM/ActiveX,etc.DifferentstandardsprovidedifferentarchitecturesandtheAP… 相似文献