Topic
Process modeling
About: Process modeling is a research topic. Over the lifetime, 11639 publications have been published within this topic receiving 223996 citations. The topic is also known as: process simulation.
Papers published on a yearly basis
Papers
More filters
03 Sep 2012
TL;DR: This paper aligns event logs and declarative models, i.e., events in the log are related to activities in the model if possible, and provides then sophisticated diagnostics that pinpoint where deviations occur and how severe they are.
Abstract: Process mining can be seen as the "missing link" between data mining and business process management. Although nowadays, in the context of process mining, process discovery attracts the lion's share of attention, conformance checking is at least as important. Conformance checking techniques verify whether the observed behavior recorded in an event log matches a modeled behavior. This type of analysis is crucial, because often real process executions deviate from the predefined process models. Although there exist solid conformance checking techniques for procedural models, little work has been done to adequately support conformance checking for declarative models. Typically, traces are classified as fitting or non-fitting without providing any detailed diagnostics. This paper aligns event logs and declarative models, i.e., events in the log are related to activities in the model if possible. The alignment provides then sophisticated diagnostics that pinpoint where deviations occur and how severe they are. The approach has been implemented in ProM and has been evaluated using both synthetic logs and real-life logs from Dutch municipalities.
84 citations
01 Mar 2010
TL;DR: The final author version and the galley proof are versions of the publication after peer review and the final published version features the final layout of the paper including the volume, issue and page numbers.
Abstract: • A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.
84 citations
TL;DR: In this paper, a multi-physical approach for modeling the ECM material removal process by coupling all relevant conservation equations is presented, and the resulting simulation model is validated by the example of a compressor blade.
84 citations
83 citations
06 Jan 2014
TL;DR: This paper analyzes and compares six common enterprise modeling methods in regard to the formalization of their process-related aspects and derives implications for choosing an appropriate method when designing work and knowledge systems.
Abstract: For the design of work and knowledge systems it is today common to revert to enterprise modeling methods. These methods not only support the representation and analysis of complex interactions between technical services and human actors. The resulting models also provide value through acting as knowledge bases themselves. Thereby, the formalization of modeling methods is essential to unambiguously define their structure, behavior, and semantics, and enable an inter subjective understanding and machine-process ability. In this paper we analyze and compare six common enterprise modeling methods in regard to the formalization of their process-related aspects. From this comparison we derive implications for choosing an appropriate method when designing work and knowledge systems.
83 citations