{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:35:13Z","timestamp":1725874513765},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319464114"},{"type":"electronic","value":"9783319464121"}],"license":[{"start":{"date-parts":[[2016,12,20]],"date-time":"2016-12-20T00:00:00Z","timestamp":1482192000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-46412-1_12","type":"book-chapter","created":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T03:33:31Z","timestamp":1482118411000},"page":"213-232","source":"Crossref","is-referenced-by-count":2,"title":["Modeling Directly Executable Processes for Healthcare Professionals with XMDD"],"prefix":"10.1007","author":[{"given":"Steve","family":"Bo\u00dfelmann","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Wickert","sequence":"additional","affiliation":[]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,20]]},"reference":[{"issue":"5","key":"12_CR1","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1093\/jnci\/85.5.365","volume":"85","author":"NK Aaronson","year":"1993","unstructured":"Aaronson, N. K., Ahmedzai, S., Bergman, B., Bullinger, M., Cull, A., Duez, N. J., et al. (1993). The European organization for research and treatment of cancer QLQ-C30: A quality-of-life instrument for use. International clinical trials in oncology. Journal of the National Cancer Institute, 85(5), 365\u2013376.","journal-title":"Journal of the National Cancer Institute"},{"key":"12_CR2","unstructured":"Allweyer, T. (2009). BPMN 2.0 \u2013 Business process model and notation. Books on Demand, Norderstedt."},{"key":"12_CR3","volume-title":"Service business model innovation in healthcare and hospital management","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., & Margaria, T. (2016). Guided business modeling and analysis for business professionals. In M. A. Pfannstiel & C. Rasche (Eds.), Service business model innovation in healthcare and hospital management. Wiesbaden: Springer."},{"key":"12_CR4","unstructured":"Cio\u00e8, C. (2016). Software requirements for a diabetic retinopathy centre. Master\u2019s Thesis, Politecnico di Torino, Italy."},{"issue":"6","key":"12_CR5","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1016\/j.clnu.2008.06.013","volume":"27","author":"W Evans","year":"2008","unstructured":"Evans, W., Morley, J. E., Argils, J., Bales, C., Baracos, V., Guttridge, D., et al. (2008). Cachexia: A new definition. Clinical Nutrition, 27(6), 793\u2013799.","journal-title":"Clinical Nutrition"},{"issue":"3","key":"12_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.3233\/jid-2013-0017","volume":"17","author":"T Margaria","year":"2013","unstructured":"Margaria, T., Bo\u00dfelmann, S., & Kujath, B. (2013). Simple modeling of executable role-based workflows: An application in the healthcare domain. Integrated Design & Process Science, 17(3), 25\u201345.","journal-title":"Integrated Design & Process Science"},{"key":"12_CR7","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/978-3-662-45231-8_44","volume-title":"Leveraging applications of formal methods, verification and validation","author":"T Margaria","year":"2014","unstructured":"Margaria, T., Floyd, B., Lamprecht, A., Camargo, R. G., Neubauer, J., & Seelaender, M. (2014). Simple management of high assurance data in long-lived interdisciplinary healthcare research: A proposal. In T. Margaria & B. Steffen (Eds.), Leveraging applications of formal methods, verification and validation (Lecture notes in computer science, Vol. 8803, pp. 526\u2013544). Berlin: Springer."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Margaria, T., Floyd, B. D., & Steffen, B. (2011). IT simply works: Simplicity and embedded systems design (pp. 194\u2013199). Computer Software and Applications Conference Workshops (COMPSACW), IEEE 35th Annual.","DOI":"10.1109\/COMPSACW.2011.42"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/978-1-60566-288-6.ch001","volume-title":"Handbook of research on business process modeling","author":"M Margaria","year":"2009","unstructured":"Margaria, M., & Steffen, B. (2009). Business process modelling in the jABC: The one-thing-approach. In J. Cardoso & W. van der Aalst (Eds.), Handbook of research on business process modeling (pp. 1\u201326). Hershey, PA: IGI Global."},{"issue":"6","key":"12_CR10","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria, T., & Steffen, B. (2010). Simplicity as a driver for agile innovation. IEEE Computer, 43(6), 90\u201392.","journal-title":"IEEE Computer"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Margaria, T., & Steffen, B. (2011). Special session on \u201cSimplification through change of perspective\u201d (pp. 67\u201368). Software Engineering Workshop (SEW), 34th IEEE.","DOI":"10.1109\/SEW.2011.15"},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering complexity","author":"T Margaria","year":"2012","unstructured":"Margaria, T., & Steffen, B. (2012). Service-orientation: Conquering complexity with XMDD. In M. Hinchey & L. Coyle (Eds.), Conquering complexity (pp. 217\u2013236). Wiesbaden: Springer."},{"issue":"3","key":"12_CR13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3233\/jid-2013-0008","volume":"16","author":"M Merten","year":"2013","unstructured":"Merten, M., & Steffen, B. (2013). Simplicity driven application development. Integrated Design & Process Science, 16(3), 9\u201323.","journal-title":"Integrated Design & Process Science"},{"key":"12_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-662-45234-9_5","volume-title":"Leveraging applications of formal methods, verification and validation","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Frohme, M., Steffen, B., & Margaria, T. (2014). Prototype-driven development of web applications with DyWA. In T. Margaria & B. Steffen (Eds.), Leveraging applications of formal methods, verification and validation (Lecture notes in computer science, Vol. 8802, pp. 56\u201372). Berlin: Springer."},{"key":"12_CR15","volume-title":"Service business model innovation in healthcare and hospital management","author":"C Rasche","year":"2016","unstructured":"Rasche, C., Margaria, T., & Floyd, B. (2016). Service model innovation in hospitals \u2013 beyond expert organizations. In M. A. Pfannstiel & C. Rasche (Eds.), Service business model innovation in healthcare and hospital management. Wiesbaden: Springer."},{"key":"12_CR16","volume-title":"ARIS \u2013 business process modeling","author":"AW Scheer","year":"1998","unstructured":"Scheer, A. W. (1998). ARIS \u2013 business process modeling (2nd ed.). New York: Springer.","edition":"2"},{"key":"12_CR17","first-page":"1","volume":"2015","author":"M Seelaender","year":"2015","unstructured":"Seelaender, M., Laviano, A., Busquets, S., Pschel, G. P., Margaria, T., & Batista, M. L. (2015). Inflammation in cachexia. Mediators of Inflammation, 2015, 1\u20132. Article ID 536954.","journal-title":"Mediators of Inflammation"},{"key":"12_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and software, verification and testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., & Kubczak, C. (2007). Model-driven development with the jABC. In E. Bin, A. Ziv, & S. Ur (Eds.), Hardware and software, verification and testing (Lecture notes in computer science, Vol. 4383, pp. 92\u2013108). Berlin: Springer."},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W Aalst van der","year":"1999","unstructured":"van der Aalst, W. (1999). Formalization and verification of event-driven process chains. Information & Software Technology, 41, 639\u2013650.","journal-title":"Information & Software Technology"},{"key":"12_CR20","volume-title":"BPMN modeling and reference guide","author":"SA White","year":"2008","unstructured":"White, S. A., & Miers, D. (2008). BPMN modeling and reference guide. Lighthouse Point, FL: Future Strategies Inc."}],"container-title":["Service Business Model Innovation in Healthcare and Hospital Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46412-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T02:08:19Z","timestamp":1601258899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46412-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,20]]},"ISBN":["9783319464114","9783319464121"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46412-1_12","relation":{},"subject":[],"published":{"date-parts":[[2016,12,20]]}}}