loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: E. E.Roubtsova

Affiliation: Technical University Eindhoven, Netherlands

Keyword(s): Workflow log, workflow mining, property specification language, property check.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Biomedical Engineering ; Business Analytics ; Data Engineering ; Data Mining ; Databases and Information Systems Integration ; Datamining ; Enterprise Information Systems ; Health Information Systems ; Sensor Networks ; Signal Processing ; Soft Computing

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.231.55.243

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-4992, SciTePress, pages 297-302. DOI: 10.5220/0002516502970302

@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},
issn={2184-4992},
}

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
IS - 2184-4992
AU - E.Roubtsova, E.
PY - 2005
SP - 297
EP - 302
DO - 10.5220/0002516502970302
PB - SciTePress