{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:12:12Z","timestamp":1756311132665,"version":"3.40.5"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319146744"},{"type":"electronic","value":"9783319146751"}],"license":[{"start":{"date-parts":[[2014,12,27]],"date-time":"2014-12-27T00:00:00Z","timestamp":1419638400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,12,27]],"date-time":"2014-12-27T00:00:00Z","timestamp":1419638400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14675-1_8","type":"book-chapter","created":{"date-parts":[[2014,12,26]],"date-time":"2014-12-26T15:10:25Z","timestamp":1419606625000},"page":"122-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks"],"prefix":"10.1007","author":[{"given":"Jurri\u00ebn","family":"Stutterheim","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,27]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.: Task-oriented programming in a pure functional language. In: Proceedings of the 2012 ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2012, Leuven, Belgium, pp. 195\u2013206. ACM, September 2012","DOI":"10.1145\/2370776.2370801"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Achten, P., Koopman, P., Lijnse, B., Van Noort, T., Van Groningen, J.: iTasks for a change: type-safe run-time change in dynamically evolving workflows. In: PEPM 2011: Proceedings Workshop on Partial Evaluation and Program Manipulation, Austin, TX, USA, pp. 151\u2013160. ACM, New York (2011)","DOI":"10.1145\/1929501.1929528"},{"key":"8_CR3","unstructured":"Plasmeijer, R., van Eekelen, M.: Clean language report (version 2.1) (2002). http:\/\/clean.cs.ru.nl"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Jansson, P., Jeuring, J.: PolyP \u2014 a polytypic programming language extension. In: Conference Record of POPL 1997: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 470\u2013482. ACM Press (1997)","DOI":"10.1145\/263699.263763"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Implementation of Functional Languages","author":"A Alimarine","year":"2002","unstructured":"Alimarine, A., Plasmeijer, R.: A generic programming extension for clean. In: Arts, T., Mohnen, M. (eds.) IFL 2001. LNCS, vol. 2312, pp. 168\u2013185. Springer, Heidelberg (2002)"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1017\/S0960129500070109","volume":"6","author":"E Barendsen","year":"1996","unstructured":"Barendsen, E., Smetsers, S.: Uniqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Computer Science 6, 579\u2013612 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-48515-5_11","volume-title":"Implementation of Functional Languages","author":"M Pil","year":"1999","unstructured":"Pil, M.: Dynamic types and type dependent functions. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol. 1595, pp. 169\u2013185. Springer, Heidelberg (1999)"},{"key":"8_CR8","unstructured":"Lijnse, B., Jansen, J., Plasmeijer, R.: Incidone: a task-oriented incident coordination tool. In: Rothkrantz, L., Ristvej, J., Franco, Z. (eds.) Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management, ISCRAM 2012, Vancouver, Canada, April 2012"},{"key":"8_CR9","unstructured":"Object Modeling Group: OMG Unified Modeling Language Specification. Technical report, March 2000"},{"key":"8_CR10","unstructured":"Object Modeling Group: OMG Unified Modeling Language (OMG UML), Infrastructure. Technical report, March 2012"},{"key":"8_CR11","unstructured":"Achten, P.: Clean for Haskell98 programmers - a quick reference guide, 13 July 2007"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/jvlc.1994.1005","volume":"5","author":"J Poswig","year":"1994","unstructured":"Poswig, J., Vrankar, G., Morara, C.: VisaVis: a Higher-order Functional Visual Programming Language. Journal of Visual Languages & Computing 5(1), 83\u2013111 (1994)","journal-title":"Journal of Visual Languages & Computing"},{"key":"8_CR13","unstructured":"Reekie, H.J.: Visual Haskell: a first attempt. Technical report (1994)"},{"issue":"9","key":"8_CR14","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/583852.581493","volume":"37","author":"K Hanna","year":"2002","unstructured":"Hanna, K.: Interactive visual functional programming. ACM SIGPLAN Notices 37(9), 145\u2013156 (2002)","journal-title":"ACM SIGPLAN Notices"},{"issue":"9","key":"8_CR15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/1291220.1291163","volume":"42","author":"CM Elliott","year":"2007","unstructured":"Elliott, C.M.: Tangible functional programming. ACM SIGPLAN Notices 42(9), 59\u201370 (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-32037-8_11","volume-title":"Trends in Functional Programming","author":"J Henrix","year":"2012","unstructured":"Henrix, J., Plasmeijer, R., Achten, P.: GiN: a graphical language and tool for defining iTask workflows. In: Pe\u00f1a, R., Page, R. (eds.) TFP 2011. LNCS, vol. 7193, pp. 163\u2013178. Springer, Heidelberg (2012)"},{"key":"8_CR17","unstructured":"Petri, C.A.: Communication with Automata. Technical Report RADC-TR-65-377, January 1966"},{"key":"8_CR18","unstructured":"White, S.A.: Business Process Model and Notation, V1.1, pp. 1\u2013318, January 2008"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Fuhs, J., Cannady, J.: An automated approach in reverse engineering Java applications using Petri Nets. In: IEEE SoutheastCon, 2004, Greensboro, North Carolina, pp. 90\u201396. IEEE, March 2004","DOI":"10.1109\/SECON.2004.1287903"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14675-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T14:15:32Z","timestamp":1747318532000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14675-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,27]]},"ISBN":["9783319146744","9783319146751"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14675-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014,12,27]]},"assertion":[{"value":"27 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}