论文部分内容阅读
提出一种扩展的lambda演算方法并给出相应类型的系统．基于扩展的lambda演算可建立服务模型，采用形式化方法，将服务内部流程抽象为函数概念，引入效果系统来记录服务的动作属性，推导服务动作操作集以验证服务编排是否满足用户所定义的规范，最后通过Coq实验来验证该方法的可行性．
普适服务编排的类型和效果
【摘 要】
：
提出一种扩展的lambda演算方法并给出相应类型的系统．基于扩展的lambda演算可建立服务模型，采用形式化方法，将服务内部流程抽象为函数概念，引入效果系统来记录服务的动作属性，推导
【机 构】
：
泉州师范学院物理与信息工程学院
【出 处】
：
泉州师范学院学报
【发表日期】
：
2013年2期
【基金项目】
：
高等学校博士学科点专项科研基金课题（20090073110026）
其他文献
设计基于电容式传感器,采用STM32F405RGT6作为主控芯片,结合了Bluetooth,OLED,SD卡存储等技术实现了在心音、肺音、宽频模式下的实时听诊、录音存储及回放、听诊音量调节及无
要实现城乡统筹发展，必须要彻底打破城乡二元体制，建立城乡统一的基本制度；统筹城乡建设规划及基础设施建设；积极推进农村城镇化进程；以新农村建设为契机，加快农村经济社会发展；建立
通过二次回归旋转组合试验,建立了筛分完全度与筛面倾角、振动方向角、曲柄半径、动力参数和喂入量的关系方程,找出了这些参数的最佳值。分析了它们对筛分完全度的影响。对筛
目的探讨微创穿刺吸引术治疗高血压脑出血的临床应用价值。方法根据CT扫描定位,选择血肿量最大层面,测量血肿中心到颅表最近点的距离即为穿刺针长度,该点为穿刺点,穿刺点要避
高职院校拥有丰富的人文资源,是多年来积淀演绎而成的校史文化,能否把握、继承、弘扬、发展之,对学校的发展至关重要。因此通过校训解读、开办人文讲坛、修建校史馆等进行校
目的观察中药复方苦参洗剂治疗婴儿急性湿疹的临床疗效。方法选择2015年1—12月收治的80例婴儿急性湿疹患儿,随机分为治疗组和对照组,各40例。对照组给予3%硼酸液湿敷,治疗组
中国哈尔滨,这个被人们称作东方小巴黎的城市在去年2月份成功举办了第二十四届世界大学生冬季运动,同时这也是近几年来我省我市举办的规模最大的综合性国际运动会。现代综合
采用文献研究法,阐述了国内自90年代以来阅读疗法实证研究的现状,从阅读疗法的研究对象、研究病症、治疗方法、阅读材料选择等方面,总结了具体研究领域的最新进展。在此基础