BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Automatic Verification of Data-Centric Workflows
DTSTART:20131205T161500
DTEND:20131205T173000
DTSTAMP:20260428T074710Z
UID:def1c774816759f8fecac5108331518ce80e98159786393ea4d05893
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Victor Vianu\nWorkflows centered around data are increas
 ingly common. Recently\, tools have been developed for high-level specific
 ation\nof such workflows and other data-driven applications.  Such specif
 ication tools not only allow fast prototyping and improved\nprogrammer pro
 ductivity but\, as a side effect\, provide convenient targets for automati
 c verification. A notable example is IBM's business artifact framework\, s
 uccessfully deployed in practice.\nIn this talk I will present a formal mo
 del of data-centric workflows based on business artifacts\, and results on
  automatic verification of such processes. Artifacts are tuples of relevan
 t values\, equipped with local state relations and accessing an underlying
  database. They evolve under the action of services specified by pre-and-p
 ost conditions\, that correspond to workflow tasks. The verification probl
 em consists in statically checking whether all runs of an artifact system 
 satisfy desirable properties\, expressed in an extension of linear-time te
 mporal logic. I will exhibit several classes of specifications and propert
 ies that can be automatically verified. The results are quite encouraging 
 and suggest that\, unlike arbitrary software systems\, significant classes
  of data-centric workflows may be amenable to fully automatic verification
 .\nThis relies on a novel marriage of techniques from the database and com
 puter-aided verification areas.\nThe talk is based on joint work with Alin
  Deutsch\, Elio Damaggio\, Richard Hull and Fabio Patrizi.
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR