论文部分内容阅读
本文介绍了Web service合成结构和问题描述;给出了Web service非异步性分析和可实现性判定定理;给出了Web service合成的可实现性判定算法;最后进行了总结.
异步通讯的Web Services合成的可实现性判定算法
【摘 要】
：
本文介绍了Web service合成结构和问题描述;给出了Web service非异步性分析和可实现性判定定理;给出了Web service合成的可实现性判定算法;最后进行了总结.
【机 构】
：
Department of Computing and Information Technology, Fudan University220, Handan Road, Shanghai
【出 处】
：
第二十二届中国数据库学术会议
【发表日期】
：
2005年期
其他文献
本文研究了工作流相关数据和应用数据的安全访问,在R&TBAC基础上,对模型进行扩充,结合开发的基于着色Petri网的工作流管理系统WebFlow,介绍系统中采用的访问控制技术,提出一
鲍勃·卢茨这本书的英文名叫《Car Guys VS.Bean Counters》,直接翻译过来就是＂汽车人对阵数豆人＂。汽车人是产品型的,爱车如命,对制造好的汽车有强烈情感;数豆子的人指的
数据持久化是软件项目中基础和关键的部分.面向对象领域中的数据持久化就是对象持久化,是指对象能够生存于创建它的进程之外,状态能够被完整保存,重建时能够恢复原有状态.良
本文介绍了时态XML的信息处理的基本体系结构,并通过中间件的方法对其实现,且该中间件能支持以文档为中心和以数据为中心的时态XML应用.开发此中间件的目的是为了满足Web环境
本文根据全文数据库的特点,提出一种全文检索的组织方式,比较了全文检索方法与常规的数据库内搜索的不同之处,完成一个基于DotLucene的全文检索技术对知识库站内查询的实现,
本文在数据库管理系统DM4中实现了全文索引机制,并在大数据量情形下进行了测试,表明采用B+树存储倒排索引时,尽管能够和传统的DBMS融合,充分利用其事务处理、故障恢复机制,但
为了适应网格工作流中角色受到双重管理和动态变化的特性,本文结合了Norm的丰富语言表达能力,提出了网格工作流中角色分配的Norm方法,通过将角色与实体的描述方式的区分,让工
本文从现代企业运营的需求入手,提出了现代冶金、粮食、仓储、工矿等企业的组织管理结构,并采用先进的Java技术,以数据库实现单据、报表的设计与实现,具有可伸缩性、灵活性、