An introduction to iTasks: defining interactive work flows for the web. In these lecture notes we present the iTasks system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are automated systems in which tasks are coordinated that have to be executed by either humans or computers. The combinators that we propose support work flow patterns commonly found in commercial work flow systems. In addition, we introduce novel work flow patterns that capture real world requirements, but that can not be dealt with by current systems. Compared with most of these commercial systems, the iTasks system offers several further advantages: tasks are statically typed, tasks can be higher order, the combinators are fully compositional, dynamic and recursive work flows can be specified, and last but not least, the specification is used to generate an executable web-based multi-user work flow application. With the iTasks system, useful work flows can be defined which cannot be expressed in other systems: a work can be interrupted and subsequently directed to other workers for further processing. The iTasks system has been constructed in the programming language Clean, making use of its generic programming facilities, and its iData toolkit with which interactive, thin-client, form-based web applications can be created. In all, iTasks are an excellent case of the expressive power of functional and generic programming.
Keywords for this software
References in zbMATH (referenced in 7 articles )
Showing results 1 to 7 of 7.
- Achten, Peter: Why functional programming matters to me (2013) ioport
- Koopman, Pieter: Functional semantics (2013)
- Lijnse, Bas: Evolution of a parallel task combinator (2013)
- Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.: Trends in trends in functional programming 1999/2000 versus 2007/2008 (2010)
- Heeren, Bastiaan; Jeuring, Johan; Gerdes, Alex: Specifying rewrite strategies for interactive exercises (2010)
- Plasmeijer, Rinus; Achten, Peter; Koopman, Pieter: An introduction to iTasks: Defining interactive work flows for the web (2008)
- Plasmeijer, Rinus; Achten, Peter; Koopman, Pieter: iTasks, executable specifications of interactive work flow systems for the web (2007) ioport
Further publications can be found at: http://wiki.clean.cs.ru.nl/ST_Publications