A PROPERTY SPECIFICATION LANGUAGE FOR WORKFLOW DIAGNOSTICS

E. E.Roubtsova

Abstract

The paper presents a declarative language for workflow property specification. The language has been developed to help analysts in formulating workflow-log properties in such a way that the properties can be checked automatically. The language is based on the Propositional Linear Temporal Logics and the structure of logs. The standard structure of logs is used when building algorithms for property checks. Our tool for property driven workflow mining combines a tool-wizard for property construction, property parsers for syntax checks and a verifier for property verification. The tool is implemented as an independent component that can extend any process management system or any process mining tool.

References

  1. Aalst W.M.P. van der, T. Weijters, L. Maruster (2004). Workflow mining: Discovering process models from event logs. In IEEE Transactions on Knowledge and Data Engineering, volume 16, Issue: 9 , pages 1128- 1142.
  2. Alur R., C. Courcoubetis, D.L. Dill (1993). Modelchecking in dense real-time. Information and Computation, 104(1):2-34.
  3. Bernard B., M.Bidoit, A.Finkel, F.Laroussinie, A.Petit, L.Petrussi, Ph.Schnoebelen (2001). Systems and Software Verification. Model-Checking Techniques and Tools. Springer-Verlag.
  4. Chuang Lin , Yang Qu (2004). Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis. In International Journal of Intelligent Systems, volume 19, Issue 5, pages 417 - 442.
  5. Cook J.E., A.L.Wolf (1998). Discovering models of software processes from event based data. In ACM Transactions on Software Engeneering and Methodology, volume 7, Issue: 3 , pages 215- 249.
  6. Cook J.E., A.L.Wolf (1999). Software process validation: Quantitatively measuring the correspondence of a process to a model. In ACM Transactions on Software Engeneering and Methodology, volume 8, Issue: 2 , pages 147- 176.
  7. Davulcu H., M.Kifer, C.R. Ramakrishman, I.V. Ramakrishman (1998). Logic based modeling and analysis of workflows. In ACM Symposium on Principles of Database Systems (PODS), Seattle.
  8. Dongen B.F. van, W.M.P.van der Aalst (2004). Emit: A process mining tool. In 25th International Conference on Applications and Theory of Petri Nets.
  9. FourEyes (2004). Retrieved January 15, 2005, from http://www.tpis.com.au/products/fe/default.htm.
  10. JavaCC. A parser/scanner generator for java (2004). Retrieved January 15, 2005, from https://javacc.dev.java.net.
  11. Pnueli, A. (1981). The temporal semantics of concurrent programs. In Theoretical Computer Science, volume 13, Issue: 1 , pages 46- 60.
  12. ProM framework. TU/e (2004). Retrieved January 15, 2005, from http://is.tm.tue.nl/research/processmining/.
  13. Schimm G. (2002). Process miner - a tool for mining process schemes from event based data. In Lecture Notes in Computer Science, volume 2424 , pages 525- 528.
Download


Paper Citation


in Harvard Style

E.Roubtsova E. (2005). A PROPERTY SPECIFICATION LANGUAGE FOR WORKFLOW DIAGNOSTICS . In Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 972-8865-19-8, pages 297-302. DOI: 10.5220/0002516502970302


in Bibtex Style

@conference{iceis05,
author={E. E.Roubtsova},
title={A PROPERTY SPECIFICATION LANGUAGE FOR WORKFLOW DIAGNOSTICS},
booktitle={Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2005},
pages={297-302},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002516502970302},
isbn={972-8865-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - A PROPERTY SPECIFICATION LANGUAGE FOR WORKFLOW DIAGNOSTICS
SN - 972-8865-19-8
AU - E.Roubtsova E.
PY - 2005
SP - 297
EP - 302
DO - 10.5220/0002516502970302