基于Petri网的服务流程结构健壮性判定

doi:10.3969/j.issn.1006-2475.2018.10.024

计算机与现代化

• 数据库与数据挖掘 • 上一篇

基于Petri网的服务流程结构健壮性判定

(1.山东省人大常委会办公厅信息中心,山东济南250011；2.青岛科技大学信息科学技术学院,山东青岛266061)

收稿日期:2018-04-11 出版日期:2018-10-26 发布日期:2018-10-26
作者简介:高强(1978-),男,山东潍坊人，山东省人大常委会办公厅信息中心工程师，本科，研究方向：信息安全，软件形式化方法；胡强(1980-),男,山东邹城人，青岛科技大学信息科学技术学院副教授,博士,研究方向：智能信息处理，服务计算。
基金资助:
山东省优秀中青年科学家科研奖励基金资助项目(BS2015ZZ006); 山东省重点研发计划项目(2016GGX101031)

Determination of Structure Soundness for Service Processes Based on Petri Net

(1. Information Center of Shandong Province Peoples Congress Standing Committee General Office, Jinan 250011, China；

2. School of Information Science and Technology, Qingdao University of Science and Technology, Qingdao 266061, China)

Received:2018-04-11 Online:2018-10-26 Published:2018-10-26

摘要/Abstract

摘要： 结构健壮性判定是服务组合领域的一个重要研究问题。已有研究成果通常仅对健壮性进行定性分析，难以精准对服务流程的结构质量进行评价。针对上述问题，本文提出一种基于Petri网的结构健壮性的层次评价方法，建立4个层次的服务流程结构健壮性划分准则，并给出相关判定算法。最后，以网上在线交易服务流程为背景，构建不同级别结构健壮性的流程算例，例证了所提出方法的可行性。

关键词: Web服务, 健壮性, Petri网, 服务组合, 服务网

Abstract: Determination of structure soundness is an important research issue in the domain of service composition. The existing research focuses qualitative analysis of structure soundness and cannot accurately evaluate the structure quality of service processes. To address such problem, a hierarchy evaluation method for structure soundness based on Petri net is proposed. The four-level divided principle of structure soundness for service processes is put forward and its determining algorithm is also presented. Finally, application instances with the background of online-trade service processes are given to show how to judge the different level of structure soundness and the effectiveness of the proposed method.

Key words: Web service, soundness, Petri net, service composition, service net

中图分类号:

TP311

高强1，胡强2. 基于Petri网的服务流程结构健壮性判定[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2018.10.024.

GAO Qiang1, HU Qiang2. Determination of Structure Soundness for Service Processes Based on Petri Net[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2018.10.024.

参考文献

［1］姜毅,王伟军,曹丽,等. 基于开源软件的私有云计算平台构建［J］. 电信科学, 2017,29(1):68-75.
［2］林日昶,陈碧欢,彭鑫,等. 支持风险偏好的Web服务动态组合方法［J］. 中国科学:信息科学, 2014,44(1):130-141.
［3］ PAIK H, LEMOS A L, BARUKH M C, et al. Web service composition: Overview［M］// Web Service Implementation and Composition Techniques. Springer International Publishing, 2017:149-158.
［4］ JULA A, SUNDARARAJAN E, OTHMAN Z. Cloud computing service composition: A systematic literature review［J］. Expert Systems with Applications, 2014,41(8):3809-3824.
［5］ LU Y, XU X. A semantic Web-based framework for service composition in a cloud manufacturing environment［J］. Journal of Manufacturing Systems, 2017,42:69-81.
［6］朱李楠,王万良,沈国江. 基于改进差分进化算法的云制造资源优化组合方法［J］. 计算机集成制造系统, 2017,23(1):203-214.
［7］ YE Z, BOUGUETTAYA A, ZHOU X. Economic model-driven cloud service composition［J］. ACM Transactions on Internet Technology, 2014,14(3):205-219.
［8］李婷,何伟,崔立真,等. 基于用户偏好的个性化流程自主构建方法［J］. 计算机集成制造, 2013,19(8):1906-1912.
［9］ CLEMPNER J. Verifying soundness of business processes: A decision process Petri nets approach［J］. Expert Systems with Applications, 2014,41(11):5030-5040.
［10］DU Y, LI X, XIONG P C. A Petri net approach to mediation-aided composition of Web services［J］. IEEE Transactions on Automation Science and Engineering, 2012,9(2):429-435.
［11］MARTENS A. Analyzing Web service based business processes［M］// Fundamental Approaches to Software Engineering. Springer, 2005:19-33.
［12］FAHLAND D, FAVRE C, JOBSTMANN B, et al. Instantaneous soundness checking of industrial business process models［M］// Business Process Management. Springer, 2009:278-293.
［13］余阳,汤庸,潘茂林,等. 时态工作流过程模型及其合理性验证［J］. 软件学报, 2010,21(6):1233-1253.
［14］胡强,杜军威,杜玉越. Web服务流程的结构范式及其判定算法［J］. 计算机学报, 2015,38(1):178-190.
［15］宋晓彤. 云服务的健壮性测试研究［D］. 哈尔滨：哈尔滨工业大学, 2014.
［16］HU Q, DU Y, YU S X. Service net algebra based on logic Petri nets［J］. Information Sciences, 2014,268:271-289.
［17］胡强. 面向服务簇的服务流程构建［J］. 计算机应用, 2014,34(6):1783-1787.
［18］孙健,陶晓峰. 基于Petri网的Web服务BPEL4WS建模与分析［J］. 计算机工程, 2004,30(22):14-16.
［19］方贤文,陶小燕,刘祥伟. 基于微分Petri网的业务流程模块适配方法［J］. 电子学报, 2017,45(4):777-781.

[1]	刘甫, 余劲松弟, 魏丹丹, . 基于北斗网格的影像数据REST Web服务系统[J]. 计算机与现代化, 2023, 0(11): 108-112.
[2]	杨柳青, 王冲. 基于极大熵的Web服务资源个性化推荐方法[J]. 计算机与现代化, 2023, 0(09): 32-37.
[3]	肖航, 李鹏, 马荟平, 朱枫, . 基于随机Petri网的RFID系统安全性分析模型[J]. 计算机与现代化, 2023, 0(09): 105-114.
[4]	刘锋, 邹臣嵩, 崔炜. 大数据环境下基于K中心点优化算法的Web服务组合[J]. 计算机与现代化, 2020, 0(12): 20-24.
[5]	李海浩, 吴亚锋, 王晓强. 时间Petri网在渗透测试中的应用[J]. 计算机与现代化, 2020, 0(10): 110-115.
[6]	刘锋1,李淑芝2,邹臣嵩1. 物联网环境下基于情境的语义Web服务选择[J]. 计算机与现代化, 2019, 0(06): 38-.
[7]	李凯,郭福亮,周钢. 基于T-Petri网的舰船损管指挥过程建模[J]. 计算机与现代化, 2017, 0(12): 103-107.
[8]	邓娉. 基于云环境下Web服务应用层DDoS攻击检测系统[J]. 计算机与现代化, 2016, 0(6): 107-112,116.
[9]	郭峰,曾培峰. 基于分布式服务器的视频监视系统[J]. 计算机与现代化, 2015, 0(6): 74-77+100.
[10]	张淼1，廖浩琛2，梁杰民3. 基于ARM和微信公众平台的智能旅馆远程监控系统[J]. 计算机与现代化, 2015, 0(6): 114-118.
[11]	祁方民 . Petri网结点精化及其应用[J]. 计算机与现代化, 2014, 0(7): 125-128+132.
[12]	胡双1，陆涛2，胡建华1. 基于Web服务的SAS与.NET系统集成开发研究[J]. 计算机与现代化, 2014, 0(4): 126-129.
[13]	唐青松. 路径存储法在生成树形结构中的应用研究[J]. 计算机与现代化, 2014, 0(4): 178-181.
[14]	尹芳，李利鸽. 基于REST模式的环境保护档案信息资源服务[J]. 计算机与现代化, 2014, 0(3): 202-205,209.
[15]	周林玉1，涂海宁2，冯永平1. 基于Petri网的新型墙材生产系统建模[J]. 计算机与现代化, 2014, 0(12): 113-116+120.

基于Petri网的服务流程结构健壮性判定

Determination of Structure Soundness for Service Processes Based on Petri Net

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价