{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:02:43Z","timestamp":1725728563229},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390876"},{"type":"electronic","value":"9783642390883"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39088-3_13","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T01:26:20Z","timestamp":1370309180000},"page":"194-212","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Diagrammatic Approach to Compensable Workflow Modelling"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Rutle","sequence":"first","affiliation":[]},{"given":"Hao","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Wendy","family":"MacCaull","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press (2002)","DOI":"10.7551\/mitpress\/7301.001.0001"},{"issue":"4","key":"13_CR2","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.H.M.: YAWL: Yet Another Workflow Language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"key":"13_CR3","series-title":"SCI","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-13273-5_4","volume-title":"Software Engineering Research, Management and Applications 2010","author":"I. Ait-Sadoune","year":"2010","unstructured":"Ait-Sadoune, I., Ait-Ameur, Y.: Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. In: Lee, R., Ormandjieva, O., Abran, A., Constantinides, C. (eds.) SERA 2010. SCI, vol.\u00a0296, pp. 51\u201368. Springer, Heidelberg (2010)"},{"key":"13_CR4","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice Hall (1995)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: POPL 2005, pp. 209\u2013220. ACM (2005)","DOI":"10.1145\/1047659.1040323"},{"key":"13_CR6","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-16101-8_11","volume-title":"Perspectives in Business Informatics Research","author":"J. Br\u00fcning","year":"2010","unstructured":"Br\u00fcning, J., Gogolla, M., Forbrig, P.: Modeling and Formally Checking Workflow Properties Using UML and OCL. In: Forbrig, P., G\u00fcnther, H. (eds.) BIR 2010. LNBIP, vol.\u00a064, pp. 130\u2013145. Springer, Heidelberg (2010)"},{"key":"13_CR7","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.) CSP25. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"13_CR8","unstructured":"Chen, Z., Liu, Z., Wang, J.: Failure-Divergence Semantics and Refinement of Long Running Transactions. Theoretical Computer Science (to appear)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Damas, C., Lambeau, B., Roucoux, F., van Lamsweerde, A.: Analyzing critical process models through behavior model synthesis. In: ICSE 2009, pp. 441\u2013451. IEEE Computer Society (2009)","DOI":"10.1109\/ICSE.2009.5070543"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Mathematics of Generic Specifications for Model Management I and II. In: Encyclopedia of Database Technologies and Applications, pp. 351\u2013366. Information Science Reference (2005)","DOI":"10.4018\/978-1-59140-560-3.ch061"},{"key":"13_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-44590-0_30","volume-title":"Theory and Application of Diagrams","author":"Z. Diskin","year":"2000","unstructured":"Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal Arrow Foundations for Visual Modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol.\u00a01889, pp. 345\u2013360. Springer, Heidelberg (2000)"},{"key":"13_CR12","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (March 2006)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Ghamarian, A., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. STTT, 1\u201326 (2011)","DOI":"10.1007\/s10009-011-0186-x"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-00899-3_2","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"E. Kindler","year":"2009","unstructured":"Kindler, E.: Model-based software engineering and process-aware information systems. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 27\u201345. Springer, Heidelberg (2009)"},{"key":"13_CR15","series-title":"SCI","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-30454-5_3","volume-title":"Computer and Information Science 2012","author":"Y. Lamo","year":"2012","unstructured":"Lamo, Y., Wang, X., Mantz, F., MacCaull, W., Rutle, A.: DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment. In: Lee, R. (ed.) Computer and Information Science 2012. SCI, vol.\u00a0429, pp. 37\u201352. Springer, Heidelberg (2012)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/978-3-540-68679-8_43","volume-title":"Concurrency, Graphs and Models","author":"A. Lapadula","year":"2008","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Specifying and Analysing SOC Applications with COWS. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 701\u2013720. Springer, Heidelberg (2008)"},{"key":"13_CR17","unstructured":"OASIS: Web services business process execution language version 2.0 (2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"13_CR18","unstructured":"Object Management Group: MDA Guide (June 2003), http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"13_CR19","unstructured":"OMG: Business Process Model and Notation (BPMN) Version 2.0 (January 2011), http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"issue":"3","key":"13_CR20","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1016\/j.jss.2011.09.023","volume":"85","author":"A. Ottensooser","year":"2012","unstructured":"Ottensooser, A., Fekete, A., Reijers, H.A., Mendling, J., Menictas, C.: Making sense of business process descriptions: An experimental comparison of graphical and textual notations. Journal of Systems and Software\u00a085(3), 596\u2013606 (2012)","journal-title":"Journal of Systems and Software"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A.H.M., van der Aalst, W.M.P.: From BPMN Process Models to BPEL Web Services. In: ICWS, pp. 285\u2013292. IEEE Computer Society (2006)","DOI":"10.1109\/ICWS.2006.67"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Rabbi, F.: Design, Development and Verification of a Compensable Workflow Modeling Language. Master\u2019s thesis, Dept. of Math, Stats and CS, StFX University, Canada (2011)","DOI":"10.1007\/978-3-642-16901-4_10"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-33666-9_4","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Rabbi","year":"2012","unstructured":"Rabbi, F., MacCaull, W.: T \u25a1: A Domain Specific Language for Rapid Workflow Development. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 36\u201352. Springer, Heidelberg (2012)"},{"key":"13_CR24","unstructured":"Rutle, A.: Diagram Predicate Framework: A Formal Approach to MDE. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2010)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Rutle, A., MacCaull, W., Wang, H., Lamo, Y.: A Metamodelling Approach to Behavioural Modelling. In: BM-FA 2012, pp. 5:1\u20135:10. ACM (2012)","DOI":"10.1145\/2325276.2325281"},{"issue":"4","key":"13_CR26","first-page":"422","volume":"81","author":"A. Rutle","year":"2012","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. JLAP 81(4), 422\u2013457 (2012)","journal-title":"JLAP"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Wang, H., Rutle, A., MacCaull, W.: A Formal Diagrammatic Approach to Timed Workflow Modelling. In: TASE 2012, pp. 167\u2013174. IEEE Computer Society (2012)","DOI":"10.1109\/TASE.2012.14"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"P.Y.H. Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 355\u2013374. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Information Engineering and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39088-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T21:37:46Z","timestamp":1645652266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39088-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390876","9783642390883"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39088-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}