Sciweavers

148 search results - page 6 / 30
» Towards the Automated Annotation of Process Models
Sort
View
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 5 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
LICS
2000
IEEE
14 years 3 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
ICIC
2010
Springer
13 years 8 months ago
The Intelligent Music Editor: Towards an Automated Platform for Music Analysis and Editing
Digital music editing is a standard process in music production for correcting mistakes and enhancing quality, but this is tedious and timeconsuming. The Intelligent Music Editor, ...
Yuxiang Liu, Roger B. Dannenberg, Lianhong Cai
EPK
2006
107views Management» more  EPK 2006»
14 years 6 days ago
Towards EPC Semantics based on State and Context
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
Jan Mendling, Wil M. P. van der Aalst
SDM
2009
SIAM
223views Data Mining» more  SDM 2009»
14 years 8 months ago
Context Aware Trace Clustering: Towards Improving Process Mining Results.
Process Mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms...
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...