Communication based workflow loop formalization using Temporal Logic of Actions (TLA)

José L. Caro, Antonio Guevara, Andrés Aguayo, José L. Leiva

Abstract

The workflow map development for an organization is a highly complex process. Therefore, the workflow map should be tested and validated before it is implemented (into a WfMS). Most current workflow systems deal with this validation issue by using simulation modules that “execute” the model and examine the possible problems before it is truly “executed” and implemented. Although these simulation modules are very useful for the management team to detect problems in the business processes represented by the workflow, it would be advisable to find other more reliable methods. In this paper we propose a formal method based on Temporal Logic of Actions to formalize workflow maps (based on a communication modelling methodology).

References

  1. W. Aalst. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. Lecture Notes in Computer Science, 1806:161-183, 2000.
  2. J. L. Caro, A. Guevara, and A. Aguayo. Workflow: a solution for the cooperative development of an information system. Business Process Management Journal, 9(2):208-220, 2003.
  3. J. L. Caro, A. Guevara, A. Aguayo, S. Gálvez, and A. Carrillo. A temporal reasoning approach of communication based workflow modelling. In O. Camp, J. Filipe, S. Hammoudi, and M. Piattini, editors, ICEIS'2003. Internaciontal Conference on Enterprise Information Systems, pages 245-250, Angers, France, 2003. Ecola Superior de Setubal, ACM, IEEE.
  4. L. Lamport. Specifying Systems. Addison-Wesley, 2002.
  5. R. Medina-Mora, T. Winograd, R. Flores, and F. Flores. The Action Workflow Approach to Workflow Management Technology. In Proceedings of ACM CSCW'92 Conference on Computer-Supported Cooperative Work, Emerging Technologies for Cooperative Work, pages 281-288, 1992.
  6. H. Reijers. Design and Control of Workflow Processes, volume LNCS-2617 of Lecture Notes in Computer Science. Springer, 2003.
  7. W. Sadiq and M. E. Orlowska. Analyzing process models using graph reduction techniques. Information Systems, 21(2):117-134, April 2000.
  8. J. R. Searle. A taxonomy of illocutionary acts. In K. Gunderson, editor, Language, Mind, and Knowledge. Minnesota Studies in the Philosophy of Science, Vol. 7, pages 344-369. University of Minnesota Press, Minneapolis, Minnesota, 1975.
  9. A. Sheth and M. Rusinkiewicz. On transactional workflows. IEEE Data Engineering Bulletin, 16(2):37, June 1993.
  10. H. Zhuge, T. yat Cheung, an d H. keng Pung. A timed workflow process model. Journal of Systems and Software, 55(3):231-243, January 2001.
Download


Paper Citation


in Harvard Style

L. Caro J., Guevara A., Aguayo A. and L. Leiva J. (2004). Communication based workflow loop formalization using Temporal Logic of Actions (TLA) . In Proceedings of the 1st International Workshop on Computer Supported Activity Coordination - CSAC, (ICEIS 2004) ISBN 972-8865-08-2, pages 233-238. DOI: 10.5220/0002670002330238


in Bibtex Style

@conference{csac04,
author={José L. Caro and Antonio Guevara and Andrés Aguayo and José L. Leiva},
title={Communication based workflow loop formalization using Temporal Logic of Actions (TLA)},
booktitle={Proceedings of the 1st International Workshop on Computer Supported Activity Coordination - CSAC, (ICEIS 2004)},
year={2004},
pages={233-238},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002670002330238},
isbn={972-8865-08-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Workshop on Computer Supported Activity Coordination - CSAC, (ICEIS 2004)
TI - Communication based workflow loop formalization using Temporal Logic of Actions (TLA)
SN - 972-8865-08-2
AU - L. Caro J.
AU - Guevara A.
AU - Aguayo A.
AU - L. Leiva J.
PY - 2004
SP - 233
EP - 238
DO - 10.5220/0002670002330238