|
精准特马资料网址:演讲简介
Events are often used in workflow systems for logging, coordination,handling unusual situations, etc. Monitoring event streams is an effective method to ensure compliance with policies, regulations, and other business rules. In this talk, we focus on business rules involving temporal constraints. For such constraints, it is often that a violation may become inevitable long before the actual violation happens. Detecting inevitable violations as early as possible is much desired as, for example, the workflow system may reclaim resources from erring enactments. This talk discusses this early detection problem: the techniques needed for single and multi-rule violations, and unsolvability for a more general setting.
精准特马资料网址:关于讲者
Jianwen Su is a Professor of Computer Science at UC Santa Barbara. He received both B.S. & M.S. degrees in computer science from Fudan Univ. and his Ph.D. degree in computer science from the Univ. of Southern California. His research interests include query languages, data models, scientific databases, formal verification, web services, and business process management, and modeling and analysis of business processes. His work on data with nested structures, web services, and data-centric workflows is widely known and cited. Dr. Su was a recipient of 2007 & 2008 IBM Faculty Awards. He was a keynote/invited speaker for several workshops/conferences (ICSOC, EDOC, WS-FM, ...). He served/is serving on program committees of many conferences in databases (PODS, ICDT, VLDB, ICDE, ...) and service oriented computing (ICSOC, BPM, CoopIS, ...). He was the general chair of SIGMOD'01 conference, the PC chair of PODS'09 conference, a program co-chair of WS-FM'09, MDM'07, ICWS'05, and WAIM'02, and a general co-chair of ICSOC'13. He served on the Executive Committees of ACM SIGMOD (2003-7) and PODS (2008-11), is an associate editor of ACM Computing Surveys (2022-present), an associate editor (2015-2022) and managing editor (2022-present) of Int. Journal of Coop. Info. Systems (IJCIS).