排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的. 相似文献
2.
基于面向对象技术的新闻文稿管理信息系统 总被引:1,自引:0,他引:1
详细阐述了面向对象技术在MIS开发中的几个关键技术,采用面向对象技术对新闻稿管理信息系统进行了环境模型,对象建模,动态建模和功能建模等理论分析,介绍了新闻稿管理信息系统的设计方法;最后,提出了系统安全性的解决方案。 相似文献
3.
1995年,我校按照国家教委提出在委属高校全面推行工资总额动态包干的精神,在10个院(系)试行工作目标责任制和工资总额£态包干,我院成为第一批试行单位。经过几年的工作实践,学院在校党委和行政的领导下,取得了一些成绩。在学科建设方面,有五个博士点、5个硕士点并形成了一批有特色的学科方向,在1997年全国硕士点合格评估中,我院所有硕士点均被评为A级,最近我院申报新的博士点又顺利通过了国务院学位委员会的批准;在教学工作方面,教师认真教书育人,切实做好教学工作,三年来,自筹资金150多万元,为教学实验室购进586等高档… 相似文献
4.
5.
6.
为了将推理与文本检索有效融合起来,提出了一种包含多类型查询的语义搜索引擎体系结构,在此基础上设计并实现了语义搜索引擎系统Smartch.Smartch基于合理的推理流程和图形化定制过程,提供4种形式的搜索服务,分别是基本搜索、概念搜索、图形化定制搜索及关联关系搜索.实验结果表明语义搜索引擎Smartch和传统搜索引擎相比,在本体推理的基础上,查全率和查准率上有一定的提高,图形化定制查询可准确定位用户需查询的概念,关联关系搜索可发现概念之间存在的复杂关系,Smartch实现了一定程度的智能搜索. 相似文献
7.
8.
基于建构主义的教学内容可视化研究 总被引:1,自引:0,他引:1
可视化技术可以提供知识的有效表达和传递。本文在探索性地提出基于建构主义的教学内容可视化方法基础上,就如何基于建构主义确定可视化目标给出了解决方案。通过相关课件的制作和教学实践,总结了可视化课件的评价和教学应用原则。 相似文献
1