论文部分内容阅读
定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性。
基于类型化Pi-演算的Web服务组合相容性检测
【摘 要】
：
定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款
【机 构】
：
湖南师范大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年07期
【基金项目】
：
湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY6023);湖南省重点科技攻关项目(No.05GK2002)
其他文献
城镇化的发展源于工业革命，城镇通过为社会与经济发展提供各种资源，成为了经济活动的中心。由于资源禀赋的差异，世界各地区的城镇化水平各不相同。我国是世界城镇化发展最快的国
<正>人们在日常用生活中会接触到各种各样的织物,这些织物的美观程度直接影响着人们的生活品质。传统上通常用印染、丝网印刷等方式对织物进行美化装饰,但这些方法已经很难满
目的总结桩核金属烤瓷冠修复失败的原因。方法对3年来收集的20例桩核修复失败的病例资料进行回顾性分析。结果 20例修复失败的原因包括牙龈炎及牙周炎5例,崩瓷4例,烤瓷冠脱落
<正>目前远程医疗应用日益广泛,由此形成的新市场空间巨大,但对一个新兴行业来说,先进入者免不了要在摸索中尝试,而发达国家的成功经验则给出启示:视频会议应用能让远程医疗
20世纪70年代末至今的30多年间，在新公共管理运动（New Public Management）的推动下，世界各国的政府会计迎来了改革的黄金时期，尤其是以新西兰、澳大利亚、英国、美国为代表的西方
<正>高血压是老年人最常见的疾病,是导致老年人心力衰竭、卒中、冠心病、肾功能衰竭、主动脉疾病发病率和病死率升高的重要危险因素,严重影响了老年人的生活质量和寿命。随着
指出当前社区卫生服务信息化中存在的问题,阐述社区卫生服务信息系统发展现状,提出构建基于移动互联网的社区卫生服务信息系统。从系统架构和支撑系统两方面探讨系统设计情况