形式化描述模型相关论文
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述We......
空间方向关系是空间关系的重要内容,是地理信息系统(GIS)的基础理论问题之一,在GIS空间查询、空间分析、空间推理、制图综合等过程......
交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复......
拓扑关系形式化描述和区分的标准是拓扑不变量。在4交差模型的基础上,通过对两面目标边界交集的信息深入分析,提出具有不同分类能......
本文用活动的概念来描述软件的开发过程 ,建立了软件过程的形式化描述模型 ,以此为基础 ,给出了MIS软件开发的过程描述......
三维拓扑关系是三维空间关系中最重要的空间关系,是三维空间数据表达、查询、分析与应用的理论基础,是目前拓扑关系研究的热点。本......
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不......
Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行......
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变......
空间拓扑关系形式化描述模型是GIS空间关系研究的重要内容之一,在GIS数据建模、空间查询、空间分析、空间推理等过程中起着重要作......
