【摘 要】
：
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一
【机 构】
：
北京工业大学计算机学院,北京工业大学电控学院
论文部分内容阅读
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑（CTR：Concurrent TRansaction Logic）对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题
其他文献
老怪：今年初，征得老板的同意，我提拔了一个跟了我三年的下属做我的副手．那时他对我也是感恩戴德。可问题就出在提拔之后。我的副手总是打着我的旗号，利用我的人脉资源做事情，接理说
话题核心 如果某天早上醒来发现自己病了，很严重，起不了床，你是否会有被解雇的可能？如果这种可能成立的话。那么你明天的收入将随之中断。而这一次医疗将耗尽你所有的积蓄……此
歌唱教学是中小学音乐教学的基本内容，也是学生最易于接受和乐于参与的表现形式。歌曲是带旋律的语言，既然是语言就要讲究语气。不同的语气表达不同的情感，反映不同的性格和不同
地方课程是一门综合课程，浙江省中小学地方课程教学建议中明确指出：关注本课程与其他课程整合。特别是与思品、科学、综合实践活动、校本课程等课程的整合，以提高综合教育的效果
针对彩色载体图像，本文提出了一种超复数频域的自适应水印算法，它首先对彩色载体图像进行快速超复数傅氏变换，在超复数频谱实部选择合适频段的基础上，再利用人类视觉系统对彩色载
英语口语对英语教学至关重要，中国当前的英语口语教学仍然有不少不利于学生学习的问题。通过对英语口语教学进行分析讨论，从而得出有效提高学生口语教学的教学方法。
“提到九牧王的苏静，可能并不是有很多人知道，但若是在闽南提起服装业的‘拼命三娘’，那可是无人不知呀。”
品味无所不在。等到有一天，你根本不用依靠西装革履等全套行头，仅仅是亮出一支笔就能代表你的时候，你就真的是很有品味的经理人了。
“大罗，球进了!”6月27日凌晨，邓裕强与15万个在线网友在3G门户网上一起“狂欢”，同时见证了罗纳尔多打破纪录的那个进球——方式是，用手机。
函数中的分类讨论是高中一大重点和难点。主要阐述了如何利用图象简单直观地对函数进行分类讨论,如分类讨论的临界点是如何产生的,怎样讨论不重不漏。