Selected Presentations, Tutorials, and Lecture Notes

Jianwen Su
UC Santa Barbara

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

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

Bridging Persistent Data and Process Data  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  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)  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  pdf
A presentation at 13th Annual Data Quality Solutions Summit, Santa Barbara, October 25, 2012

Business Processes as Artifacts  pdf
Web Services: Formal Modeling and Verification  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: Nov 21 13:17:03 PDT 2012