业务流程设计与验证的体系结构被引量：1

下载PDF

导出

摘要工作流产品中的一个重要组成部分是业务流程的设计和验证。由于WSBPEL是半形式化的描述方法,不易检测与验证,难以保证Web服务组合的正确性,也无法在较抽象的层次上跟踪其业务流程。针对此问题,该文提出了业务流程建模与验证的三层体系结构,并实现了业务流程到π演算描述的转换算法。

作者王赏玉

机构地区西安建筑科技大学

出处《电脑知识与技术》 2013年第1X期519-521,共3页 Computer Knowledge and Technology

基金 2012年度甘肃省社会规划科学项目<甘肃省人口老龄化与养老保障服务体系研究>的阶段性研究成果(项目编号12023SH)

关键词 Π演算 WSBPEL 服务组合

参考文献5

1郭小群,郝克刚,侯红,丁剑洁.用Pi演算为业务过程建模的生命周期[J].计算机科学,2009,36(11):157-159. 被引量：2
2辜希武,卢正鼎.基于Pi-演算的BPEL4 WS Web服务组合形式化模型[J].计算机科学,2007,34(3):69-74. 被引量：13
3袁勇福,高春鸣,刘荣胜.Web服务组合的互模拟验证[J].计算机应用,2006,26(10):2466-2469. 被引量：2
4廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量：107
5Vander W,PAalst M.Don’’t Go With the Flow:Web Services Composition Standards Exposed[].IEEE Intelligent Systems.2003 被引量：1

1van der Aalst W, van Hee K. Workflow Management Models, methods and systems[M]. The MIT Press,2000. 被引量：1
2Li Shuyou, Song Binheng. Normalized workflow net ( NWF - net) :Its definition and properties, doi: 10. 1016/j. future. 2005. 02. 003. 被引量：1
3Milner R, Parrow J, Walker D. A Calculus of Mobile Processes Information and Computation. 1992. 被引量：1
4Derek M E. Best Practice B P M. ACM QUEUE,March 2006. 被引量：1
5Milner R. Communicating and Mobile Systems: The Pi Calculus [M]. Cambridge, UK: Cambridge University Press, 1999. 被引量：1
6Gamma,et al. Design pattern[M].北京:机械工业出版社,2002. 被引量：1
7Luechi R, Mazzara M. A pi - calculus based semantics for WSBPEL[J]. The Journal of Logic and Algebraic Programming, 2007,70:96-118. 被引量：1
8Abouzaid F, Mullins J. A Calculus for Generation, Verification and Refinement of BPEL Specifications[J]. Electronic Notes in Theoretical Computer Science, 2008,200: 43-65. 被引量：1
9Crafa S,Mio M, Miculan M, et al. PicNic Pi-calculus Non-Interference Checker[C]//29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Xi ' an, China, June 2008. 被引量：1
10Koehler J., Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, 28～35 被引量：1

1康辉,苑森淼,蒋峰,付玉.基于PI-演算的移动通信过程建模[J].吉林大学学报（工学版）,2008,38(S2):191-197.
2云本胜.基于Pi-演算的信任Web服务组合建模[J].计算机科学,2012,39(S3):240-244. 被引量：2
3张功源,李必信,邱栋,吉顺慧.一种基于并发的BPEL控制流模型的分析及验证[J].计算机研究与发展,2010,47(S1):249-254.
4杨嘉报,宁红云,孙俊清.基于SOA和价值模型的采购物流系统建模分析[J].系统工程理论与实践,2011,31(S2):19-27. 被引量：1
5郭玉彬,杜玉越,奚建清.Web服务组合的有色网模型及运算性质[J].计算机学报,2006,29(7):1067-1075. 被引量：40
6程杰,程燕.Web服务复合技术在SOA系统中的研究与应用[J].电脑知识与技术,2006(9):129-131. 被引量：1
7侯丽珊,金芝,吴步丹.需求驱动的Web服务建模及其验证:一个基于本体的方法[J].中国科学（E辑）,2006,36(10):1189-1219. 被引量：11
8冯名正.Web服务组合研究综述[J].计算机应用与软件,2007,24(2):23-27. 被引量：21
9刘琼,彭鑫,赵文耘.一种改进的基于Pi演算的Web服务自动组装方法[J].计算机工程与应用,2007,43(16):67-70. 被引量：1
10张佩云,黄波,孙亚民.基于Petri网的Web服务组合模型描述和验证[J].系统仿真学报,2007,19(12):2872-2876. 被引量：20

1庄平.转换基于Component的软件架构至基于服务的架构[J].计算机光盘软件与应用,2011(18):68-69.
2李广水,郑滔,宋丁全.基于分布式服务模型的遥感影像数据挖掘系统[J].计算机工程,2009,35(23):21-23.
3刘波,吴家铸.Web服务组合分布式协调模型研究[J].微电子学与计算机,2006,23(10):207-210. 被引量：1
4饶东宁,蒋志华,姜云飞,吴康恒.从WSBPEL程序中学习Web服务的不确定动作模型[J].计算机研究与发展,2010,47(3):445-454. 被引量：10
5樊玮,匡载华.基于UML的业务流程建模及到BPEL4WS的转换[J].航空计算技术,2010,40(1):79-84. 被引量：1
6章品正,赵洪玉,梁晓云,舒华忠,徐琴珍.一种复杂背景中的人脸检测与验证方法[J].数据采集与处理,2004,19(1):10-15. 被引量：4
7高军礼,朱慧华,李龙昌,陈玮.基于可编程电路的有害气体检测系统研制[J].自动化与仪表,2014,29(7):18-21. 被引量：3
8李琦,胡义刚,朱建军,周杨.基于逆向工程的叶轮叶片建模[J].轻工机械,2015,33(4):76-80. 被引量：8
9李杨,程建华,房鼎益,陈晓江,冯健.并发系统的安全性与活性的验证方法[J].计算机工程与应用,2008,44(4):107-110.

电脑知识与技术

2013年第1X期

内容加载中请稍等...