Ying Liu  IBM Research Division, IBM China Research Laboratory, Diamond Building, ZGC Software Park No. 19, Dong Beiwang Road, ShangDi, Beijing, 100094, Peoples' Republic of China (aliceliucn.ibm.com). Dr. Liu is a research staff member in the Service Ecosystem Department at the IBM China Research Laboratory. She received a Ph.D. degree in applied mathematics from Peking University. She subsequently joined the IBM Research Division in Beijing, China, where she began working on business process integration. From 2003 to 2005 she focused on BPM, including process model verification and model-driven solution engineering management. Dr. Liu's current research interests include formal methods, BPM, and service building technologies.

Samuel Müller  IBM Research Division, IBM Zurich Research Laboratory, Säumerstrasse 4, 8803 Rüschlikon, Switzerland (smlzurich.ibm.com). Mr. Müller obtained an M.S. degree in computer science and an M.A. degree in economics, both from the University of Zurich. He joined IBM Research in Zurich in 2004, where he is currently doing research in the area of risk and compliance. In parallel, he is working toward his doctorate degree as an external Ph.D. student at the Swiss Federal Institute of Technology Zurich, where he is a member of the Information Security group. Mr. Müller's research interests include modal logics, formal methods and modeling, risk and compliance management, game theory, and economics.

Ke Xu  Automation Department, Tsinghua University, Beijing, 100084, Peoples' Republic of China (xk02mails.tsinghua.edu.cn). Mr. Xu received a B.S. degree from the Automation Department of Shanghai JiaoTong University. He is currently a Ph.D. candidate at the National Engineering Research Center for Computer Integrated Manufacturing Systems in Tsinghua University. His main research interests include process algebra and model checking and their application in grid computing and business integration. He serves as a member of the academic committee in the Automation Department of Tsinghua University. Mr. Xu is also an IBM Ph.D. Fellow for 2006–2007.