开元牌棋下载aaa

  • 讲座信息

开元牌棋下载aaa:07.03 | 时间约束的极早检测 Early Detection of Temporal Constraint Violations

2024.07.01

演讲者苏建文
头衔职位教授,加州大学圣塔芭芭拉分校计算机科学系
时间2024年73日(周三上午)10:30
地点江湾校区二号交叉学科楼E1023
联系人王晓阳

开元牌棋下载aaa:演讲简介

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.




开元牌棋下载aaa:关于讲者

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).




开元牌棋下载aaa-开元牌棋下载aaa游戏官方下载v1.9.2-2024年正版...