Chemical Technology, Control and Management


A workflow is an automation of a process, in which agents (people or programs) are involved in activities for solving a set of tasks in order to attain a common goal. The concept of workflow appeared in business informatics. Currently, the workflow techniques are used in many other fields of informatics (medical and bioinformatics, organization of scientific researches, computer-aided design and manufacturing, robotics et al,) Many methods and formalisms were applied for specifying workflows. Specific logical languages were used for this. In particular, temporal logics are popular as workflow specification formalisms. Allen’s interval logic is the simplest temporal logic, but only a few kinds of qualitative properties can be specified for workflows, We define a metric extension of Allen’s interval logic and show how to use it for specifying workflows. We construct an inference method for this formalism. The method is based on the analytic tableaux techniques. We also show how to use the inference method for query answering over workflows schemas and their states.

First Page


Last Page





1. M.D’Aggostino, D.Gabbay, R.Hahnle, J.Possega. “Handbook of Tableaux Methods”, Kluwer Academic Publishers, 1999, p. 612.

2. J.A.Allen, “Maintaining knowledge about temporal intervals”, Communications of the ACM, vol. 26, no. 11, pp. 832-843, 1983.

3. J.F.Allen, “Towards a general theory of action and time Artificial Intelligence”, vol. 23, no. 1, pp. 123-154, 1984.

4. J.F.Allen, and G.Ferguson, “Actions and events in interval temporal logic”, Journal of Logic and Computation, vol. 4, no. 6, 531-579, 1994.

5. G.F.Alonso, F.Casati, H.Kuno, V.Machiraju, “Web Services: concepts, architectures and applications”, Springer Verlag, 2003, 378 p.

6. M.Dumas, Van der Aalst W.M.P., Ter Hofstede A.H.M.(eds.), Process Aware Information Systems. Wiley & Sons, inc. 2005, 217 p.

7. Y.Gil, E.Deelman, E.Ellisman, M.Fahringer, T.Fox, D.Gannon, C.Goble, M.Livny, L.Moreau, J.Myers, “Examining the Challenges of Scientific Workflows” IEEE Computer, 2007, vol. 40, no. 1, pp. 26-34.

8. H.Ma, “A workflow model based on temporal logic Proceedings of the 8th International” Conference on Computer Supported Cooperative Work in Design, IEEE. 2004, pp. 327-332.

9. M.Matschiner, W.Satzburger, “TANDEM: integrated allele binning into genetics and genomics workflows Bioinformatics”, vol. 25, no. 8, pp. 1982-1997, 2009.

10. W.H.P.Van der Aalst, K.M.Van Hee, “Workflow Management: Models”, Methods and Systems. MIT Press, Cambridge, USA. 2002, 443 p.

Included in

Engineering Commons



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.