{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T04:58:42Z","timestamp":1648875522779},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Autom. Comput."],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s11633-012-0676-7","type":"journal-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T12:55:56Z","timestamp":1349873756000},"page":"530-538","source":"Crossref","is-referenced-by-count":0,"title":["An aggregation composition compensation method based on paired net"],"prefix":"10.1007","volume":"9","author":[{"given":"Xiao-Yong","family":"Mei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-Yan","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang-Qin","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ai-Jun","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi-Xian","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,11]]},"reference":[{"key":"676_CR1","first-page":"144","volume-title":"Proceedings of the 7th International Conference on Very Large Data Bases","author":"J. Gray","year":"1981","unstructured":"J. Gray. The transaction concept: Virtues and limitations. In Proceedings of the 7th International Conference on Very Large Data Bases, ACM, Cannes, France, pp. 144\u2013154, 1981."},{"key":"676_CR2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1145\/38713.38742","volume-title":"Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data","author":"H. Garcia-Molina","year":"1987","unstructured":"H. Garcia-Molina, K. Salem. Sagas. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, ACM, New York, USA, pp. 249\u2013259, 1987."},{"key":"676_CR3","volume-title":"Database Transaction Models for Advanced Applications","author":"A. K. Elmagarmid","year":"1992","unstructured":"A. K. Elmagarmid. Database Transaction Models for Advanced Applications, 1st ed., San Fransisco, USA: Morgan Kaufmann, 1992.","edition":"1st ed."},{"key":"676_CR4","doi-asserted-by":"crossref","unstructured":"L. Bocchi, C. Laneve, G. Zavattaro. A calculus for longrunning transactions. In Proceedings of the 6th IFIP International Conference on Formal Methods for Open Objectbased Distributed Systems, Mendeley, Paris, France, pp. 124\u2013138, 2003.","DOI":"10.1007\/978-3-540-39958-2_9"},{"key":"676_CR5","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1109\/ASE.2003.1240303","volume-title":"Proceedings of the 18th IEEE International Conference on Automated Software Engineering","author":"H. Foster","year":"2003","unstructured":"H. Foster, S. Uchitel, J. Magee, J. Kramer. Model-based verification of web service compositions. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, IEEE, Montreal, Canada, pp. 152\u2013161, 2003."},{"key":"676_CR6","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"Proceedings of the 13th International Conference on World Wide Web","author":"X. Fu","year":"2004","unstructured":"X. Fu, T. Bultan, J. Su. Analysis of interacting BPEL web services. In Proceedings of the 13th International Conference on World Wide Web, ACM, New York, USA, pp. 621\u2013630, 2004."},{"issue":"1","key":"676_CR7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.entcs.2005.12.038","volume":"154","author":"J. C\u00e1mara","year":"2006","unstructured":"J. C\u00e1mara, C. Canal, J. Cubo, A. Vallecillo. Formalizing WSBPEL business processes using process algebra. Electronic Notes in Theoretical Computer Science, vol. 154, no. 1, pp. 159\u2013173, 2006.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"676_CR8","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"R. Lucchi, M. Mazzara. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, vol. 70, no. 1, pp. 96\u2013118, 2007.","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"676_CR9","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Proceedings of the 3rd International Conference on Business Process Management","author":"S. Hinz","year":"2005","unstructured":"S. Hinz, K. Schmidt, C. Stahl. Transforming BPEL to Petri nets. In Proceedings of the 3rd International Conference on Business Process Management, ACM, Nancy, France, pp. 220\u2013235, 2005."},{"key":"676_CR10","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1109\/EDOC.2006.59","volume-title":"Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference","author":"W. L. Dong","year":"2006","unstructured":"W. L. Dong, H. Yu, Y. B. Zhang. Testing BPEL-based web service composition using high-level Petri nets. In Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference, IEEE, Hong Kong, China, pp. 441\u2013444, 2006."},{"key":"676_CR11","first-page":"209","volume-title":"Proceedings of SIGACT Symposium on Principles of Programming Languages","author":"R. Bruni","year":"2005","unstructured":"R. Bruni, H. Melgratti, U. Montanari. Theoretical foundations for compensations in flow composition languages. In Proceedings of SIGACT Symposium on Principles of Programming Languages, ACM, California, USA, pp. 209\u2013220, 2005."},{"key":"676_CR12","first-page":"350","volume-title":"Proceedings of International Symposium of Formal Methods Europe","author":"Z. Y. Qiu","year":"2005","unstructured":"Z. Y. Qiu, S. L. Wang, G. G. Pu, X. P. Zhao. Semantics of BPEL4WS-like fault and compensation handling. In Proceedings of International Symposium of Formal Methods Europe, Springerlink, Newcastle, UK, pp. 350\u2013365, 2005."},{"key":"676_CR13","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-540-30581-1_7","volume-title":"Proceedings of the 1st International Workshop Semantic Web Services and Web Process Composition","author":"D. Biswas","year":"2005","unstructured":"D. Biswas. Compensation in the world of web services composition. In Proceedings of the 1st International Workshop Semantic Web Services and Web Process Composition, Mendeley, San Diego, USA, pp. 69\u201380, 2005."},{"issue":"3","key":"676_CR14","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s11633-010-0521-9","volume":"7","author":"R. I. Hamed","year":"2010","unstructured":"R. I. Hamed, S. I. Ahson, R. Parveen. Designing genetic regulatory networks using fuzzy Petri nets approach. International Journal of Automation and Computing, vol.7, no. 3, pp. 403\u2013412, 2010.","journal-title":"International Journal of Automation and Computing"},{"issue":"4","key":"676_CR15","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1007\/s11633-010-0544-2","volume":"7","author":"Z. Zhang","year":"2010","unstructured":"Z. Zhang, D. D. Zhou, H. J. Yang, S. C. Zhong. A service composition approach based on sequence mining for migrating E-learning legacy system to SOA. International Journal of Automation and Computing, vol. 7, no. 4, pp. 584\u2013595, 2010.","journal-title":"International Journal of Automation and Computing"},{"issue":"3","key":"676_CR16","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s11633-011-0582-4","volume":"8","author":"Y. K. Guo","year":"2011","unstructured":"Y. K. Guo, L. Guo. IC cloud: Enabling compositional cloud. International Journal of Automation and Computing, vol.8, no. 3, pp. 269\u2013279, 2011.","journal-title":"International Journal of Automation and Computing"},{"key":"676_CR17","doi-asserted-by":"crossref","unstructured":"M. Vasko, S. Dustdar. An analysis of web services workflow patterns in Collaxa. In Proceedings of the 2004 European Conference on Web Services, Erfurt, Germany, pp. 1\u201314, 2004.","DOI":"10.1007\/978-3-540-30209-4_1"},{"key":"676_CR18","unstructured":"ActiveBPEL, [Online], Available: http:\/\/www.activebpel.org\/download , March 30, 2012."}],"container-title":["International Journal of Automation and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-012-0676-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11633-012-0676-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-012-0676-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T15:10:29Z","timestamp":1562253029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11633-012-0676-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["676"],"URL":"https:\/\/doi.org\/10.1007\/s11633-012-0676-7","relation":{},"ISSN":["1476-8186","1751-8520"],"issn-type":[{"value":"1476-8186","type":"print"},{"value":"1751-8520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10]]}}}