构件化业务流程重组应用服务器可信性度量方法研究

doi:10.3969/j.issn.1000-436x.2014.03.006

通信学报 ›› 2014, Vol. 35 ›› Issue (3): 47-57.doi: 10.3969/j.issn.1000-436x.2014.03.006

构件化业务流程重组应用服务器可信性度量方法研究

韩强^1,^2,³,袁玉宇^1,²

¹ 北京邮电大学计算机学院，北京 100876
² 北京邮电大学可信分布式计算与服务教育部重点实验室，北京 100876
³ 北方民族大学计算机科学与工程学院，宁夏银川 750021

出版日期:2014-03-25 发布日期:2017-08-17
基金资助:
国家自然科学基金资助项目;国家自然科学基金资助项目;国家自然科学基金资助项目;国家自然科学基金资助项目;国家民委科研基金资助项目;北方民族大学科研基金资助项目

Research on trustworthiness measurement approaches of component based BPRAS

Qiang HAN^1,^2,³,Yu-yu YUAN^1,²

¹ School of Computer Science,Beijing University of Posts and Telecommunications,Beijing 100876,China
² Key Laboratory of Trustworthy Distributed Computing and Service,Ministry of Education,Beijing University of Posts and Telecommunications,Beijing 100876,China
³ School of Computer Science and Engineering,Beifang University of Nationalities,Yinchuan 750021,China

Online:2014-03-25 Published:2017-08-17
Supported by:
The National Natural Science Foundation of China;The National Natural Science Foundation of China;The National Natural Science Foundation of China;The National Natural Science Foundation of China;The Science Foundation of State Nationalities Affairs Commission;The Science Foundation of Beifang University of Nationalities

摘要/Abstract

摘要：

针对面向业务流程重组的应用服务器（BPRAS,business process re-engineering oriented application server）的可信性度量方法形式化方面的不足，给出了 BPRAS 的业务流程建模与可信性度量协作框架，并在此框架基础上，提取组成应用服务器的构件属性和构件组合行为特征，通过进程代数等相关方法进行抽象，从构件之间的运算角度，定义BPRAS构件运算算子，从而建立BPRAS代数模型，并进一步对其支撑的业务流程应用软件可信性进行建模，提出多种可信范式，为可信BPRAS软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。

关键词: 业务流程重组, 应用服务器, 构件, 软件可信性, 度量

Abstract:

Aiming at the absence of measurement methods about formalization on trustworthiness attributes of business process reengineering oriented application server (BPRAS),a cooperation framework of business process modeling and trustworthiness measurement based on BPRAS was proposed.Extracting the features of characteristics and behaviors of components consisting of the application server,an abstraction view of computing between those components based on the framework was presented through process algebraic approaches.Furthermore,relative concepts about its components computing operators were defined in order to construct algebraic model of its software trustworthiness (ST) to support the measurement of trustworthy BPRAS.Finally,an application case was also given.

Key words: business process reengineering, application server, component, software trustworthiness, measurement

韩强,袁玉宇. 构件化业务流程重组应用服务器可信性度量方法研究[J]. 通信学报, 2014, 35(3): 47-57.

Qiang HAN,Yu-yu YUAN. Research on trustworthiness measurement approaches of component based BPRAS[J]. Journal on Communications, 2014, 35(3): 47-57.

图/表 5

参考文献 18

[1]	陈火旺，王戟，董威．高可信软件工程技术[J]．电子学报， 2003,31(12A):1933-1938. CHEN H W , WANG J , DONG W . High confidence software engineering technologies[J]. Acta Electronica Sinca, 2003,31(12A):1933-1938.
[2]	赵会群，孙晶．面向服务的可信软件体系结构代数模型[J]．计算机学报， 2010,33(5):890-899. ZHAO H Q , SUN J . An algebraic model of service oriented trustworthy software architecture[J]. Chinese Journal of Computers, 2010,33(5):890-899.
[3]	张帆，江敏，吴怀广等．一种基于无干扰的软件动态行为可信性分析方法[J]．计算机科学， 2012,39(1):101-103. ZHANG F , JIANG M , WU H G , et al. Approach for trust analysis of software dynamic behavior based on noninterference[J]. Computer Science, 2012,39(1):101-103.
[4]	YUAN Y Y , HAN Q . A data mining based measurement method for software trustworthiness[J]. Chinese Journal of Electronics, 2012,21(1): 13-16.
[5]	HAN Q , QIAN Y S . VIMPM A tool to support BPR in integrated manufacturing[A]. Proceedings of TMEE2011[C]. Changchun,Chian, 2011. 910-913.
[6]	罗海滨，范玉顺，吴澄．工作流技术综述[J]．软件学报， 2000,11(7):899-907. LUO H B , FAN Y S , WU C . Overview of workflow technology[J]. Journal of Software, 2000,11(7):899-907.
[7]	史美林，杨光信，向勇等． WfMS：工作流管理系统[J]．计算机学报， 1999,22(3):325-334. SHI M L , YANG G X , XIANG Y , et al. WFMS:workflow management system[J]. Chinese Journal of Computers, 1999,22(3):325-334.
[8]	CAO J W , ZHANG F , XU K , et al. Formal verification of temporal properties for reduced overhead in grid scientific workflows[J]. Journal of Computer Science and Technology, 2011,26(6): 1017-1030.
[9]	YU Z F , SHI W S . Queue waiting time aware dynamic workflow scheduling in multicluster environments[J]. Journal of Computer Science and Technology, 2010,25(4): 864-873.
[10]	余阳，汤庸，潘茂林等．时态工作流过程模型及其合理性验证[J]. 软件学报， 2010,21(6):1233-1253. YU Y , TANG Y , PAN M L , et al. Temporal workflow process model and its soundness verification[J]. Journal of Software, 2010,21(6):1233-1253.
[11]	VIRIYASITAVAT W , MARTIN A . A survey of trust in workflows and relevant contexts[J]. Communications Surveys ＆ Tutorials,IEEE, 2011,(99): 1-30.
[12]	TAO Q , CHANG H Y , YI Y , et al. A rotary chaotic PSO algorithm for trustworthy scheduling of a grid workflow[J]. Computers and Operations Research, 2011,38(5): 824-836.
[13]	胡春华，吴敏，刘国平． Web服务工作流中基于信任关系的QoS调度[J]．计算机学报， 2009,32(1):42-52. HU C H , WU M , LIU G P . QoS scheduling based on trust relationship in web service workflow[J]. Chinese Journal of Computers, 2009,32(1):42-52.
[14]	SPITZ S , B?K P B , TüCHELMANN Y . Trust-based resource allocation and evaluation of workflows in distributed computing environments[A]. ICSTE2010[C]. 2010. 372-376.
[15]	杨建华，谢高岗，李忠诚．一种业务流自适应尽力采样方法[J]．计算机研究与发展， 2006,43(3):402-409. YANG J H , XIE G G , LI Z C . A best-effort adaptive sampling method for flow-based traffic monitoring[J]. Journal of Computer Research and Development, 2006,43(3):402-409.
[16]	李海波，战德臣，徐晓飞．工作流业务规则语义的完整性验证技术[J]．计算机研究与发展， 2009,46(7):1143-1151. LI H B , ZHAN D C , XU X F . Integration verification of workflow business rule semantic[J]. Journal of Computer Research and Development, 2009,46(7):1143-1151.
[17]	李斌，谢丰，陈钟．一种面向业务的风险评估模型[J]．计算机研究与发展， 2011,48(9):1634-1642. LI B , XIE F , CHEN Z . A business oriented risk assessment model[J]. Journal of Computer Research and Development, 2011,48(9):1634-1642.
[18]	王远，范玉顺．工作流时序约束模型分析与验证方法[J]．软件学报， 2007,18(9):2153-2161. WANG Y , FAN Y S . A method of time constraint workflow model analysis and verification[J]. Journal of Software, 2007,18(9):2153-2161.

构件化业务流程重组应用服务器可信性度量方法研究

Research on trustworthiness measurement approaches of component based BPRAS

在线阅读

PDF下载

可视化

被引次数

摘要/Abstract

引用本文

使用本文

图/表 5

参考文献 18

相关文章 15

Metrics

推荐阅读 0

[1]	李君, 周乐佳, 李正权, 吉茹, 诸锦涛, 刘兴鑫, 刘子怡. 基于GRU网络辅助和路径度量交换的极化码SCLF算法[J]. 通信学报, 2023, 44(6): 223-237.
[2]	王欣, 付威. 基于推土机距离的证据冲突强度量方法[J]. 通信学报, 2022, 43(5): 204-213.
[3]	李凤华, 李超洋, 郭超, 李子孚, 房梁, 郭云川. 泛在网络环境下隐蔽通道关键技术研究综述[J]. 通信学报, 2022, 43(4): 186-201.
[4]	顾秋阳, 吴宝, 池仁勇. 基于高阶路径相似度的复杂网络链路预测方法[J]. 通信学报, 2021, 42(7): 61-69.
[5]	王洪雁, 张莉彬, 陈国强, 汪祖民, 管志远. 结合粒子滤波及度量学习的目标跟踪方法[J]. 通信学报, 2021, 42(5): 98-110.
[6]	郭兴林, 孙振晓, 周昱瑶, 漆莲芝, 张谊. 基于Pignistic概率转换和奇异值分解的证据冲突度量方法[J]. 通信学报, 2021, 42(4): 150-157.
[7]	涂碧波, 程杰, 夏豪骏, 张坤, 孙瑞娜. 云虚拟化平台可信证明技术研究综述[J]. 通信学报, 2021, 42(12): 212-225.
[8]	黄瑞章,白瑞娜,陈艳平,秦永彬,程欣宇,田有亮. CMDC：一种差异互补的迭代式多维度文本聚类算法[J]. 通信学报, 2020, 41(8): 155-164.
[9]	吴晨思,谢卫强,姬逸潇,杨粟,贾紫艺,赵松,张玉清. 网络系统安全度量综述[J]. 通信学报, 2019, 40(6): 14-31.
[10]	张文静,刘樵,朱辉. 基于信息论方法的多等级位置隐私度量与保护[J]. 通信学报, 2019, 40(12): 51-59.
[11]	田俊峰,郭玉慧. 基于检查点场景信息的软件行为可信预测模型[J]. 通信学报, 2018, 39(9): 147-158.
[12]	陈建平,杨正霞,刘全,吴宏杰,徐杨,傅启明. 基于值函数迁移的启发式Sarsa算法[J]. 通信学报, 2018, 39(8): 37-47.
[13]	樊佩茹,赵波,倪明涛,陈治宏. APM：适用于IaaS平台的agent保护机制[J]. 通信学报, 2018, 39(4): 176-188.
[14]	俞艺涵,付钰,吴晓平. 基于Shannon信息熵与BP神经网络的隐私数据度量与分级模型[J]. 通信学报, 2018, 39(12): 10-17.
[15]	陈建平,何超,刘全,吴宏杰,胡伏原,傅启明. 增强型深度确定策略梯度算法[J]. 通信学报, 2018, 39(11): 106-115.