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