Skip to main content
SpringerLink
Log in
Book cover

Intelligent Information Processing and Web Mining pp 471–475Cite as

Property Driven Mining in Workflow Logs

  • Conference paper

Part of the book series: Advances in Soft Computing ((AINSC,volume 31))

Abstract

We present a language for property specification for workflows and a tool for property checks. The language is based on the Propositional Linear Temporal Logic and the structure of workflow logs. These language and tool help companies to diagnose business processes, react to changes in business environment and collect formal definitions of business properties. We give examples of specifications of business properties that set relations between events of business processes

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aalst van der W.M.P., van Dongen B.F., Herbst J., Maruster L., Schimm G., and Weijter A.J.M.M.(2003) Workflow Mining: a Survey of Issues and Approaches. Data and Knowledge Engineering.47(2)), 237–267

    Article  Google Scholar 

  2. Alur R., C. Courcoubetis, D.L. Dill. (1993) Model-Checking in Dense Real-Time. Information and Computation. 104(1), 2–34

    Article  MathSciNet  Google Scholar 

  3. Bernard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrussi L., Schnoebelen Ph., McKezie P. (2001) Systems and Software Verification. Model-Checking Techniques and Tools. Springer-Verlag

    Google Scholar 

  4. Dongen B.F.van, Aalst W.M.P.van der.(2004) EMiT: A Process Mining Tool. ICATPN 2004. Ed. J. Cortadelle and W. Reisig. LNCS 3099. 454–463

    Google Scholar 

  5. Java CC. (2004)A parser/scanner generator for java, http://javacc.dev.java.net

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TU Eindhoven, Den Dolech 2, P.O. Box 513, 5600MB, Eindhoven, The Netherlands

    Ella E. Roubtsova

Authors
  1. Ella E. Roubtsova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Sciences, Polish Academy of Sciences, ul. Ordona 21, 01-237, Warszawa, Poland

    Mieczysław A. Kłopotek , Sławomir T. Wierzchoń  & Krzysztof Trojanowski ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Roubtsova, E.E. (2005). Property Driven Mining in Workflow Logs. In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K. (eds) Intelligent Information Processing and Web Mining. Advances in Soft Computing, vol 31. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32392-9_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-32392-9_55

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25056-2

  • Online ISBN: 978-3-540-32392-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation