Computer Science ›› 2014, Vol. 41 ›› Issue (11): 216-226.doi: 10.11896/j.issn.1002-137X.2014.11.043
Previous Articles Next Articles
WANG Quan-yu,YING Shi,LV Guo-bin,WEN Jing,CHENG Yin-hai and CHEN Ying
| [1] Tartanoglu F,Issarny V,Romanovsky A,et al.Coordinated Forward Error Recovery for Composite Web Services[C]∥Proceedings of 22nd IEEE Symposium on Reliable Distributed Systems.Florence,Italy,October 2003:167-176 [2] OASIS.BPEL2.0.Web Services Business Process Execution Lan-guage Version 2.0[EB/OL].http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html [3] Curbera F,Khalaf R,Leymann F,et al.Exception Handling in the BPEL4WS Language[C]∥International Conference on Bu-siness Process Management.EINDHOVEN,NETHERLAND,2003:26-27 [4] Boutaba R,Aib I.Policy-Based Management:A Historical Perspectivc[J].Journal of Network and Systems Management,2007,15(4):447-480 [5] Zeng Liang-zhao,Lei Hui,Benatallah B.Policy-Driven Excep-tion-Management for Composite Web Services[C]∥Proceedings of the Seventh IEEE International Conference on E-Commerce Technology(CEC’05).2005:355-363 [6] Liu An,Li Qing,Huang Liu-sheng,et al.A Declarative Ap-proach to Enhancing the Reliability of BPEL Processes[C]∥2007 IEEE International Conference on Web Services.2007:272-279 [7] Erradi A,Maheshwari P,Tosic V.Recovery Policies for Enhancing Web Services Reliability[C]∥IEEE International Confe-rence on Web Services(ICWS’06).2006:189-196 [8] Baresi L,Guinea S.A Dynamic and Reactive Approach to theSupervision of BPEL Processes[C]∥ISEC’08.2008:39-48 [9] Kim K,Choi I,Park C.A Rule-based Approach to Proactive Exception Handling in Business Process[J].Expert Systems with Applications,2010,38(1):394-409 [10] Chomicki J,Lobo J,Naqvi S.Conflict Resolution Using Logic Programming[J].IEEE Transactions on Knowledge and Data Engineering,2003,5(1):244-249 [11] Montangero C,Marganiec S R,Semini L.Logic-based conflictdetection for distributed Policies [J].Fundam.Inform.(FUIN),2008,9(4):511-538 [12] Kolovski V,Parsia B,Katz Y.Representing WEB Service Policies in OWL-DL [C]∥Proc.of the 4th International Semantic Web Conference(ISWC’05).Galway,Ireland,2005:461-475 [13] Kolovski V,Parsia B,Katz Y,et al.Expressing WS policies in OWL [C]∥Proc.of WWW 2005 Workshop on Policy Management for the Web.Chiba,Japan,2005:29-36 [14] 刘海,刘安,李青,等.一种ECA规则驱动的BPEL流程异常处理和分析机制[J].小型微型计算机系统,2010,1(7):1363-1370 [15] Hughes G,Bultan T.Automated Verification of XACML Po-licies Using a SAT Solver[J].International Journal on Software Tools for Technology Transfer,2008,0(6):503-520 [16] Huang He-jiao,Kirchner H.Formal Specification and Verifica-tion of Modular Security Policy based on Colored Petri Nets [J].IEEE Transactions on Dependable and Security Computing,2011,8(6):852-865 [17] 孙瑞志,史美林.工作流异常处理的形式描述[J].计算机研究与发展,2003,0(3):393-397 [18] Hamadi R,Benatallah B.A Petri Net-Based Model for WebService Composition [C]∥Proc.14th Australasian Database Conf.Database Technologies.ACM Press,2003:191-200 [19] Hamadi R,Benatallah B,Mejahed B.Self-adapting recovery nets for policy-driven exception handling in business processes[J].Distributed and Parallel Databases,2008,3(1):1-44 [20] Peterson J L.Petri Net Theory and the Modeling of Systems[M].Prentice Hall,1981 [21] Jensen K.Coloured Petri nets and the invariant method[J].Theo-retical Computer Science,1981,14(3):317-336 [22] Jensen K.Coloured Petri Nets:Basic Concepts,Analysis Me-thods and Practical Use[M].Springer,1992 [23] Jensen K.Coloured Petri Nets:Basic Concepts,Analysis Me-thods and Practical Use[M].Springer,1994 [24] Jensen K.Condensed state spaces for symmetrical coloured Petri nets[J].Formal Methods in System Design,1997,9(1/2):7-40 [25] Jensen K,Kristensen L M.Coloured Petri Nets Modelling and Validation of Concurrent Systems[M].Springer,July 2009 |
| No related articles found! |
|
||
Home