Title: Qualitative and quantitative specification of interorganisational workflows

Authors: Fawzi Daoud

Addresses: CRL-Communications Research Laboratory, Keihanna Human Info-Communications Research Center, 2-2-2 Hikaridai, Seika-cho, Soraku-gun, Kyoto, 619-0289, Japan

Abstract: An interorganisational workflow is essentially a system of concurrent independent entities that interact via the possibly unreliable exchange of messages. In order to enact a software process in a distributed workflow environment, the members must communicate with each other in order to exchange data values and synchronisation messages. Due to the fact that the qualitative and the quantitative descriptions of interorganisational workflows are of different natures, we opted for a methodology that uses two description techniques: one for the functional behaviour (process algebra) and one for the quantitative information (real-time temporal logic).

Keywords: workflow; logic; process; temporal; real time; organisations.

DOI: 10.1504/IJMTM.2003.003411

International Journal of Manufacturing Technology and Management, 2003 Vol.5 No.3, pp.246 - 261

Published online: 06 Sep 2003 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article