【摘 要】
：
为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事
【机 构】
：
北京工业大学计算机学院,中国传媒大学计算机学院
论文部分内容阅读
为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.
其他文献
利用轴向和周向应变幅的最大值合成一个新的等效应变幅作为多轴疲劳损伤参量，考虑不同加载路径导致轴向和周向出现的平均应力的影响，结合Manson—Coffin方程提出了一个新的损伤
【摘 要】 美术课的示范教学是指导学生学习，帮助学生理解描绘对象，掌握作业要领的重要手段。“示范教学”是传统美术教学中最常见的一种方式，在新课程改革的教育背景下也占有极其重要的地位。本文以笔者多年的教学经验为依托，简要地介绍了“示范教学”的产生背景和重要意义，并在实践中探索出了有效示范的四种方法，即示范教学要有层次性、针对性、启发性和灵活性。 【关键词】 示范教学；美术；教师；学生 一、“示范
爸爸的爱像一杯咖啡，第一口是苦的，但是越品越甜；爸爸的爱像一块夹心糖，外表是硬的，心却是软的；爸爸的爱像一本书，表面平淡，“书”里却充满知识。 我的爸爸长了一头乌黑发亮的头发，一对大大的耳朵，高高的鼻梁上架着一副眼镜，鼻子下方一张能说会道的嘴，他的肚子大大的，走起路来像企鹅一样可爱。 我喜欢跟爸爸“打架”，每次我们都会使出各自的绝招。我的绝招是“铁蛇掌”、“冲击牛”，爸爸的绝招是“扔人术”、“
[摘 要] 作文教学是语文教学中不可或缺的重要组成部分，是提高学生写作水平的重要环节。为学生创造一个良好愉快的心理环境，不仅能提高学生的作文水平和作文质量，也能激发学生的表现欲，充分展示他们的各种才能。因此，教师在精心设计作文指导或讲评课时，必须设法为学生创设一个轻松愉快的心理环境。 [关键词] 作文教学；心理环境；写作兴趣 《小学语文新课程标准》指出：“写作是运用语言文字进行表达和交流的重要
[摘 要] 物理知识的传授是一个系统的过程，物理的学习对学生的理性逻辑思维有着较高的要求，因此很多初中生对物理都有一定的恐惧心理，学习兴趣不大。课堂导入是初中物理课堂教学中不可缺少的环节，也是关键的环节。精彩的课堂导入设计能激发学生的学习兴趣，吸引学生的注意力，调动学生的积极性，从而缓和他们对物理学习的恐惧，有利于物理课堂教学的顺利开展。因此每一位物理教师都要认识到课堂导入的重要性和作用，认真研究
【摘 要】 最新苏教版教材中的新增栏目“动手做”是一个非常好的内容，但是有些老师们往往会轻视甚至忽视它们。结合自己的实践与思考，本人认为有必要让一线教师们更好地认识到“动手做”栏目的价值，在平时的教学中很好地进行利用，以便实现效益最大化。 【关键词】 挖掘；教材；内涵；提升；素养 当下老师们受传统观念的影响，还没有真正的理解“动手做”栏目这一内容的教育价值。通常是有些当作思考题，侧重于数学知识
[摘 要] 在教学中学生成绩出现两极分化的现象是比较普遍的一个问题。主要是因为学生学习自控能力不足，周围又存在很大的诱惑，导致出现厌学弃学等现象。学生学习成绩两极分化严重影响教学质量。尤其在初中数学教学的过程中，学生成绩两极分化现象格外严重。教师想要更好地解决数学成绩两极分化的问题，就应该在实际教学过程中，制定出合理的教学策略。这是提高学生的数学成绩的基础。 [关键词] 初中数学；两极分化；具体
[摘 要] 核心素养概念的提出是社会发展的要求，是从“素质”向“核心素养”进化的全面性发展方向，这不是一时的热情，而是教育改革在追求进步。从生物教学的角度培养学生核心素养，需要教师把核心素养与生物学科素养紧密结合起来，需要教师化抽象的教材知识点为具体实验教学，更需要教师努力去开拓教学模式的新视角和新方法。 [关键词] 核心素养;初中教育;生物实验教学 学生核心素养，体现为学生长远发展必备的
应用连续介质力学的基本原理，针对流体饱和两相多孔介质的特点，建立起增量形式的两相多孔介质弹塑性波动方程组，以实现对两相多孔介质弹塑性动力反应的捕述运用伽辽金方法对该波
林子豪是我们班的“疯子”。他整天都笑嘻嘻的，老师批评他，他面含笑意；老师表扬他，他更是哈哈大笑。没人惹他笑，他就逗别人笑。 有一次，上课铃响了，同学们开始做眼保健操。眼保健操刚一结束，这时，林子豪竟冒充班长大声喊“起立”，全班同学听到后立刻站了起来，下意识地说：“老师好！”同学们话音刚落，林子豪却大笑起来，同学们这才恍然大悟。林子豪没想到，当自己回头时，苏老师已经站在自己身边了。他伸出舌头，缩着