【摘 要】
：
为顺利地执行Web复合服务，实现服务的自动组合，对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证．运用进程代数对Web服务及其组合进行建模，提出并建立了PIC
【基金项目】
：
国家自然科学基金项目（60573128）.
论文部分内容阅读
为顺利地执行Web复合服务，实现服务的自动组合，对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证．运用进程代数对Web服务及其组合进行建模，提出并建立了PICM2WSDL模型．通过形式化的方法验证，基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的．wsdl文件。
其他文献
为了在随机右删失数据情况下,给出单调回归函数的合理估计,利用最大凸弱函数的理论和把未删失数据垫高的统计思想,得到了单调回归函数的一个新的估计.与核估计等传统的估计相
《幼儿园教育指导纲要》指出：＂引导幼儿接触周围环境和生活中美好的人、事、物,丰富他们的感性经验和审美情趣,激发他们表现美、创造美的情趣。＂生活是教育的本源,教育来源于生
为了解决传统的电子细分方法所需的庞大硬件电路及额外误差问题,提出了一种基于片上系统芯片的正交莫尔条纹信号跟踪计数细分系统.该系统利用SOC（System on a chip）芯片的特点
乒乓球教学训练中预防和纠正动作错误，不仅是正确掌握乒乓球基本知识和动作技术的需要，并且是有效地锻炼身体，避免运动损伤的重要条件。如果让错误动作形成动力定型后才去纠正，就可能要付出比学会相应的动作更多的时间和精力。因此，必须及时地对动作错误进行预防和纠正。预防和纠正动作错误时，应首先分析产生错误的原因，然后选用适合的方法予以预防和纠正。 一、动作产生错误的原因 1.学生对学习的目的性不明确，积极
针对心血管瞬态流固耦合数值模拟、基于个性化血管几何模型三维重建的数值模拟、血流动力学可视化实验平台、协同虚拟现实系统等前沿课题以及力学生物学、多尺度流动等其他问
[摘 要] 信息技术的飞速发展为教育的发展提供了舞台。信息技术已成为拓展人类能力的创造性工具。信息技术与数学课的整合不仅仅局限于实现教学内容的表现方式、学习方法、教学模式和互动方式的变革，而且在于通过“以数形为单元”的信息技术与课程的整合，有效实现对教学模式的深层探究。Excel是我们常用的办公软件，也在我们的学习中有着重要作用，利用Excel在上课中给学生演示数形结合，可以让学生更直观地体会函数
[摘 要] 对于教师而言，做好基础的教学工作并不是唯一的工作内容，还要积极投入到教学研究中，分析当前存在的问题，并找到根源加以改进。于是在初中数学教学中，教师要在开展高效教学的基础上，意识到开展教学研究的重要性，通过整合各方面的资源，对实际的教学进行深入的探究，不断磨合现有的教学模式，达到提升学生数学思维与综合能力的目标。 [关键词] 初中数学；有效教学；问题及对策 在新课程改革的引导下，构建
小兔正在路上散步，小松鼠急急忙忙地向他走来。小松鼠喊道：“不好啦！不好啦！’小兔问：“怎么了，发生什么事情了？”小松鼠说：“小熊掉到坑里爬不上来了。”小兔说：“我们快救他上来吧。”于是他俩急急忙忙跑到小熊掉下去的地方。小松鼠和小兔说：“小熊不要怕，我们来救你了。”小兔放下绳子，小熊抓住绳子，小松鼠和小兔用力拉，把小熊救出来了。三个小伙伴一起在草地上玩起游戏来了。（指导老师：黄 莹）
冷冉是大连本土教育家。他的教育思想是在全面总结了大连教育人在基础教育领域的实践探索基础上提炼出来的,不但指导着大连市教育的改革与发展,而且在我国基础教育界也产生了
[摘 要] 由于经济发展水平不均衡，导致我国农村学前教育很落后，城乡学前教育有明显落差。针对这种现状，可以采取城乡结对帮扶模式，提高农村学前教育水平。在城乡结对帮扶过程中，通过各城市幼儿园与农村幼儿园园长与园长之间、教师与教师之间的交流，依托城市幼儿园优质教育资源，结合农村幼儿园的实际情况，完善各项规章制度，更新教育教学观念，提升农村幼教队伍素质，在教育、教研、资源共享、教师专业化发展等方面达到城