Colloquia / Seminars / Industry Talks

Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consistency, that is, fulfillment of all constraints of individual services and deadlock-freeness. In this talk, an overview on a decentralized approach to consistency checking is presented, which utilizes only bilateral views of the collaboration. It introduces the used formal model (an extension of finite state automata) and then illustrates the bilateral and multi-lateral consistency on behalf of an example. Finally, additional problems and an architecture are sketched.

Andreas Wombacher is postdoc researcher at University of Twente. He received his Master degree from the Technical University Darmstadt, Germany. He has worked at IBM for two years on electronic commerce systems before he joined Fraunhofer Gesellschaft (FHG). The next six years he worked at FHG, where his research interests include cross-organizational workflows, decentralization of data and processes and eServices. In 2004, he joined University of Twente working on security and trust in cross-organizational workflows. He gathered experience in several European funded projects in the area of business to business data integration and workflows crossing boundaries. Scientifically he has published several papers in international journals and conferences. More detailed information on the publications and other business activities can be found.