Dr. Alin Deutsch(UCSD Jacobs, San Diego, USA)
"Decidable Verification Database-powered Business Processes"
This talk addresses the static veri?cation problem for data-centric business processes, using as vehicle the business artifact model recently deployed by IBM in commercial products and consulting services, and studied in an increasing line of research papers.
Artifacts are records of variables that correspond to business-relevant objects and are updated by a set of services equipped with pre-and post-conditions that implement business process tasks. For the purpose of this talk, the veri?cation problem consists in statically checking whether all runs of an artifact system satisfy desirable properties expressed in (some first order extension of) a temporal logic.
The talk surveys results that identify various practically significant classes of business artifact systems with decidable verification problem. The talk is based on a series of prior and current work conducted jointly with Elio Damagio, David Lorant, Yuliang Li, Victor Vianu (UCSD), and Richard Hull (IBM TJ Watson).
Bio: Alin Deutsch is a professor of computer science at the University of California, San Diego.
His research is motivated by the data management challenges raised by applications that
are powered by underlying databases (viewed in a broad sense that includes traditional database
management systems but also collections of semi- and un-structured data providing a query interface,
Alin's education includes a PhD degree from the University of Pennsylvania, an MSc degree from the Technical University of Darmstadt (Germany) and a BSc degree from the Polytechnic University Bucharest (Romania). He is the recipient of a Sloan fellowship and an NSF CAREER award, and has served as PC chair of the ICDT-2012 International Conference on Database Theory, the PLANX-2009 Workshop on Programming Language Techniques for XML, and the WebDB-2006 International Workshop on the Web and Databases.
|Time:||Monday, February 24. 2014, at 10:30 am|
|Place:||MPI-SWS Kaiserslautern, room 111|
|Video:||Simultaneous video cast to MPI-SWS Saarbrücken, building E1 5, room 029|