{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:03:12Z","timestamp":1765666992165},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320361"},{"type":"electronic","value":"9783642320378"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32037-8_11","type":"book-chapter","created":{"date-parts":[[2012,7,21]],"date-time":"2012-07-21T00:27:32Z","timestamp":1342830452000},"page":"163-178","source":"Crossref","is-referenced-by-count":6,"title":["GiN: A Graphical Language and Tool for Defining iTask Workflows"],"prefix":"10.1007","author":[{"given":"Jeroen","family":"Henrix","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"81","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems and Computers\u00a081, 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-1-4615-5499-8_10","volume":"428","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: Chapter 10: Three good reasons for using a Petri-net-based Workflow Management System. Information and Process Integration in Enterprises: Rethinking Documents\u00a0428, 161\u2013182 (1998)","journal-title":"Information and Process Integration in Enterprises: Rethinking Documents"},{"key":"11_CR3","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Technical Report FIT-TR-2002-06, Queensland University of Technology (2002)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-540-85758-7_29","volume-title":"Business Process Management","author":"G. Decker","year":"2008","unstructured":"Decker, G., Overdick, H., Weske, M.: Oryx \u2013 An Open Modeling Platform for the BPM Community. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 382\u2013385. Springer, Heidelberg (2008)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Dumas","year":"2001","unstructured":"Dumas, M., ter Hofstede, A.H.M.: UML Activity Diagrams as a Workflow Specification Language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 76\u201390. Springer, Heidelberg (2001)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Elliot, C.: Tangible functional programming. In: Proceedings of the 12th International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, pp. 59\u201370. ACM Press (2007)","DOI":"10.1145\/1291151.1291163"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/11964681_12","volume-title":"Implementation and Application of Functional Languages","author":"K. Hanna","year":"2006","unstructured":"Hanna, K.: A Document-Centered Environment for Haskell. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.\u00a04015, pp. 196\u2013211. Springer, Heidelberg (2006)"},{"key":"11_CR8","unstructured":"Henrix, J.: A graphical workflow editor for iTask. Master\u2019s thesis, Radboud University Nijmegen, Number 638 (2010)"},{"key":"11_CR9","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.-W.: Semantische Proze\u00dfmodellierung auf der Grundlage \u201cEreignisgesteuerter Proze\u00dfketten (EPK)\u201d. Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik (IWi), Universit\u00e4t des Saarlandes, Heft 89 (January 1992)"},{"key":"11_CR10","unstructured":"Kelso, J.: A Visual Programming Environment for Functional Languages. PhD thesis, Murdoch University (2002)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-24452-0_12","volume-title":"Implementation and Application of Functional Languages","author":"P. Koopman","year":"2011","unstructured":"Koopman, P., Plasmeijer, R., Achten, P.: An Executable and Testable Semantics for iTasks. In: Scholz, S.-B., Chitil, O. (eds.) IFL 2008. LNCS, vol.\u00a05836, pp. 212\u2013232. Springer, Heidelberg (2011)"},{"key":"11_CR12","series-title":"LNBIP","first-page":"212","volume-title":"BPM 2008 Workshops","author":"S. K\u00fchne","year":"2009","unstructured":"K\u00fchne, S., Kern, H., Gruhn, V., Laue, R.: Business Process Modelling with Continuous Validation. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol.\u00a017, pp. 212\u2013223. Springer, Heidelberg (2009)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Mendling, J., Neumann, G., N\u00fcttgens, M.: Towards workflow pattern support of event-driven process chains (EPC). In: Proceedings of the 2nd Workshop XML4BPM 2005, pp. 23\u201338 (2005)","DOI":"10.1007\/s10257-005-0026-1"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Mendling, J., Ziemann, J.: Transformation of BPEL processes to EPCs. In: N\u00fcttgens, M., Rump, F.J. (eds.) Proceedings of the 4th GI Workshop on Business Process Management with Event-Driven Process Chains (EPK 2005), pp. 41\u201353 (2005)","DOI":"10.1007\/s10257-005-0026-1"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-24276-2_10","volume-title":"Implementation and Application of Functional Languages","author":"S. Michels","year":"2011","unstructured":"Michels, S., Plasmeijer, R., Achten, P.: iTask as a New Paradigm for Building GUI Applications. In: Hage, J., Moraz\u00e1n, M.T. (eds.) IFL 2010. LNCS, vol.\u00a06647, pp. 153\u2013168. Springer, Heidelberg (2011)"},{"key":"11_CR16","unstructured":"Object Management Group. Business process model and notation (BPMN) version 1.2. Technical report, Object Management Group (2009)"},{"key":"11_CR17","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.\u00a01595, pp. 169\u2013185. Springer, Heidelberg (1999)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: Hinze, R., Ramsey, N. (eds.) Proceedings of the International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, pp. 141\u2013152. ACM Press (2007)","DOI":"10.1145\/1291151.1291174"},{"key":"11_CR19","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: Khoo, S.-C., Siek, J. (eds.) Proceedings of the Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, pp. 151\u2013160. ACM Press (2011)","DOI":"10.1145\/1929501.1929528"},{"key":"11_CR20","unstructured":"Reekie, H.J.: Realtime Signal Processing \u2013 Dataflow, Visual, and Functional Programming. PhD thesis, University of Technology at Sydney, Australia (1995)"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/GPC.2009.12","volume-title":"GPC 2009: Proceedings of the 2009 Workshops at the Grid and Pervasive Computing Conference","author":"D. Schumm","year":"2009","unstructured":"Schumm, D., Karastoyanova, D., Leymann, F., Nitzsche, J.: On visualizing and modelling BPEL with BPMN. In: GPC 2009: Proceedings of the 2009 Workshops at the Grid and Pervasive Computing Conference, pp. 80\u201387. IEEE Computer Society, Washington, DC, USA (2009)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-85758-7_10","volume-title":"Business Process Management","author":"J. Vanhatalo","year":"2008","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The Refined Process Structure Tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-44854-3_7","volume-title":"Implementation of Functional Languages","author":"M. Vervoort","year":"2003","unstructured":"Vervoort, M., Plasmeijer, R.: Lazy Dynamic Input\/Output in the Lazy Functional Language Clean. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 101\u2013117. Springer, Heidelberg (2003)"},{"key":"11_CR24","unstructured":"Weber, G.D.: Sifflet home page (2011), http:\/\/mypage.iu.edu\/~gdweber\/-software\/sifflet\/home.html"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32037-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T14:05:47Z","timestamp":1642860347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32037-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320361","9783642320378"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32037-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}