【摘 要】
：
为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL
【机 构】
：
上海大学计算机工程与科学学院,上海大学计算机工程与科学学院,上海大学计算机工程与科学学院 上海200072,上海200072,上海200072
【出 处】
：
Journal of Southeast University(English Edition)
论文部分内容阅读
为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.
In order to improve the validity and reliability of web service flow, a π-calculus formalization method is proposed, which can overcome the defects that the web service flow language can not indicate consistency and verify, etc. The π-calculus analysis of web service flow and Modeling, WS-BPEL grammar elements and dynamic basic activities were analyzed and formalized, at the same time, π-calculus and WS-BPEL mutual mapping were described.Finally, the use of π-calculus to describe the basic structure of web business processes , And discussed the method of business modeling with π-calculus from different angles, and effectively analyzed and modeled the π-calculus of the business process of WS-BPEL.
其他文献
随着社会主义市场经济的发展和改革开放的进一步深入,企业经营机制的转换,企业生存发展的内部环境和外部环境发生了很大变化。企业职工思想工作面临着许多新情况新问题,也带
在教学改革的进程中,教师比较注重高效课堂的构建。在新型的教学模式中,要实现高效的教学,不单单是完成教学大纲的要求,更重要的是学生的掌握程度。只有学生真正掌握教材中的
信息技术辅助教学是一种现代的教学手段,它利用文字、实物、图像、声音等多种媒体向学生传递信息。它能多角度地调动学生的情绪、情感、注意力和兴趣;能突破视觉的限制,多角
前言党的十八大提出了两个一百年的奋斗目标,即在中国共产党成立一百年时全面建成小康社会,在新中国成立一百年时建成富强民主文明和谐的社会主义现代化国家。也特别提出了贯
培养学生的运动技能,其实质就是通过以肌肉感觉为基础的本体感觉所建立的复杂的条件反射。在体育教学中要培养学生的运动技能,就必须培养学生的本体感觉。笔者通过多年的教学
课堂氛围是指在课堂中师生之间和学生之间围绕教学目标展开的教与学的活动而形成的某种占优势的综合的心理状态。良好的课堂氛围可以激发学生学习的自主性和积极性,提高学生
Background/Aims We performed the current study to assess the intestinal activity of enterocyte phosphate-activated glutaminase(PAG) in cirrhosis. Methods Forty-
摘 要 语文教学应“立足自主，着眼创新”。创新是一个民族的灵魂，是一个国家兴旺发达的不竭动力。小学语文是一门基础学科，富有情感，极具个性，容易激发学生的创新意识与创造性思维，在培养学生创新能力方面具有独特的作用.在中小学实施创新是当前推进素质教育的重点，我们要给小学的创新教育以正确的定位。 【关键词】小学语文；课堂教学；创新 创新教育是21世纪教育的主题，也是培养创新思维﹑创新型人才的途径。
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
合作学习作为新的学习方式,有别于以往的“教师为主”的被动课堂,而是注重了课堂教学中的多边互动。但在实际教学中合作学习在展开实施的过程中存在着以下问题:一、合作学习