=Paper=
{{Paper
|id=Vol-1378/amw_keynote1
|storemode=property
|title=Analysis of Data-Centric Workfows
|pdfUrl=https://ceur-ws.org/Vol-1378/amw_keynote1.pdf
|volume=Vol-1378
|dblpUrl=https://dblp.org/rec/conf/amw/Vianu15
}}
==Analysis of Data-Centric Workfows==
<pdf width="1500px">https://ceur-ws.org/Vol-1378/amw_keynote1.pdf</pdf>
<pre>
     Analysis of Data-Centric Workfows

                              Victor Vianu

                   University of California, San Diego
                          vianu@cs.ucsd.edu



Abstract. Workflows centered around data have become pervasive in
a wide variety of applications, including health-care management, e-
commerce, business processes, scientific workflows, and e-government.
Such workflows are often very complex and involve numerous interacting
actors. They are prone to costly bugs, whence the need for static anal-
ysis in order to verify critical properties. Analysis tools are also needed
to facilitate the integration, interoperation and evolution of workflows,
and to provide runtime assistance to participating actors. This talk will
present an overview of recent research carried out with collaborators at
UC San Diego and INRIA on the analysis of data-centric workflows, an
area of growing interest in both academia and industry.

</pre>