{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:28:03Z","timestamp":1745987283392,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642374777"},{"type":"electronic","value":"9783642374784"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37478-4_2","type":"book-chapter","created":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T04:44:05Z","timestamp":1364791445000},"page":"16-42","source":"Crossref","is-referenced-by-count":1,"title":["Motivation and Guaranteed Completion in Workflow"],"prefix":"10.1007","author":[{"given":"Ashley","family":"McNeile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ella","family":"Roubtsova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11761-010-0060-9","volume":"4","author":"A. McNeile","year":"2010","unstructured":"McNeile, A.: Protocol Contracts with Application to Choreographed Multiparty Collaborations. Service Oriented Computing and Applications\u00a04(2), 109\u2013136 (2010)","journal-title":"Service Oriented Computing and Applications"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10270-005-0100-7","volume":"5","author":"A. McNeile","year":"2006","unstructured":"McNeile, A., Simons, N.: Protocol Modelling: A Modelling Approach that supports Reusable Behavioural Abstractions. Journal of Software and System Modeling\u00a05(1), 91\u2013107 (2006)","journal-title":"Journal of Software and System Modeling"},{"issue":"10","key":"2_CR3","doi-asserted-by":"publisher","first-page":"81","DOI":"10.5381\/jot.2007.6.10.a2","volume":"6","author":"A. McNeile","year":"2007","unstructured":"McNeile, A., Simons, N.: A Typing Scheme for Behavioural Models. Journal of Object Technology\u00a06(10), 81\u201394 (2007)","journal-title":"Journal of Object Technology"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1023\/A:1014048800604","volume":"11","author":"C. Bettini","year":"2002","unstructured":"Bettini, C., Sean Wang, X., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distrib. Parallel Databases\u00a011, 269\u2013306 (2002)","journal-title":"Distrib. Parallel Databases"},{"key":"2_CR5","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall International (1985)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/3-540-48166-4_31","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"D. Giannakopoulou","year":"1999","unstructured":"Giannakopoulou, D., Magee, J., Kramer, J.: Checking Progress with Action Priority: Is it Fair? In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and FSE 1999. LNCS, vol.\u00a01687, pp. 511\u2013527. Springer, Heidelberg (1999)"},{"issue":"53","key":"2_CR7","first-page":"268","volume":"53","author":"E. Kindler","year":"1994","unstructured":"Kindler, E.: Safety and Liveness Properties: A Survey. EATCS Bulletin\u00a053(53), 268\u2013272 (1994)","journal-title":"EATCS Bulletin"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45594-9_15","volume-title":"Business Process Management","author":"E. Kindler","year":"2000","unstructured":"Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 235\u2013253. Springer, Heidelberg (2000)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1109\/SEFM.2008.11","volume-title":"Proceedings of SEFM 2008, 6th IEEE International Conferences on Software Engineering and Formal Methods","author":"I. Lanese","year":"2008","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the Gap between Interaction- and Process-Oriented Choreographies. In: Proceedings of SEFM 2008, 6th IEEE International Conferences on Software Engineering and Formal Methods, pp. 323\u2013332. IEEE Computer Society, Washington, DC (2008)"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328897.1328472","volume":"43","author":"K. Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. SIGPLAN Not.\u00a043(1), 273\u2013284 (2008)","journal-title":"SIGPLAN Not."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Larsen, K., Thomsen, B.: A Modal Process Logic. In: LICS, pp. 203\u2013210 (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/1328279.1328281","volume-title":"Eclipse 2007: Proceedings of the, OOPSLA Workshop on Eclipse Technology Exchange","author":"N. D\u2019Ippolito","year":"2007","unstructured":"D\u2019Ippolito, N., Fishbein, D., Foster, H., Uchitel, S.: MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. In: Eclipse 2007: Proceedings of the, OOPSLA Workshop on Eclipse Technology Exchange, pp. 6\u201310. ACM, New York (2007)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-642-13094-6_40","volume-title":"Advanced Information Systems Engineering","author":"N. Sidorova","year":"2010","unstructured":"Sidorova, N., Stahl, C., Tr\u010dka, N.: Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 530\u2013544. Springer, Heidelberg (2010)"},{"issue":"2","key":"2_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03325097","volume":"1","author":"O. Marjanovic","year":"1999","unstructured":"Marjanovic, O., Orlowska, M.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowl. Inf. Syst.\u00a01(2), 157\u2013192 (1999)","journal-title":"Knowl. Inf. Syst."},{"key":"2_CR15","unstructured":"Object Management Group: UML 2.0 Superstructure Final Adopted Specification. OMG Document reference ptc\/03-08-02 (August 2003)"},{"key":"2_CR16","first-page":"840","volume-title":"International Conference on Availability, Reliability and Security","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pandya, P., Pistore, M.: Timed Modelling and Analysis in Web Service Compositions. In: International Conference on Availability, Reliability and Security, pp. 840\u2013846. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"Owicki, S., Lamport, L.: Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst.\u00a04(3), 455\u2013495 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR18","unstructured":"UK Cabinet Office: OCG Books ITIL - Service Design. The UK Stationery Office (TSO) for The Office of Government Commerce, OGC (2011)"},{"issue":"1","key":"2_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Form. Methods Syst. Des.\u00a019(1), 45\u201380 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"2_CR20","first-page":"453","volume-title":"Proceedings of the 14th International Conference on Application and Theory of Petri Nets","author":"W. Aalst van der","year":"1993","unstructured":"van der Aalst, W.: Interval Timed Coloured Petri Nets and their Analysis. In: Proceedings of the 14th International Conference on Application and Theory of Petri Nets, pp. 453\u2013472. Springer, London (1993)"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst van der","year":"1998","unstructured":"van der Aalst, W.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Formal Aspects of Computing, 1\u201331 (2010)","DOI":"10.1007\/s00165-010-0161-4"},{"issue":"1-2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a Formalism for Specification and Verification of Reactive Electronic Services. Theoretical Computer Science\u00a0328(1-2), 19\u201337 (2004)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Business Information Processing","Business Modeling and Software Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37478-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T02:44:10Z","timestamp":1745981050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37478-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642374777","9783642374784"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37478-4_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}