An executable and testable semantics for iTasks
Pieter Koopman,Rinus Plasmeijer,Peter Achten +2 more
- 10 Sep 2008
- pp 212-232
TL;DR: An executable semantics that specifies how workflows react on events generated by the workers executing them, and a mathematical notion of equivalence of tasks and how this equivalence for tasks can be approximated automatically are defined.
read more
Abstract: The iTask system is an easy to use combinator library for specifying dynamic data dependent workflows in a very flexible way. The specified workflows are executed as a multi-user web-application. The implementation of the iTask system is fairly complicated. Hence we cannot use it for reasoning about the semantics of workflows in the iTask system. In this paper we define an executable semantics that specifies how workflows react on events generated by the workers executing them. The semantics is used to explain iTasks and to reason about iTasks. Based on this semantics we define a mathematical notion of equivalence of tasks and show how this equivalence for tasks can be approximated automatically. Advantages of this executable semantics are: it is easy to validate the semantics by interactive simulation; properties of the semantics can be tested by our model-based test system Gst. Gst can test a large number of properties within seconds. These tests appeared to be a good indication about the consistency of the specified semantics and equivalence relation for tasks. The automatic testing of properties was very helpful in the development of the semantics. The contribution of this paper is a semantics for iTasks as well as the method used to construct this operational semantics.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Dissertation
Assisting End Users in Workflow Systems
Nico Naus
- 29 Jun 2020
TL;DR: This dissertation attempts to answer the question, how can end users be provided with next-step hints to aid them in making decisions by applying of techniques from intelligent tutoring systems (ITS) and program analysis.
22
iTasks for a change: type-safe run-time change in dynamically evolving workflows
Rinus Plasmeijer,Peter Achten,Pieter Koopman,Bas Lijnse,Thomas van Noort,John van Groningen +5 more
- 24 Jan 2011
TL;DR: This paper introduces a change concept for the iTask system where self-contained tasks can be replaced by other self- contained tasks, thereby preventing dynamic change bugs and guaranteeing that these tasks have compatible types.
iTasks 2: iTasks for end-users
Bas Lijnse,Rinus Plasmeijer +1 more
- 23 Sep 2009
TL;DR: A new implementation of the iTask system is presented that implements the combinator library using a service based architecture that exposes the workflow and a user friendly Ajax client and explains the novel generic libraries developed for this purpose.
Embedding a web-based workflow management system in a functional language
Jan Martin Jansen,Rinus Plasmeijer,Pieter Koopman,Peter Achten +3 more
- 28 Mar 2010
TL;DR: The iTask system is developed, which is a novel workflow management system that entirely embed the iTask specification language in a modern general purpose functional language, and generates a complete workflow application.
9
GiN: a graphical language and tool for defining itask workflows
Jeroen Henrix,Rinus Plasmeijer,Peter Achten +2 more
- 16 May 2011
TL;DR: GiN is presented: a graphical notation for iTask workflows, as well as a prototype implementation of a tool to construct GiN workflows interactively and graphically.
7
References
Scientific Workflow Management and the Kepler System
Bertram Ludäscher,Bertram Ludäscher,Ilkay Altintas,Chad Berkley,Dan Higgins,Efrat Jaeger,Matthew B. Jones,Edward A. Lee,Jing Tao,Yang Zhao +9 more
TL;DR: Kepler as mentioned in this paper is a scientific workflow system, which is currently under development across a number of scientific data management projects and is a community-driven, open source project, and always welcome related projects and new contributors to join.
The Coq proof assistant : reference manual, version 6.1
Bruno Barras,Samuel Boutin,Cristina Cornes,Judicaël Courant,Jean-Christophe Filliâtre,Eduardo Giménez,Hugo Herbelin,Gérard Huet,César A. Muñoz,Chetan Murthy,Catherine Parent,Christine Paulin-Mohring,Amokrane Saïbi,Benjamin Werner +13 more
- 01 Jan 1997
TL;DR: Coq V6.1 is a proof assistant based on a higher-order logic allowing powerful definitions of functions and is available by anonymous ftp at ftp.ens-lyon.fr/INRIA/Projects/coq/V 6.1.
1.2K
Scientific workflow management and the Kepler system: Research Articles
Bertram Ludäscher,Ilkay Altintas,Chad Berkley,Dan Higgins,Efrat Jaeger,Matthew B. Jones,Edward A. Lee,Jing Tao,Yang Zhao +8 more
TL;DR: Characteristics of and requirements for scientific workflows as identified in a number of application projects are described, and some key features of Kepler and its underlying Ptolemy II system, planned extensions, and areas of future research are described.
1.2K
A Generic Programming Extension for Clean
Artem Alimarine,Marinus J. Plasmeijer +1 more
- 24 Sep 2001
TL;DR: In this paper, a combination of two existing approaches, which has the advantages of both of them, is presented, where overloaded functions with class variables of an arbitrary kind can be defined generically.