Difference between revisions of "ITasks"

From Clean
Jump to navigationJump to search
(10 intermediate revisions by 2 users not shown)
Line 2: Line 2:
 
The iTask system ('''iTasks''') is a task-oriented programming toolkit for programming workflow support applications in [[Clean]].
 
The iTask system ('''iTasks''') is a task-oriented programming toolkit for programming workflow support applications in [[Clean]].
  
With this toolkit workflows can be speficied using combinators in a very high level declarative monadic style. Workflows consist
+
With this toolkit, interactive systems can be specified using combinators in a very high level declarative monadic style. Programs are constructed by combining typed 'tasks'. These tasks produce results that can be passed as parameters to other tasks. Tasks are constructed by combining
of typed tasks that produce results that can be passed as parameters to other tasks. Tasks are constructed by combining
 
 
single steps sequentially or in parallel.
 
single steps sequentially or in parallel.
From iTask specifications, executable workflow support systems are generated automatically.
+
From iTask specifications, executable web-based workflow support systems are generated automatically.
  
 
[[File:itasks2-gui.jpg|thumb|The iTask2 GUI]]
 
[[File:itasks2-gui.jpg|thumb|The iTask2 GUI]]
  
 
This latest version features:
 
This latest version features:
* A highly declarative API for specification of dynamic workflows
+
* A highly declarative API for specification of interactive systems as task compositions.
* A rich Ajax client interface for working on tasks
+
* Automatic generation of web-based user interfaces for entering and updating and viewing data.
* Automatically generated editors for entering and updating data in workflows.
+
* Automatic data persistance
* A JSON based service API for spawning and interacting with running workflow instances
+
* Automatic instant synchronization between different clients using html5 push technologies.
* The possibility to change running workflow instances
+
* Easy creation of JSON webservices
 +
* A builtin HTTP1.1 webserver
 +
* Integration framework for common client-side javascript libraries (for example google maps)
  
== Snapshot for CEFP 2013 Course ==
+
== Installation ==
For the CEFP course, a snapshot of Clean 2.4 + iTasks for 32-bit windows is available that works out of the box.
+
Download and unzip a [[Download Clean | Clean Development Release]]. It contains iTasks by default. Clean 2.4 is not supported in combination with iTasks.
You can download it here: [http://www.cs.ru.nl/~baslijns/iTasks-prereleases/CleanWithiTasks-20130704.zip CleanWithiTasks-20130704.zip]
 
  
Here are some additional resources:
+
Mac and Linux users should follow the installation instructions provided in the README.txt.
# [https://wiki.clean.cs.ru.nl/File:Ligretto_framework.zip]: a framework for the Ligretto case study (ligretto_framework.zip).
 
  WARNING SPOILERS AHEAD: if you really want to implement the case study yourself, then do not download this version!!
 
  This is a complete implementation of the Ligretto case study!!
 
# [https://wiki.clean.cs.ru.nl/File:Ligretto_case_study.ppt‎]: brief explanation of the Ligretto case study and the above framework.
 
# [https://wiki.clean.cs.ru.nl/File:assignments.ppt] the lab assignments.
 
# [https://wiki.clean.cs.ru.nl/File:Assignments_answers.ppt] possible solutions and explanations to the lab assignments.
 
# [https://wiki.clean.cs.ru.nl/File:TOP_Part_1_CEFP_2013.ppt]: the first lecture slides
 
# [https://wiki.clean.cs.ru.nl/File:TOP_Part_2_CEFP_2013.ppt]: the second lecture slides
 
 
 
== Get from subversion ==
 
The iTask system is actively developed, but not regularly released. You can get the development trunk from our subversion repository.
 
You can get started with iTasks by following the following three steps:
 
# Install a [[Download Clean | Clean 2.4]] system for 32-bit Windows.
 
# Check out the iTask trunk https://svn.cs.ru.nl/repos/iTask-system/trunk to a directory named 'iTasks-SDK' in your Clean 2.4 directory.
 
# Follow the setup instructions in README.txt
 
  
 
== Documentation ==
 
== Documentation ==
Documentation of iTasks is still mostly done in scientific papers (look for iTasks on the [[Publications]] page).
+
You can find up-to-date documentation via the [https://cloogle.org Cloogle] search engine which indexes all standard libraries, external libraries, compiler errors, ABC instructions, builtins and syntax elements. Documentation of the concepts of iTasks is still mostly done in scientific papers (look for iTasks on the [[Publications]] page).
On this Wiki the following additional resources are available:
 
 
 
* [[Interfacing with the iTasks JSON API]]
 
  
 
== Browsers ==
 
== Browsers ==
  
The iTask system works with most browsers. IE 9 is a known exception, we are working on that.
+
The iTask system works with most modern browsers. IE 9 is a known exception, we are working on that.
  
 
Using the iTask system with Firefox can be very slow. This is caused by a delay that is added by Firefox for all events for localhost. There are several solutions and workarounds:
 
Using the iTask system with Firefox can be very slow. This is caused by a delay that is added by Firefox for all events for localhost. There are several solutions and workarounds:
Line 57: Line 39:
  
 
== Read more ==
 
== Read more ==
* [[iTasks_papers|Papers about iTasks]]
+
* [[ST_Publications|Papers about iTasks]]
 
* [[Workflow examples]]
 
* [[Workflow examples]]
 
* [[ITasksProjectIdeas| Ideas for projects to improve iTasks]]
 
* [[ITasksProjectIdeas| Ideas for projects to improve iTasks]]

Revision as of 11:12, 5 July 2018

Itasks-logo.png

The iTask system (iTasks) is a task-oriented programming toolkit for programming workflow support applications in Clean.

With this toolkit, interactive systems can be specified using combinators in a very high level declarative monadic style. Programs are constructed by combining typed 'tasks'. These tasks produce results that can be passed as parameters to other tasks. Tasks are constructed by combining single steps sequentially or in parallel. From iTask specifications, executable web-based workflow support systems are generated automatically.

The iTask2 GUI

This latest version features:

  • A highly declarative API for specification of interactive systems as task compositions.
  • Automatic generation of web-based user interfaces for entering and updating and viewing data.
  • Automatic data persistance
  • Automatic instant synchronization between different clients using html5 push technologies.
  • Easy creation of JSON webservices
  • A builtin HTTP1.1 webserver
  • Integration framework for common client-side javascript libraries (for example google maps)

Installation

Download and unzip a Clean Development Release. It contains iTasks by default. Clean 2.4 is not supported in combination with iTasks.

Mac and Linux users should follow the installation instructions provided in the README.txt.

Documentation

You can find up-to-date documentation via the Cloogle search engine which indexes all standard libraries, external libraries, compiler errors, ABC instructions, builtins and syntax elements. Documentation of the concepts of iTasks is still mostly done in scientific papers (look for iTasks on the Publications page).

Browsers

The iTask system works with most modern browsers. IE 9 is a known exception, we are working on that.

Using the iTask system with Firefox can be very slow. This is caused by a delay that is added by Firefox for all events for localhost. There are several solutions and workarounds:

  1. type as url: about:config
  2. search for v6, you will see network.dns.disableIPv6
  3. toggle the value of this parameter to True.

Read more