{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T04:25:11Z","timestamp":1743740711907,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642323546"},{"type":"electronic","value":"9783642323553"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32355-3_7","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T10:36:41Z","timestamp":1342003001000},"page":"111-128","source":"Crossref","is-referenced-by-count":3,"title":["Model Checking Workflow Monitors and Its Application to a Pain Management Process"],"prefix":"10.1007","author":[{"given":"Fazle","family":"Rabbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Shah","family":"Mashiyat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wendy","family":"MacCaull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"DiVinE project, http:\/\/divine.fi.muni.cz\/ (last accessed on November 2010)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1122","DOI":"10.1145\/1247480.1247628","volume-title":"Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data, SIGMOD 2007","author":"C. Beeri","year":"2007","unstructured":"Beeri, C., Eyal, A., Milo, T., Pilberg, A.: Query-based monitoring of BPEL business processes. In: Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data, SIGMOD 2007, pp. 1122\u20131124. ACM, New York (2007)"},{"key":"7_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal \u2014 a Tool Suite for Automatic Verification of Real\u2013Time Systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng.\u00a017, 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR5","first-page":"123","volume-title":"Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems","author":"B. Berthomieu","year":"2006","unstructured":"Berthomieu, B., Vernadat, F.: Time petri nets analysis with TINA. In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, pp. 123\u2013124. IEEE Computer Society, Washington, DC (2006)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bertolini, C., Liu, Z., Schaf, M., Stolz, V.: Towards a formal integrated model of collaborative healthcare workflows. UNU-IIST Report No. 450 (June 2011)","DOI":"10.1007\/978-3-642-32355-3_4"},{"key":"7_CR7","unstructured":"Broadfield, L., Banerjee, S., Jewers, H., Pollett, A., Simpson, J.: Guidelines for the management of cancer-related pain in adults. Supportive Care Cancer Site Team, Cancer Care Nova Scotia (2005)"},{"key":"7_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-00768-2_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Lime","year":"2009","unstructured":"Lime, D., Roux, O.H., Seidner, C., Traonouez, L.-M.: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 54\u201357. Springer, Heidelberg (2009)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Time and data-aware analysis of graphical service models in Reo. In: Fiadeiro, J.L., Gnesi, S., Maggiolo-Schettini, A. (eds.) SEFM, pp. 125\u2013134. IEEE Computer Society (2010)","DOI":"10.1109\/SEFM.2010.26"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11560548_14","volume-title":"Correct Hardware Design and Verification Methods","author":"L. Lamport","year":"2005","unstructured":"Lamport, L.: Real-Time Model Checking Is Really Simple. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol.\u00a03725, pp. 162\u2013175. Springer, Heidelberg (2005)"},{"key":"7_CR11","first-page":"64","volume-title":"Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems","author":"J. Li","year":"2007","unstructured":"Li, J., Zhu, H., Pu, G., He, J.: A formal model for compensable transactions. In: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 64\u201373. IEEE Computer Society, Washington, DC (2007)"},{"key":"7_CR12","unstructured":"MacCaull, W., Rabbi, F.: NOVA Workflow: A workflow management tool targeting health services delivery. In: International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2011, Johannesburg, South Africa, pp. 74\u201391 (2011)"},{"key":"7_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-24431-5_18","volume-title":"Formal Methods for Industrial Critical Systems","author":"A.S. Mashiyat","year":"2011","unstructured":"Mashiyat, A.S., Rabbi, F., MacCaull, W.: Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol.\u00a06959, pp. 244\u2013259. Springer, Heidelberg (2011)"},{"key":"7_CR14","unstructured":"Moreno, A., Valls, A., Ria\u00f1o, D.: Palliasys: agent-based proactive monitoring of palliative patients. In: IWPAAMS (2005)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Muehlen, M.Z., Rosemann, M.: Workflow-based process monitoring and controlling - technical and organizational issues. In: Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33), pp. 1\u201310. IEEE Computer Society Press (2000)","DOI":"10.1109\/HICSS.2000.926853"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16901-4_10","volume-title":"Formal Methods and Software Engineering","author":"F. Rabbi","year":"2010","unstructured":"Rabbi, F., Wang, H., MacCaull, W.: Compensable WorkFlow Nets. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 122\u2013137. Springer, Heidelberg (2010)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Ben-David, S., Chechik, M.: Guided recovery for web service applications. In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2010, pp. 247\u2013256. ACM, New York (2010)","DOI":"10.1145\/1882291.1882328"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Informatics Engineering and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32355-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T21:21:36Z","timestamp":1743715296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32355-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642323546","9783642323553"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32355-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}