论文部分内容阅读
工作流产品中的一个重要组成部分是业务流程的设计和验证。由于WSBPEL是半形式化的描述方法,不易检测与验证,难以保证Web服务组合的正确性,也无法在较抽象的层次上跟踪其业务流程。针对此问题,该文提出了业务流程建模与验证的三层体系结构,并实现了业务流程到π演算描述的转换算法。
业务流程设计与验证的体系结构
【摘 要】
：
工作流产品中的一个重要组成部分是业务流程的设计和验证。由于WSBPEL是半形式化的描述方法,不易检测与验证,难以保证Web服务组合的正确性,也无法在较抽象的层次上跟踪其业务
【机 构】
：
西安建筑科技大学
【出 处】
：
电脑知识与技术
【发表日期】
：
2013年03期
【基金项目】
：
2012年度甘肃省社会规划科学项目《甘肃省人口老龄化与养老保障服务体系研究》的阶段性研究成果(项目编号12023SH)
其他文献
目的：探讨甲钴胺联合前列地尔治疗糖尿病痛性神经病变的疗效。方法：70例糖尿病伴痛性神经病变的患者,随机分成观察组和对照组,观察组采用甲钴胺联合前列地尔治疗,对照组采用硫
加工中心(Machining Center,MC)是一种具有自动换刀功能的数控机床,高效率高精度,它是综合多学科交叉融合的机电一体化加工设备,是目前在全球应用最为广泛的综合性数控机床。
出口信用保险是各国为推动本国的出口贸易,保障出口商的收汇安全和银行的信贷安全,以国家财政为后盾,为企业在出口贸易、对外投资和对外工程承包等经济活动中提供风险保障的
出版输出是日本文化输出的重要组成部分,契合了日本社会经济的发展。本文从日本立国政策的背景出发,梳理了日本出版业输出中日本政府的角色。日本政府在法律保障、政策导向、
目的:室性心动过速常发生在患器质心脏病、心肌梗塞、心肌病基础上,发病急、时间短、极易引发心室纤颤至死亡,死亡率极高。迅速、准确作出心电图诊断对治疗极为重要。方法当
目的:分析无心肌梗死的严重三支血管病变(左前降支、左回旋支及右冠状动脉狭窄均≥70%)患者心功能不全与其心电图指标的相关性。方法:入选2017-03-01至2017-07-05期间入我院
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
“互联网+”背景下,C2C电商作为一个新兴行业,许多行业制度还未完善,如税收制度,使C2C电商的税收征管理存在较大问题,造成国家税收的严重流失。本研究以淘宝网为例,对“互联
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield