Selected Presentations, Tutorials, and Lecture Notes

From Data-Centric Business Processes to Enterprise Process Frameworks (ppt, pdf; paper)
Keynote, 21st IEEE Enterprise Computing Conference (EDOC 2017), Quebec City, Canada, October 12, 2017

Exploring Workflow Enactments through Querying Execution Logs (Business Intelligence Revisited) (ppt, pdf; paper)
Keynote, 5th International Conference on Advanced Cloud and Big Data (CBD 2017), Shanghai, China, August 13, 2017

Choreography Revisited (ppt, pdf; paper)
Keynote, 10th International Workshop on Web Services and Formal Methods (WS-FM 2013), Beijing, China, August 30, 2013

建立过程数据和持久数据的对应关系 (Bridging Persistent Data and Process Data) (ppt, pdf)
Keynote, 第三届中国业务过程管理大会 (3rd China BPM Conference, CBPM 2013), Beijing, China, August 29, 2013

Bridging Persistent Data and Process Data (ppt, pdf)
Keynote, 2nd International Workshop on Data and Artifact-Centric BPM (DAB 2013), Beijing, China, August 26, 2013

Data Encapsulating Services: A New Paradigm for Developing Enterprise Systems (ppt, pdf)
Keynote, 第一届中国现代服务业学术及产业创新发展国际研讨会 (1st International Conference on Modern Service Industry), Hangzhou, China, November 16, 2012

Challenges in Service Modeling, Composition, and Analysis (Data for Services: A New Frontier) (ppt, pdf)
Keynote, 10th International Conference on Service Oriented Computing (ICSOC 2012), Shanghai, China, November 15, 2012

Business Artifacts: A Data-Centric Approach to Business Process Modeling & Management (ppt, pdf)
A presentation at 13th Annual Data Quality Solutions Summit, Santa Barbara, October 25, 2012

Business Processes as Artifacts (ppt, pdf)
Web Services: Formal Modeling and Verification (ppt, pdf)
Lectures at Summar School of Software Engineering, 2012年应用软件工程全国研究生暑期学校, Software Institute, Nanjing University, July 23-24, 2012

Verification of Web Services, a lecture at International School of Formal Methods, Italy, 2009

Tools for Design of Composite Web Services, a tutorial at ACM SIGMOD 2004

Last modified: Wed Sep 27 14:38:06 PDT 2017