一种支持流程整合的业务协议组合代数

来源 :计算机工程 | 被引量 : 0次 | 上传用户:hekaishou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。
其他文献
目的:观察并探讨产前超声在诊断血管前置中的临床应用价值。方法:选取2016年12月—2018年6月期间12例我院确诊的血管前置孕妇,对所有孕妇产前超声图像资料及妊娠病理结果进行
STAT3,STAT5的异常表达和活化,与肿瘤的发生、发展及恶性生物学行为关系密切。STAT3,STAT5靶向治疗是目前肿瘤治疗领域研究的热点之一,并显示出良好的治疗前景。现就该方向研
目的:探讨在放射科中数字X线摄影技术的应用价值。方法:在2017年1月—2018年12月时间段内,选取本院放射科收治的患者74例作为研究对象,以检查方式的不同平均分为A组和B组,每
日前,江苏连云港徐圩新区管委会和南京通用新能源电力有限公司签订12兆瓦生物质沼气发电项目合作框架协议,力争在连云港建成国内首个生物质资源循环利用示范项目和世界上规模
针对无线传感器网络的异构特性,提出一种能量有效的分布式分簇算法EEDC。预先选择剩余能量较多的节点作为竞争簇头的候选簇头节点,以簇内通信代价作为候选节点竞争最终簇头的竞
对王之仓等人提出的自认证多接收者签密方案(微电子学与计算机,2010年第11期)进行分析,指出攻击者可以利用公开的信息伪造合法的新消息,因此不具有不可伪造性,并基于有限域上离
目的:探讨整体护理在冠状动脉造影中的应用效果。方法:于本院2018年1月至2019年1月接收的冠状动脉造影患者中选取160例,随机分为观察组(80例)与对照组(80例)。对照组给予常规