Institute of Computer Languages
Compilers and Languages Group

Talks 2011 - Wolf Zimmermann

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Prof. Dr. Wolf Zimmermann

Martin-Luther-Universität Halle-Wittenberg, Deutschland


Termination Analysis in Service Oriented Systems

Datum: Dienstag, 8. März 2011
Zeit: 15:00 s.t.
Ort: TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss


For safety and deadlock analysis of workflows, Petri-Nets are frequently used. They provide a natural abstraction of workflows since they are able to describe parallel behavior and with a variety of model checking tools, it is possible to verify these workflows. The usual approach that abstracts business processes to Petri-Nets requires that each loop (whether purely internal or with external interactions) is terminating. In this talk, we show that without this termination assumption, there are real behaviors of business processes that are not represented by the Petri-Net abstractions and we provide a first approach towards termination analysis of loops in business processes thereby ensuring the preconditions required by many Petri-Net based approaches for analyzing business processes.

Kurzbiographie von Wolf Zimmermann

Wolf Zimmermann graduated (1987) and obtained a PhD in Computer Science (1990) from the University of Karlsruhe (D). Then he was Research Fellow at the International Computer Science Institute in Berkeley. After returning to Karlsruhe (1991) he became 1992 lecturer at the University of Karlsruhe where he habilitated 1998. He became 1998 visiting professor at the Martin-Luther University Halle-Wittenberg (D) and 1999 at the Institute National Polytechnique Grenoble (F). In 2000 he became professor at the Martin-Luther University Halle-Wittenberg (D) where he holds the chair of Software-Engineering and Programming Languages. Wolf Zimmermann is member of the editorial board of the Journal of Universal Computer Science and the International Journal on Cloud Computing. He was co-chair on several conferences and workshops and founded together with Jens Knoop the Workshops on Compiler Optimization meets Compiler Verification. Wolf Zimmermann is currently a visiting professor at TU Vienna, where he delivers a lecture course on "Verifikation von Übersetzern" as part of an ERASMUS/LLP Exchange Agreement between TU Vienna and The Martin-Luther University Halle-Wittenberg.

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)