Titlebook: On the Move to Meaningful Internet Systems: OTM 2014 Conferences; Confederated Interna Robert Meersman,Hervé Panetto,Timos Sellis Conferenc

instructive

A Pattern Approach to Conquer the Data Complexity in Simulation Workflow Designts own requirements and solutions for data handling, such workflows often have to deal with a highly heterogeneous data environment. This results in an increased complexity of workflow design. As scientists typically design their scientific workflows on their own, this complexity hinders them to con

MILL

Condescending

雪崩

Log-Based Understanding of Business Processes through Temporal Logic Query Checking discovery and conformance checking are the two main process mining tasks. Process discovery techniques can be used to learn a process model from example traces in an event log, whereas the goal of conformance checking is to compare the observed behavior in the event log with the modeled behavior. I

大沟

Approach and Refinement Strategies for Flexible Choreography Enactmentire modeling and run time flexibility. Since domain problems in CDC systems are expressed as service choreographies and enacted by service orchestrations, we propose an approach introducing placeholder modeling constructs usable both on the level of choreographies and orchestrations, and a classific

引起

Business Process Fragments Behavioral Mergegns. The approach relies on the so-called adjacency matrices. Typically used to handle graphs, this concept represents a new way to systematically merge fragments through their corresponding matrices. At the same time, fragments merging must keep the behavior of the original fragments consisting of

闪光东本

Provenance-Based Quality Assessment and Inference in Data-Centric Workflow Executionsn annotating, exploring and improving the quality of data produced by complex media mining workflow executions. Our approach combines an existing fine-grained provenance generation approach [3] with a new quality assessment model for . XML fragments with data/application-specific quality values and

傻

DEAWL

不幸的人

TAGER: Transition-Labeled Graph Edit Distance Similarity Measure on Process Models named TAGER (.ransition-l.beled .raph .dit distance similarity Measu.e) to compute the similarity based on the edit distance between coverability graphs. As the coverability graph represents the behavior of a Petri net well, TAGER, based on it, has a high precise computation. Besides, the T-labeled