Computer Science ›› 2016, Vol. 43 ›› Issue (11): 40-48.doi: 10.11896/j.issn.1002-137X.2016.11.008
Previous Articles Next Articles
LI Zong-hua, ZHOU Xiao-feng, WU Ke-li and CHEN Fu-bing
[1] Touzi J,Benaben F,Pingaud H,et al.A model-driven approach for collaborative service-oriented architecture design [J].International Journal of Production Economics,2009,121(1):5-20 [2] Bousetta B,Beggar O,Gadi T.A methodology for CIM modelling and its transformation to PIM [J].Journal of Information Engineering and Applications,2013,3(2):1-21 [3] Fabra J,De Castro V,lvarez P,et al.Automatic execute of bu-siness process models:exploiting the benefits of model-driven engineering approaches[J].Journal of Systems and Software,2012,85(3):607-625 [4] OMG.Business Process Model and Notation(BPMN)(Ver-sion2.0)[EB/OL].[2011-01-03].http://www.omg.org/spec/BPMN/2.0 [5] OMG.Business Process Definition Metamodel(Version1.0)[EB/OL].[2008-11-03].http://www.omg.org/spec/BPDM/1.0 [6] IBM.Business Process modelling Language(BPML)(Version 5.2)[EB/OL].ftp://public.dhe.ibm.com/software/commerce/doc/sb2bi/v5r2/SI52_BPML_book.pdf [7] Harmon P.The OMG’s model driven architecture and BPM[J].Business Process Trends,2004,2(5):1-11 [8] Feng Xiao-ning,Li Qi-xing,Wang Zhuo.A Mapping Methodfrom BPMN Models to BPEL[J].Journal of Computer Research and Development.2013,50(S1):44-52(in Chinese) 冯晓宁,李麒星,王卓.一种基于BPMN的业务流程图到BPEL的映射方法 [J].计算机研究与发展,2013,50(S1):44-52 [9] Wei Ling,Ai Yong-lin,Wei Jun.Model Transformation fromBPMN to BPEL2.0[J].Application Research of Computers.2008,25(11):3363-3366(in Chinese) 魏凌,爱永霖,魏竣.BPMN到BPEL2.0的模型转换方法 [J].计算机应用研究,2008,25(11):3363-3366 [10] Ma Jian,Xu Tao,Zhang Yu-ping.Conversion of business process models based on continuous semantics[J].Journal of Computer Applications,2013,33(S1):243-246(in Chinese) 马健,徐涛,张育平.基于连续语义的业务流程模型的转换 [J].计算机应用,2013,33(S1):243-246 [11] Wong P Y H,Gibbons J.Formalisations and applications ofBPMN [J].Science of Computer Programming,2011,76(8):633-650 [12] Dijkman R M,Dumas M,Ouyang C.Semantics and analysis of business process models in BPMN [J].Information and Software Technology,2008,50(12):1281-1294 [13] Yang N H,Yu H Q,Sun H,et al.Modeling UML sequence diagrams using extended Petri nets [J].Telecommunication Systems,2012,51(2):147-158 [14] Fabra J,lvarez P,Banares J,et al.DENEB:a platform for the development and execution of interoperable dynamic web processes [J].Concurrency and Computation:Practice and Experience,2011,23(8):2421-2451 [15] Philippi S.Automatic code generation from high-level Petri-Nets for model driven systems engineering [J].Journal of Systems and Software,2006,79(10):1444-1455 [16] van der Aalst W M P,ter Hofstede A H M.YAWL:yet another workflow language [J].Information Systems,2005,30(4):245-275 [17] Bigham J,Jin X,Gamez D,et al.Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures [J].Electronic Notes in Theoretical Computer Science,2005,1:87-99 [18] Li Z H,Zhou X F,Gu A H,et al.A complete approach for CIM modelling and model formalizing [J].Information and Software Technology,2015,65(9):39-55 [19] Li Zong-hua,Zhou Xiao-feng,Gu Ai-hua,et al.Survey of CIM modeling and model formalization[J].Application Research of Computers,2014,31(10):2896-2901(in Chinese) 李宗花,周晓峰,顾爱华,等.CIM建模及模型形式化方法研究综述 [J].计算机应用研究,2014,31(10):2896-2901 [20] De Castro V,Marcos E,Vara J M.Applying CIM-to-PIM model transformations for the service-oriented development of information systems [J].Information and Software Technology,2011,53(1):87-105 [21] Kostin A E.Reachability analysis in T-invariant-less Petri Nets [J].IEEE Transactions on Automatic Control,2003,48(6):1019-1024 [22] Yoo T,Jeong B,Cho H.A Petri nets based functional validation for services composition [J].Expert Systems with Applications,2010,37(5):3768-3776 [23] Balaban M,Maraee A,Sturm A,et al.A pattern-based approach for improving model quality [J].Software System Model,2015,14(4):1527-1555 [24] Ye Y,Jiang Z B,Diao X D,et al.Extended event-condition-action rules and fuzzy Petri nets based exception handling for workflow management [J].Expert Systems with Applications,2011,38(9):10847-10861 [25] Dines Bjrner.Software Engineering 2 Specification of Systems and Language[M].Springer,2006:316-322 [26] Steinberg D,Budinsky F,Paternostro M,et al.EMF:EclipseModeling Framework(2nd Edition) [M].Addison-Wesley Professional,2008:104-124 [27] ATLAS.ATL recognized as a standard solution for model transformation in Eclipse [EB/OL].[2007-01-15].http://www.eclipse.org/gmt [28] Jouault F,Allilaire F,Bezivin J,et al.ATL:a model transformation tool [J].Science of Computer Programming,2008,72(1/2):31-39 [29] W3C.Web Service Choreography Interface(WSCI)(Version1.0)[EB/OL].www.w3.org/TR/wsci |
No related articles found! |
|