{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:45:46Z","timestamp":1725691546246},"publisher-location":"Berlin, Heidelberg","reference-count":38,"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_5","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T10:36:41Z","timestamp":1342003001000},"page":"75-92","source":"Crossref","is-referenced-by-count":11,"title":["NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery"],"prefix":"10.1007","author":[{"given":"Wendy","family":"MacCaull","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fazle","family":"Rabbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"OPENEHR, http:\/\/www.openehr.org\/home.html (last accessed, July 2011)"},{"key":"5_CR2","unstructured":"IBM, BEA, Microsoft, SAP, Siebel. Business process execution language for web services version 1.1 (May 2003)"},{"key":"5_CR3","unstructured":"BPEL2PN, http:\/\/www2.informatik.hu-berlin.de\/top\/bpel2pn\/ (last accessed, April 2011)"},{"key":"5_CR4","unstructured":"Rabbi, F., Mashiyat, A., MacCaull, W.: Model checking workflow monitors and its application to a pain management process. In: Proceedings of 1st International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2011, Johannesburg, South Africa, pp. 110\u2013127 (2011)"},{"key":"5_CR5","unstructured":"DiVinE project, http:\/\/divine.fi.muni.cz\/ (last accessed, October 2011)"},{"key":"5_CR6","unstructured":"Eclipse plugin, http:\/\/www.eclipse.org\/articles\/article-plug-in-architecture\/plugin_architecture.html\/ (last accessed, April 2011)"},{"key":"5_CR7","unstructured":"Graphical Editing Framework, http:\/\/www.eclipse.org\/gef\/ (last accessed, April 2011)"},{"key":"5_CR8","unstructured":"PROM, http:\/\/www.processmining.org\/ (last accessed, May 2011)"},{"key":"5_CR9","unstructured":"Relational persistence for java and .net, http:\/\/hibernate.net\/ (last accessed, May 2011)"},{"key":"5_CR10","unstructured":"Spring framework, http:\/\/www.springsource.org\/ (last accessed, May 2011)"},{"key":"5_CR11","unstructured":"WSENGINEER, http:\/\/www.doc.ic.ac.uk\/ltsa\/eclipse\/wsengineer\/ (last accessed, July 2011)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","first-page":"469","volume-title":"Advances in Database Technology - EDBT \u201998","author":"R. Agrawal","year":"1998","unstructured":"Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol.\u00a01377, pp. 469\u2013483. Springer, Heidelberg (1998)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","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":"5_CR14","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":"5_CR15","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Vernadat, F.: Time petri nets analysis with Tina. In: QEST, pp. 123\u2013124 (2006)","DOI":"10.1002\/9780470611647.ch5"},{"key":"5_CR16","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":"5_CR17","unstructured":"Buzan, T.: The Mind Map Book. Penguin Books (1996)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Clarke, L.A., Chen, Y., Avrunin, G.S., Chen, B., Cobleigh, R.L., Frederick, K., Henneman, E.A., Osterweil, L.J.: Process programming to support medical safety: A case study on blood transfusion. In: ISPW 2005, pp. 347\u2013359 (2005)","DOI":"10.1007\/11608035_29"},{"key":"5_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-03848-8_6","volume-title":"Business Process Management","author":"C. Combi","year":"2009","unstructured":"Combi, C., Posenato, R.: Controllability in Temporal Conceptual Workflow Schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 64\u201379. Springer, Heidelberg (2009)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol.\u00a07, 215\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1016\/j.ijhcs.2008.06.002","volume":"66","author":"P.J. Edwards","year":"2008","unstructured":"Edwards, P.J., Moloney, K.P., Jacko, J.A., Sainfort, F.: Evaluating usability of a commercial electronic health record: A case study. Int. J. Hum.-Comput. Stud.\u00a066, 718\u2013728 (2008)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/11562948_17","volume-title":"Automated Technology for Verification and Analysis","author":"S. Evangelista","year":"2005","unstructured":"Evangelista, S., Haddad, S., Pradat-Peyre, J.-F.: Syntactical Colored Petri Nets Reductions. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 202\u2013216. Springer, Heidelberg (2005)"},{"key":"5_CR23","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-16373-9_24","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"D. Knuplesch","year":"2010","unstructured":"Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On Enabling Data-Aware Compliance Checking of Business Process Models. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol.\u00a06412, pp. 332\u2013346. Springer, Heidelberg (2010)"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/SEFM.2010.26","volume-title":"Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010","author":"N. Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Time and data-aware analysis of graphical service models in Reo. In: Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, pp. 125\u2013134. IEEE Computer Society, Washington, DC (2010)"},{"key":"5_CR25","series-title":"LNCS","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)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Li, W., Fan, Y.: A time management method in workflow management system. In: Grid and Pervasive Computing Conference, pp. 3\u201310 (2009)","DOI":"10.1109\/GPC.2009.18"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","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)"},{"issue":"4","key":"5_CR28","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. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Rabbi, F.: Design, development and verification of a compensable workflow modeling language. MSc Thesis, St. Francis Xavier University (2011)","DOI":"10.1007\/978-3-642-16901-4_10"},{"key":"5_CR30","series-title":"LNCS","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":"5_CR31","unstructured":"Reichert, M., Rinderle, S., Kreher, U., Acker, H., Lauer, M., Dadam, P.: ADEPT2 - next generation process management technology. In: Proceedings Fourth Heidelberg Innovation Forum, Aachen, D.punkt Verlag (April 2007)"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Ben-David, S., Chechik, M.: Guided recovery for web service applications. In: SIGSOFT FSE, pp. 247\u2013256 (2010)","DOI":"10.1145\/1882291.1882328"},{"key":"5_CR33","unstructured":"Traonouez, L.-M., Lime, D., Roux, O.: Parametric model-checking of stopwatch petri nets\u00a015(17), 3273\u20133304 (2009)"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W. Aalst van der","year":"2009","unstructured":"van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - Research and Development\u00a023, 99\u2013113 (2009)","journal-title":"Computer Science - Research and Development"},{"issue":"4","key":"5_CR35","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":"5_CR36","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: a survey of issues and approaches. Data Knowl. Eng.\u00a047, 237\u2013267 (2003)","journal-title":"Data Knowl. Eng."},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Wang, H., MacCaull, W.: An efficient explicit-time description method for timed model checking. In: PDMC, pp. 77\u201391 (2009)","DOI":"10.4204\/EPTCS.14.6"},{"issue":"6","key":"5_CR38","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1016\/j.infsof.2008.12.002","volume":"51","author":"M.T. Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H.M.W.E., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information and Software Technology\u00a051(6), 1010\u20131020 (2009)","journal-title":"Information and Software Technology"}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T21:55:31Z","timestamp":1642715731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32355-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642323546","9783642323553"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32355-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}