【摘 要】
：
Communicating Sequential Processes (CSP) is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describe
【出 处】
：
Wuhan University Journal of Natural Sciences
论文部分内容阅读
Communicating Sequential Processes (CSP) is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services (BPEL4WS) to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.
Communicating Sequential Processes (CSP) is a kind of process algebra, which is suitable for modeling and verifying Web service composition. A paper of how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services (BPEL4WS) to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples. The methods for model checking, model verification and model simulation are also introduced.
其他文献
癫(Opilepsis)是一种常见的慢性脑部疾病,需长期服用抗癫药物(Anti epilepsy drugs,AEDs)治疗。长时间的癫发作可导致全身多系统损害,使用AEDs过程中易产生多种不良反
市场经济将给中国带来什么市场经济将给中国带来什么？有关专家分析概括了以下大趋势：一、股份制将成为基本的企业组织制度；二、商品和劳务主要由市场交易，其形式由低级向高级发展
作为家长,常常会产生这种困惑:为什么孩子如此难于教育和管理,无论是5岁的儿童,还是15岁的少年。在孩子的成长过程中,会产生各种问题,像说谎、打架,几乎是每个孩子都会犯的“
科技对经济发展的促进作用是显而易见的，发达的资本主义国家之所以能够创造出大量的物质财富依靠的主要就是科技的力量。可是，经济发展的要求对科技的进步有何影响呢?市场经济是否有利于科学的进步?
【内容摘要】语文学习的特殊之处，在于学生的课外学习对学习效果的影响非常巨大，懂得自主学习的学生不满足于有限的课本知识，会按照自己的意愿去学习更多的相关内容。长期的积累让这部分学生在语文学习上遥遥领先，所以初中语文教师要鼓励学生自主学习，激发他们的学习兴趣。 【关键词】初中语文 自主学习 兴趣培养 众所周知，现在中小学生的学习任务很繁重，学生都存在不同程度的厌学情绪，很少有学生会在课后自主学习。
INTRODUCTION In the absence of other intracranial tuberculomas or systemic manifestation of tuberculosis isolated brainstem tuberculoma is a rare entity,that ac
“孩子不可能不犯错。如果孩子犯了错,那也是我的错。”如果家长有了这样的认识,恐怕结果就大不一样。故事一:警告失灵儿子5岁,非常调皮。他最近狂爱玩枪,他会随身携带着他那
自 198 9年Choo发现了丙型肝炎病毒 (HCV)以来 ,对丙型肝炎的认识有了逐步深入的了解。全球HCV流行率平均约为 3% (0 1% - 5 % ) [1] ,我国流行率平均为 3 2 %。男性高于女
如果做个有心人,将一年中的大小节日、纪念日统计一下,我们会发现,特别的日子真多!我们常常在不平凡的日子中度过,然而除了在电视、报刊中了解到一些与之相关的信息外,我们的生活却并不因这些日子的到来而格外鲜活生动。相反,好多日子已离我们愈来愈远,我们的情感不会因它而起半点波澜。比如:3月5日。在毫无准备的情况下,突然问别人:“这是什么日子?”多半会有人莫名其妙地睁大双眼。也许说到2月14日这个并不属于我
为推动现代农业产业基地建设,培养和造就一大批农业产业大户和现代农民企业家,2010年四川省决定在40个县实施农民创业培训。10月9日,四川省级农民创业培训示范班开班仪式在省