{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:46:55Z","timestamp":1750308415333,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,2]],"date-time":"2018-06-02T00:00:00Z","timestamp":1527897600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"SFI","award":["13\/RC\/2094"],"award-info":[{"award-number":["13\/RC\/2094"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,2]]},"DOI":"10.1145\/3193992.3194002","type":"proceedings-article","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T13:05:12Z","timestamp":1532005512000},"page":"60-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Domain-specific design of patient classification in cancer-related cachexia research"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Wickert","sequence":"first","affiliation":[{"name":"University of Potsdam, Potsdam, Germany"}]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[{"name":"University of Limerick and Lero, Limerick, Ireland"}]}],"member":"320","published-online":{"date-parts":[[2018,6,2]]},"reference":[{"volume-title":"Kepler: An Extensible System for Design and Execution of Scientific Workflows. In SSDBM","year":"2004","author":"Altintas I.","key":"e_1_3_2_1_1_1"},{"volume-title":"DIME: A Programming-Less Modeling Environment for Web Applications. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","year":"2016","author":"Bo\u00dfelmann S.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"S. Bo\u00dfelmann A. Wickert A.-L. Lamprecht and T. Margaria. 2017. Modeling Directly Executable Processes for Healthcare Professionals with XMDD. Springer Int. Publishing Cham 213--232.  S. Bo\u00dfelmann A. Wickert A.-L. Lamprecht and T. Margaria. 2017. Modeling Directly Executable Processes for Healthcare Professionals with XMDD. Springer Int. Publishing Cham 213--232.","DOI":"10.1007\/978-3-319-46412-1_12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.clnu.2008.06.013"},{"key":"e_1_3_2_1_5_1","unstructured":"F. Froehlich and A. Kent (Eds.). 1995. The Froehlich\/Kent Encyclopedia of Telecommunications. Vol. 9. Marcel Dekker INC. https:\/\/books.google.de\/books?id=TR8fMQAACAAJ  F. Froehlich and A. Kent (Eds.). 1995. The Froehlich\/Kent Encyclopedia of Telecommunications. Vol. 9. Marcel Dekker INC. https:\/\/books.google.de\/books?id=TR8fMQAACAAJ"},{"key":"e_1_3_2_1_6_1","unstructured":"M. Frohme. 2013. Agile Dom\u00e4nenmodellierung f\u00fcr prozessgesteuerte Webanwendungen. Bachelor thesis. TU Dortmund.  M. Frohme. 2013. Agile Dom\u00e4nenmodellierung f\u00fcr prozessgesteuerte Webanwendungen. Bachelor thesis. TU Dortmund."},{"key":"e_1_3_2_1_7_1","unstructured":"ITU-T: Recommendation Q.1203. 1992. Intelligent Network - Global Functional Plane Architecture. (10 1992). http:\/\/www.itu.int\/rec\/T-REC-Q.1203-199210-S\/en  ITU-T: Recommendation Q.1203. 1992. Intelligent Network - Global Functional Plane Architecture. (10 1992). http:\/\/www.itu.int\/rec\/T-REC-Q.1203-199210-S\/en"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"F. Lira B. Antunes M. Seelaender and J. Rosa Neto. 2015. The therapeutic potential of exercise to treat cachexia. Current opinion in supportive and palliative care 9 4 (12 2015) 317--324.  F. Lira B. Antunes M. Seelaender and J. Rosa Neto. 2015. The therapeutic potential of exercise to treat cachexia. Current opinion in supportive and palliative care 9 4 (12 2015) 317--324.","DOI":"10.1097\/SPC.0000000000000170"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"F. Lira J. Rosa Neto and M. Seelaender. 2014. Exercise training as treatment in cancer cachexia. Applied physiology nutrition and metabolism = Physiologie appliquee nutrition et metabolisme 39 6 (03 2014) 679--686.  F. Lira J. Rosa Neto and M. Seelaender. 2014. Exercise training as treatment in cancer cachexia. Applied physiology nutrition and metabolism = Physiologie appliquee nutrition et metabolisme 39 6 (03 2014) 679--686.","DOI":"10.1139\/apnm-2013-0554"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_44"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2011.42"},{"key":"e_1_3_2_1_12_1","first-page":"2","article-title":"Lightweight coarse-grained coordination: a scalable system-level approach","volume":"5","author":"Margaria T.","year":"2004","journal-title":"Software Tools for Technology Transfer"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.315"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"T. Margaria and B. Steffen. 2012. Service-Orientation: Conquering Complexity with XMDD. In Conquering Complexity. Springer London 217--236.  T. Margaria and B. Steffen. 2012. Service-Orientation: Conquering Complexity with XMDD. In Conquering Complexity. Springer London 217--236.","DOI":"10.1007\/978-1-4471-2297-5_10"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0453-6"},{"key":"e_1_3_2_1_16_1","unstructured":"J. Neubauer. 2014. Higher-Order Process Engineering. PhD thesis. TU Dortmund. http:\/\/hdl.handle.net\/2003\/33479  J. Neubauer. 2014. Higher-Order Process Engineering. PhD thesis. TU Dortmund. http:\/\/hdl.handle.net\/2003\/33479"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bth361"},{"key":"e_1_3_2_1_19_1","unstructured":"OpenClinica. 2018. OpenClinica. https:\/\/www.openclinica.com. (January 2018). https:\/\/www.openclinica.com {Online; last accessed 20-January-2018}.  OpenClinica. 2018. OpenClinica. https:\/\/www.openclinica.com. (January 2018). https:\/\/www.openclinica.com {Online; last accessed 20-January-2018}."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"M. Seelaender A. Laviano S. Busquets G. P\u00fcschel T. Margaria and M. Batista. 2015. Inflammation in Cachexia. Mediators of Inflammation 2015 (2015) 2 pages.  M. Seelaender A. Laviano S. Busquets G. P\u00fcschel T. Margaria and M. Batista. 2015. Inflammation in Cachexia. Mediators of Inflammation 2015 (2015) 2 pages.","DOI":"10.1155\/2015\/536954"},{"volume":"4383","volume-title":"Verification and Testing. LNCS","author":"Steffen B.","key":"e_1_3_2_1_21_1"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 6th Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3193992.3194002","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3193992.3194002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:15Z","timestamp":1750268955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3193992.3194002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,2]]},"references-count":21,"alternative-id":["10.1145\/3193992.3194002","10.1145\/3193992"],"URL":"https:\/\/doi.org\/10.1145\/3193992.3194002","relation":{},"subject":[],"published":{"date-parts":[[2018,6,2]]},"assertion":[{"value":"2018-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}