Computer Science ›› 2017, Vol. 44 ›› Issue (1): 203-207.doi: 10.11896/j.issn.1002-137X.2017.01.039
Previous Articles Next Articles
ZHANG Ya
| [1] VAN DER ALST WM P,DUMAS M,OUYANGETA C.Choreography Conformance checking:An Approach based on BPEL and Petri Nets[C]∥Proceedings of the 4th Intemational Conferen-ce on Business Process Management.Vierula,Austria,2006. [2] OUYAJLG C,VERBEEK E,VAN DER ALST W M P,et al.Formal semantics and analysis of control flow in WS-BPEL[J].Science of Computer Programming Archive,2007,67(23):162-198. [3] FARAHBOD R,GLSSER’ U,VAJIHOLLAHI M.A formal semantics for the Business Process Execution Language for Web Services[C]∥Web Services and Model-Driven Enterprise Information Services.2005. [4] VERBEEK H,VAN DER ALST W M P.Analyzing BPEL pro-cesses using Petri-Nets[C]∥Second International Workshop on Application of Petri-Nets to Coordination Workflow and Business Process Management.2005. [5] SCHMIDT K,STAHL C.A Petri net semantic for BPEL4WS Validation and application[J].Proceedings of the 11th Workshop on Algorithms and Tools for Petri-Nets.Paderbom,2004,75(21):1-6. [6] HINZ S,SCHMIDT K,STAHL C.Transforming BPEL to Petri Nets[C]∥International Conference on Business Process Manage-ment.2005:220-235. [7] STAHL C.A Petri Net Semantics for BPEL:Technical Repert 188[R].Humboldt University Zu Berlin,Institut for Informatik, 2005. [8] HOLZMANN G J.The Spin Model Checker:Primer and Re-ference Manual[D].Addison-Wesley,Boston,MA,USA:2004. [9] SCHMIDT K.LoL A-a low 1evel analyser[C]∥Proceedings of the 21st Intemational Conference on Application and Theory of Petri Nets,Volume1 825 of Lecture Notes in Computer Science.Aarhus,Demnark:Springer,Verlag,2000:465-474. [10] LOHMANN N.A Feature-Complete Petri Net Semantics or WS-BPEL2.0[C]∥Web Services and Formal Methods International Workshop(WSFM07).2007:77-91. [11] SUN Xi-long.Research on Web Service Composition TestingBased on BPEL[D].Beijing:Beijing University of Technology,2009.(in Chinese) 孙喜龙.基于BPEL的Web服务组合测试研究[D].北京:北京工业大学,2009. [12] YU Bo.Application of Petri Net to Improve the Correctness of BPEL Program[J].Application Research of Computers,2011(28):3348-3350.(in Chinese) 余波.应用Petri网改进BPEL程序的正确性[J].计算机应用研究,2011(28):3348-3350. [13] LUO Xiang-yu,TAN Zheng,SU Kai-le,et al.A Web Service Composition Verification Method Based on Cognitive Model Detection[J].Chinese Journal of Computers,2011(34):1041-1061.(in Chinese) 骆翔宇,谭征,苏开乐,等.一种基于认知模型检测的Web服务组合验证方法[J].计算机学报,2011(34):1041-1061. [14] SUN Lin,LIU Jiu-fu,YANG Zhen-xing.Software Test Case Ge-neration Method Based on Petri Net[J].Computer Measurement &Control,2010(18):2019-2022.(in Chinese) 孙琳,刘久富,杨振兴.基于Petri网的软件测试用例生成方法[J].计算机测量与控制,2010(18):2019-2022. [15] MOU Xiao-ling.Research on Service Composition Testing Based on Extended Colored Petri Nets[D].Chongqing:Southwest University, 2012.(in Chinese) 牟小玲.基于扩展着色Petri网的服务组合测试研究[D].重庆:西南大学,2012. |
| No related articles found! |
|
||
Home