【摘 要】
：
针对面向业务流程重组的应用服务器在可信属性建模方面的不足，基于组成应用服务器的构件属性和构件组合行为特征，利用进程代数等相关方法进行抽象，从构件之间的运算角度，定义BPRA
【机 构】
：
北方民族大学计算机科学与工程学院,北京邮电大学计算机学院,北京邮电大学可信分布式计算与服务教育部重点实验室
【基金项目】
：
国家自然科学基金资助项目(91118002;71061001;61162013);宁夏科技攻关计划项目(宁科计字[2010]168号);宁夏自然科学基金资助项目(NZ0955)
论文部分内容阅读
针对面向业务流程重组的应用服务器在可信属性建模方面的不足，基于组成应用服务器的构件属性和构件组合行为特征，利用进程代数等相关方法进行抽象，从构件之间的运算角度，定义BPRAS构件运算算子，从而建立BPRAS代数模型，并基于该代数模型，进一步对其支撑的业务流程应用软件可信属性建模，提出多种可信范式，为可信BPRAs软件设计提供理论模型支撑。最后介绍了一个应用实例。
其他文献
<正>《语文课程标准》明确指出:"阅读应该让学生在积极、主动的思维情感下,加深理解和体验,有所感悟与思考,获得思想启迪,享受审美乐趣。"笔者以作家琦君《桂花雨》一文的教
大肠杆菌中色氨酸向胞内的转运主要是由mtr、tnaB和aroP 3个基因编码的通透酶进行调控。利用Red重组技术,在mtr单基因敲除菌的基础上,成功构建了mtr.tnaB和mtr.aroP双基因敲
随着光电探测系统发展,夜视系统被广泛的应用到各行各业。众所周知,夜间行车由于照明不好,驾驶员不能及时的掌握路面状况,易发生交通事故,为此有必要开发一种适合车载的夜视
病毒感染与宿主免疫的机制是当今病毒学研究最重要的前沿领域之一。病毒感染宿主细胞时,细胞表达的模式识别受体(pattern recognition receptors, PRRs)识别和递呈病毒的病原
配位聚合物是由金属离子和有机或无机配体通过自组装而形成的新型固体材料,是一类重要的有机-无机杂化体系。由于配位聚合物结构的多样性而使其在光学、磁学、催化、吸附、分
入世五年过渡期结束后,我国对外资的全面开放,国内金融业混业经营的步伐加速,银行、保险、信托与证券公司在业务上交叉、融合并逐步渗透,以及浮动佣金制度的全面实施,证券公
采访遭拒是新闻记者在日常采访中经常遇到的问题,同时也是许多记者在采访中面临的共同难题。一般来说,新闻采访遭受拒绝的原因主要来自于记者自身和被采访者两个方面,因此当
精氨酸脱亚胺酶(ADI)是一种针对精氨酸缺陷型癌症(如：肝癌、黑素瘤)的新药，目前处于临床三期试验。文中通过定点突变技术分析了精氨酸脱亚胺酶的特定氨基酸位点对酶活力的
本文以四通道原子荧光光度计为基础,详细研究点火炉丝的温度、泵速、溶液的酸度、硼氢化钾浓度、硫脲浓度及还原时间、载气及屏蔽气流量等实验参数对As、Sb、Bi、Hg等元素荧
目的:比较3种不同血液净化方式对维持性血液透析(MHD)患者微炎症状态的影响。方法:选取MHD患者42例,随机分为HD组、HFHD组和HDF组各14例,另选健康体检者30例为对照组。检测透