{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:33:30Z","timestamp":1740720810405,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169007"},{"type":"electronic","value":"9783642169014"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16901-4_10","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T17:40:06Z","timestamp":1289238006000},"page":"122-137","source":"Crossref","is-referenced-by-count":13,"title":["Compensable WorkFlow Nets"],"prefix":"10.1007","author":[{"given":"Fazle","family":"Rabbi","sequence":"first","affiliation":[]},{"given":"Hao","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Wendy","family":"MacCaull","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-68855-6_10","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"J. Li","year":"2008","unstructured":"Li, J., Zhu, H., He, J.: Specifying and verifying web transactions. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 149\u2013168. Springer, Heidelberg (2008)"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/38714.38742","volume":"16","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. SIGMOD Rec.\u00a016(3), 249\u2013259 (1987)","journal-title":"SIGMOD Rec."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M. Butler","year":"2005","unstructured":"Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11539452_30","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H., Montanari, U.: Comparing Two Approaches to Compensable Flow Composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-75221-9_15","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"J. He","year":"2007","unstructured":"He, J.: Compensable programs. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol.\u00a04700, pp. 349\u2013363. Springer, Heidelberg (2007)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"He, J.: Modelling coordination and compensation. In: Leveraging Applications of Formal Methods, Verification and Validation, vol.\u00a017, pp. 15\u201336 (2009)","DOI":"10.1007\/978-3-540-88479-8_3"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-540-75292-9_21","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"J. Li","year":"2007","unstructured":"Li, J., Zhu, H., He, J.: Algebraic semantics for compensable transactions. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 306\u2013321. Springer, Heidelberg (2007)"},{"key":"10_CR8","first-page":"154","volume-title":"The 31st IEEE Software Engineering Workshop","author":"J. Li","year":"2007","unstructured":"Li, J., Zhu, H., Pu, G., He, J.: Looking into compensable transactions. In: The 31st IEEE Software Engineering Workshop, pp. 154\u2013166. IEEE CS press, Los Alamitos (2007)"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis, and applications. Proc. IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/BFb0016219","volume-title":"Advances in Petri Nets 1985","author":"Y. Narahari","year":"1986","unstructured":"Narahari, Y., Viswanadham, N.: On the Invariants of Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 330\u2013345. Springer, Heidelberg (1986)"},{"issue":"4","key":"10_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.: YAWL: Yet another workflow language. Inf. Syst.\u00a030(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"10_CR12","volume-title":"ADEPT2 - Next Generation Process Management Technology","author":"P. Dadam","year":"2007","unstructured":"Dadam, P., Reichert, M., Rinderle, S., et al.: ADEPT2 - Next Generation Process Management Technology. Heidelberger Innovationsforum, Heidelberg (April 2007)"},{"key":"10_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods and Systems","author":"W.M.P. Aalst Van der","year":"2002","unstructured":"Van der Aalst, W.M.P., Van Hee, K.: Workflow Management: Models, Methods and Systems. The MIT Press, Cambridge (2002)"},{"key":"10_CR14","unstructured":"DiVinE project, http:\/\/divine.fi.muni.cz\/ (last accessed on August 2010)"},{"key":"10_CR15","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"key":"10_CR16","unstructured":"Center for Logic and Information, St. Francis Xavier University, http:\/\/logic.stfx.ca\/ (last accessed on August 2010)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","author":"M. Reichert","year":"2009","unstructured":"Reichert, M., Dadam, P., Rinderle-Ma, S., et al.: Enabling Poka-Yoke Workflows with the AristaFlow BPM Suite. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol.\u00a05701. Springer, Heidelberg (2009)"},{"issue":"1","key":"10_CR18","first-page":"51","volume":"5","author":"K. Barkaoui","year":"2007","unstructured":"Barkaoui, K., Ben Ayed, R., Sbai, Z.: Workflow Soundness Verification based on Structure Theory of Petri Nets. International Journal of Computing and Information Sciences\u00a05(1), 51\u201361 (2007)","journal-title":"International Journal of Computing and Information Sciences"},{"key":"10_CR19","unstructured":"Leyla, N., Mashiyat, A., Wang, H., MacCaull, W.: Workflow Verification with DiVinE. In: The 8th International Workshop on Parallel and Distributed Methods in verification, PDMC 2009 (2009) (work in progress report)"},{"key":"10_CR20","first-page":"53","volume-title":"The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)","author":"F. Rabbi","year":"2010","unstructured":"Rabbi, F., Wang, H., MacCaull, W.: YAWL2DVE: An automated translator for workflow verification. In: The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010), pp. 53\u201359. IEEE CS press, Los Alamitos (2010)"},{"issue":"2009","key":"10_CR21","first-page":"137","volume":"1","author":"K. Miller","year":"2009","unstructured":"Miller, K., MacCaull, W.: Toward Web-based Careflow Management Systems. Journal of Emerging Technologies in Web Intelligence (JETWI) Special Issue E-health Interoperability\u00a01(2009), 137\u2013145 (2009)","journal-title":"Journal of Emerging Technologies in Web Intelligence (JETWI) Special Issue E-health Interoperability"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Wang, H., MacCaull, W.: An Efficient Explicit-time Description Method for Timed Model Checking. In: The 8th International Workshop on Parallel and Distributed Methods in verifiCation 2009 (PDMC 2009). EPTCS, vol.\u00a014, pp. 77\u201391 (2009)","DOI":"10.4204\/EPTCS.14.6"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-642-15898-8_7","volume-title":"The 15th International Workshop on Formal Methods for Industrial Critical Systems 2010 (FMICS 2010)","author":"A. Mashiyat","year":"2010","unstructured":"Mashiyat, A., Rabbi, F., Wang, H., MacCaull, W.: An Automated Translator for Model Checking Time Constrained Workflow Systems. In: FMICS 2010. LNCS, vol.\u00a06371, pp. 99\u2013114. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T17:49:54Z","timestamp":1740678594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}