{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T05:09:04Z","timestamp":1740114544172,"version":"3.37.3"},"reference-count":50,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Enterprise Information Systems"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1080\/17517571003753266","type":"journal-article","created":{"date-parts":[[2010,4,23]],"date-time":"2010-04-23T09:15:49Z","timestamp":1272014149000},"page":"153-214","source":"Crossref","is-referenced-by-count":25,"title":["Modelling dependable collaborative time-constrained business processes"],"prefix":"10.1080","volume":"4","author":[{"given":"Alfredo","family":"Capozucca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Guelfi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1145\/132271.132276"},{"volume-title":"ARIS Express 1.0 [online]","year":"2009","key":"CIT0002"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231893"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"volume-title":"Getting started with YAWL [online]","year":"2007","author":"Bradford L.","key":"CIT0005"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1109\/32.877844"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0015"},{"volume-title":"Real-time systems and programming languages: ADA 95, real-time Java, and real-time POSIX","year":"2001","author":"Burns A.","key":"CIT0008"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/TSE.1986.6312984","volume":"12","author":"Campbell R. H.","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1023\/B:ITEM.0000031584.14039.99"},{"key":"CIT0011","first-page":"68","volume-title":"Dependability of resilient computers","author":"Cristian F.","year":"1989"},{"key":"CIT0012","doi-asserted-by":"crossref","unstructured":"Cristian, F. and Fetzer, C. Probabilistic internal clock synchronization. Proceedings of the Thirteenth Symposium on Reliable Distributed Systems. October1994, Dana Point, CA. pp.22\u201331. Los Alamitos, CA: IEEE Computer Society.","DOI":"10.1109\/RELDIS.1994.336912"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1145\/568522.568525"},{"key":"CIT0014","unstructured":"Gray, J. The transaction concept: virtues and limitations (invited paper). VLDB '1981: Proceedings of the Seventh International Conference on Very Large Data Bases. Cannes. pp.144\u2013154. France VLDB Endowment."},{"volume-title":"Transaction processing: concepts and techniques","year":"1992","author":"Gray J.","key":"CIT0015"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1145\/1479772"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/32.29484"},{"key":"CIT0018","first-page":"52","volume":"81","author":"Hamel G.","year":"2003","journal-title":"Harvard Business Review"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"Horning, J. J. A program structure for error detection and recovery. Operating Systems, Proceedings of an International Symposium. pp.171\u2013187. London, UK: Springer-Verlag.","DOI":"10.1007\/BFb0029359"},{"volume-title":"IFIP WG 10.4 [online]","year":"1960","key":"CIT0021"},{"key":"CIT0022","doi-asserted-by":"crossref","unstructured":"Kent, S. Model driven engineering. IFM '02: Proceedings of the Third International Conference on Integrated Formal Methods. pp.286\u2013298. London, UK: Springer-Verlag.","DOI":"10.1007\/3-540-47884-1_16"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"CIT0025","first-page":"154","volume-title":"Proceedings of the second Latin-American symposium \u2013 LADC 2005","author":"Lima G. M. de A.","year":"2005"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1080\/00207540701263325"},{"key":"CIT0027","unstructured":"Mans, R. Schedule-aware workflow managment systems. Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE '09). pp.81\u201396. Paris, Hamburg: University of Hamburg, Department of Informatics."},{"key":"CIT0028","unstructured":"Marjanovic, O. Dynamic verification of temporal constraints in production workflows. ADC'00: Proceedings of the Australian Database Conference. pp.74Washington, DC: IEEE Computer Society. ISBN 0-7695-0528-7"},{"key":"CIT0029","volume-title":"Object-oriented software construction","author":"Meyer B.","year":"1997","edition":"2"},{"key":"CIT0030","doi-asserted-by":"crossref","unstructured":"Mustafiz, S., Kienzle, J. and Berlizev, A. Addressing degraded service outcomes and exceptional modes of operation in behavioural models. SERENE '08: Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems. Newcastle upon Tyne, United Kingdom. pp.19\u201328. New York, NY, USA: ACM.","DOI":"10.1145\/1479772.1479776"},{"volume-title":"NTP [online]","year":"1980","key":"CIT0031"},{"volume-title":"WS-BPEL 2.0 [online]","year":"2007","key":"CIT0032"},{"volume-title":"Unified modeling language superstructure specification version 2.2","year":"2009","key":"CIT0033"},{"key":"CIT0034","unstructured":"OMG. 2009b. \u201cBusiness process modeling notation (BPMN)\u201d. Version 1.2. Available from:http:\/\/www.omg.org\/spec\/BPMN\/1.2\/PDF[Accessed 10 December 2009]"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1145\/1290958.1290966"},{"key":"CIT0036","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","author":"Randell B.","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75292-9_18"},{"key":"CIT0038","first-page":"197","volume":"14","author":"Romanovsky A.","year":"1999","journal-title":"Computer Systems Science and Engineering"},{"volume-title":"Foundations of process-aware information systems","year":"2007","author":"Russell N. C.","key":"CIT0039"},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(02)00078-9"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020419"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1080\/095119299130146"},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"volume-title":"The object constraint language: getting your models ready for MDA","year":"2003","author":"Warmer J.","key":"CIT0046"},{"volume-title":"BPMN modeling and reference guide: understanding and using BPMN","year":"2008","author":"White S. A.","key":"CIT0047"},{"key":"CIT0048","unstructured":"Workflow Management Coalition. 1999. \u201cTerminology & Glossary\u201d. Document Number WFMC-TC-1011. Issue 3.0. Available from:http:\/\/www.wfmc.org\/Download-document\/WFMC-TC-1011-Ver-3-Terminology-and-Glossary-English.html[Accessed 17 February 2010]"},{"volume-title":"XPDL 2.1 [online]","year":"2008","key":"CIT0049"},{"volume-title":"YAWL User Manual 2.0 [online]","year":"2009","key":"CIT0050"},{"volume-title":"YAWL [online]","year":"2008","key":"CIT0051"}],"container-title":["Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17517571003753266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T04:42:00Z","timestamp":1740026520000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/17517571003753266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["10.1080\/17517571003753266"],"URL":"https:\/\/doi.org\/10.1080\/17517571003753266","relation":{},"ISSN":["1751-7575","1751-7583"],"issn-type":[{"type":"print","value":"1751-7575"},{"type":"electronic","value":"1751-7583"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}