Dr. rer. nat. Frank Puhlmann

Frank Puhlmann Business Process Technology Group
Hasso Plattner Institut for IT-Systems Engineering
at the University of Potsdam
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany

Phone:+49(0)331-5509-254
Fax:+49(0)331-5509-189
Room:C-2.7
Email:Frank.Puhlmann@hpi.uni-potsdam.de

Bio Sketch

Frank Puhlmann was a senior research assistant at the Business Process Technology Group from January 2004 until March 2008. His main research interests included business process and workflow modeling as well as formal methods for process and interaction representation and analysis. In particular, he investigated the suitability of a process algebra, the pi-calculus, for business process management. Further research has been conducted in variant rich process modeling and software product lines. Frank Puhlmann has presented his results at international conferences and also gave lectures and practices regarding business process management (see Publications and Teaching below). Formerly he worked at a computer retailer, as a freelance software developer for an engineering company, and at the computer security research group at the Technical University of Berlin.

After leaving the Hasso Plattner Institute, Frank Puhlmann joined the Inubit AG, Berlin (Germany). More information can be found at his personal homepage http://frapu.net.

Activities

Here you find information about Frank Puhlmann's research and teaching activities.

Program Committee

Frank Puhlmann was member of the program committee of the following conferences:

  • 6th International Conference on Business Process Management (BPM2008), Sep. 01-04 2008, Milan, Italy.
  • 15th International Conference on Cooperative Information Systems (CoopIS2007), Oct. 28- Nov. 2nd 2007.
  • Demo Session at the 5th International Conference on Business Process Management, Sep. 25-27 2007, Brisbane, Australia.
  • 5th International Conference on Business Process Management (BPM2007), Sep. 25-27 2007, Brisbane, Australia.
  • Demo Session at the 4th International Conference on Business Process Management, Sep. 05-07 2006, Vienna, Austria.

Scientific Talks

  • Extending BPMN for Modeling Complex Choreographies. 15th International Conference on Cooperative Information Systems (CoopIS 2007), November 29th, 2007, Vilamoura, Portugal

  • Soundness Verification of Business Processes Specified in the Pi-Calculus. 15th International Conference on Cooperative Information Systems (CoopIS 2007), November 28th, 2007, Vilamoura, Portugal

  • On the Application of a Theory for Mobile Systems to Business Process Management. Universität Potsdam, Doctoral Thesis Defense, July 05th, 2007, Potsdam, Germany (In German) Slides

  • On the Application of the Pi-Calculus to BPM: Formalizing and Simulating Interacting Processes. TU-Eindhoven, PROSE Colloquium, February 08th, 2007, Eindhoven, The Netherlands Slides

  • Interaction Soundness for Service Orchestrations. 4th International Conference on Service Oriented Computing (ICSOC06), December 07th, 2006, Chicago, USA Slides

  • Eine einheitliche, formale Grundlage für dienstbasierte Architekturen. EMISA, October 17th, 2006, Hamburg, Germany Slides (in German)

  • A Tool for the Simulation of Pi-Calculus Systems. Open.BPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien, October 16th, 2006, Hamburg, Germany Slides

  • A Tool Chain for Lazy Soundness. Demo Session of the 4th International Conference on Business Process Management (BPM06), September 07th, 2006, Vienna, Austria Poster

  • Formalizing Service Interactions. 4th International Conference on Business Process Management (BPM06), September 06th, 2006, Vienna, Austria Slides

  • Investigations on Soundness Regarding Lazy Activities. 4th International Conference on Business Process Management (BPM06), September 05th, 2006, Vienna, Austria Slides

  • Variability Mechanisms in E-Business Process Families. 9th International Conference on Business Information Systems (BIS06), June 2nd, 2006, Klagenfurt, Austria Slides

  • Why do we actually need the Pi-Calculus for Business Process Management? 9th International Conference on Business Information Systems (BIS06), June 1st, 2006, Klagenfurt, Austria Slides

  • Towards a Formal Model for Agile Service Discovery and Integration. 1st International ICSOC Workshop on Dynamic Web Processes (ICSOC-DWP05), December 12th, 2005, Amsterdam, The Netherlands Slides

  • Using the Pi-Calculus for Formalizing Workflow Patterns. 3rd International Conference on Business Process Management (BPM05), September 06th, 2005, Nancy, France Slides

Thesis Supervision

Completed

  • Anja Bog: A Visual Environment for the Simulation of Business Processes based on the Pi-Calculus. Hasso Plattner Institut, Potsdam, 2006. Download

Teaching

  • Seminar Business Process Management (Winter Term 2007/08)

  • Lecture/Tutorial Process-oriented Information Systems II (Winter Term 2007/08)

  • Lecture Business Process Management I (Summer Term 2007)

  • Lecture/Seminar Business Process Management II (Winter Term 2006/2007) Download Reader

  • Lecture Business Process Management I (Summer Term 2006)

  • Lecture/Seminar Business Process Management II (Winter Term 2005/2006) Download Reader

  • Lecture Business Process Management I (Summer Term 2005)

  • Master Seminar Advanced Process Technologies (Summer Term 2005)

  • Master Seminar Future Process Technologies (Winter Term 2004/2005)

  • Bachelor Seminar Prozessmodellierung (Summer Term 2004, in German)

Publications

Here you find references to all publications from 2004-2007. An updated list is maintained at http://frapu.de/publications.html. The list of publication as seen by DBLP can be found here.

Monographs

  • Frank Puhlmann: On the Application of a Theory for Mobile Systems to Business Process Management. Doctoral Thesis, Universität Potsdam, 2007 Download

  • Frank Puhlmann: Analyse, Entwurf und prototypische Implementierung eines sicheren Multi-Applikations-Frameworks für Chipkarten. Diploma Thesis, Technical University of Berlin, 2003.

Book Chapters

  • Arnd Schnieders, Frank Puhlmann: Variability Modeling and Product Derivation in E-Business Process Families. In Technologies for Information Systems. Berlin, Springer-Verlag (2007) 63-74

  • Frank Puhlmann: On the Suitability of the Pi-Calculus for Business Process Management. In Technologies for Business Information Systems. Berlin, Springer-Verlag (2007) (51-62)

  • Mathias Weske, Gottfried Vossen, Frank Puhlmann: Workflow and Service Composition Languages. In Handbook on Architectures of Information Systems, 2nd Edition. Berlin, Springer-Verlag (2005) 369-390

Journal Papers

  • Frank Puhlmann: Fernüberwachung im Abwasserbereich. In wlb Wasser, Luft und Boden - Zeitschrift für Umwelttechnik, Ausgabe 03/2002, Seite 34-37 (In German)

  • Frank Puhlmann: Modernes Fernüberwachen und Fernsteuern. In de Der Elektro- und Gebäudetechniker, Ausgabe 14/2001, Seite 21-26 (In German)

Conference and Workshop Papers

  • Ahmed Awad, Frank Puhlmann: Structural Detection of Deadlocks in Business Process Models. In BIS 2008, Insbruck, Austria (to appear)

  • Gero Decker, Frank Puhlmann: Extending BPMN for Modeling Complex Choreographies. In R. Meersman and Z. Tari et al. (eds.): OTM 2007, Part I, volume 4803 of LNCS, Vilamoura, Portugal, Springer Verlag (2007) 24-40 Download

  • Frank Puhlmann: Soundness Verification of Business Processes Specified in the Pi-Calculus. In R. Meersman and Z. Tari et al. (eds.): OTM 2007, Part I, volume 4803 of LNCS, Vilamoura, Portugal, Springer Verlag (2007) 6-23 Download

  • Anja Bog, Frank Puhlmann, and Mathias Weske. _The PiVizTool: Simulating Choreographies with Dynamic Binding. Demo Session of the 5th International Conference on Business Process Management, Brisbane, Australia (2007) Download

  • Gero Decker, Oliver Kopp, and Frank Puhlmann. Service Referrals in BPEL-based Choreographies. Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC), Leicester, UK (2007) Download

  • Frank Puhlmann, Mathias Weske: Interaction Soundness for Service Orchestrations. In A. Dan and W. Lamersdorf (Eds.): Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 2006), volume 4294 of LNCS, Chicago, USA, Springer Verlag (2006) 302-313 Download (Updated Version)

  • Frank Puhlmann: A Unified Formal Foundation for Service Oriented Architectures. In M. Weske and M. Nuettgens (eds.): EMISA 2006, volume P-95 of LNI, Hamburg, Germany (2006) Download

  • Anja Bog, Frank Puhlmann: A Tool for the Simulation of Pi-Calculus Systems. Open.BPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien, Hamburg (2006), Germany Download

  • Frank Puhlmann: A Tool Chain for Lazy Soundness. Demo Session of the 4th International Conference on Business Process Management, CEUR Workshop Proceedings Vol. 203, Vienna, Austria (2006) 9-16 Download

  • Frank Puhlmann, Mathias Weske: Investigations on Soundness Regarding Lazy Activities. In S. Dustdar, J.L. Fiadeiro and A. Sheth (Eds.): Proceedings of the 4th International Conference on Business Process Management (BPM 2006), volume 4102 of LNCS, Vienna, Austria, Springer Verlag (2006) 145-160 Download

  • Gero Decker, Frank Puhlmann, Mathias Weske: Formalizing Service Interactions. In S. Dustdar, J.L. Fiadeiro and A. Sheth (Eds.): Proceedings of the 4th International Conference on Business Process Management (BPM 2006), volume 4102 of LNCS, Vienna, Austria, Springer Verlag (2006) 414-419 Download (Long Version)

  • Arnd Schnieders, Frank Puhlmann: Variability Mechanisms in E-Business Process Families. In W. Abramowicz, H. Mayr (Eds.): 9th International Conference on Business Information Systems (BIS 2006), volume P-85 of LNI, Klagenfurt, Austria, Gesellschaft für Informatik (2006) 583-601 Download

  • Frank Puhlmann: Why do we actually need the Pi-Calculus for Business Process Management? In W. Abramowicz, H. Mayr (Eds.): 9th International Conference on Business Information Systems (BIS 2006), volume P-85 of LNI, Klagenfurt, Austria, Gesellschaft für Informatik (2006) 77-89 Download

  • Hagen Overdick, Frank Puhlmann, Mathias Weske: Towards a Formal Model for Agile Service Discovery and Integration. In Proceedings of the ICSOC Workshop on Dynamic Web Processes (DWP 2005), Amsterdam, Netherlands, December 2005 Download

  • Frank Puhlmann, Mathias Weske: Using the Pi-Calculus for Formalizing Workflow Patterns. In W.M.P. van der Aalst et al. (Eds.): BPM 2005, volume 3649 of LNCS, Nancy, France, Springer-Verlag (2005) 153-168 Download

  • Arnd Schnieders, Frank Puhlmann. Activity Diagram Inheritance. In Proceedings of the 8th International Conference on Business Information Systems BIS, Poznan, Poland, April 20-22 2005 Download

Technical Reports

  • Cord Giese, Markus Heidenwolf, Frank Puhlmann, Arnd Schnieders, André Werner, Mathias Weske. Qualitätsverbesserungen. PESOA-Report No. 30/2007, Delta Software Technology, ehotel AG, Hasso-Plattner-Institut, Universität Leipzig, Februar 2007.

  • Joachim Bayer, Cord Giese, Markus Heidenwolf, Theresa Lehner, Alexis Ocampo, Hagen Overdick, Frank Puhlmann, Arnd Schnieders, Jens Weiland, André Werner, Sebastian Kiebusch, Mathias Weske. PESOA Abschlussbericht. PESOA-Report No. 29/2007, DaimlerChrysler? Research and Technology, Delta Software Technology, ehotel AG, Fraunhofer IESE, Hasso-Plattner-Institut, Universität Leipzig, Februar 2007.

  • J. Bayer, C. Giese, T. Lehner, A. Ocampo, F. Puhlmann, A. Schnieders, J. Weiland, A. Werner, S. Kiebusch. PESOA Guidebook: Methoden und Techniken. PESOA-Report No. 22/2005, DaimlerChrysler Research and Technology, Delta Software Technology, Fraunhofer IESE, Hasso-Plattner-Institut, Universität Leipzig, Juni 2005.

  • Joachim Bayer, Winfried Buhl, Cord Giese, Theresa Lehner, Alexis Ocampo, Frank Puhlmann, Ernst Richter, Arnd Schnieders, Jens Weiland, Mathias Weske. Process Family Engineering: Modeling variant-rich processes. PESOA-Report No. 18/2005, DaimlerChrysler Research and Technology, Delta Software Technology, Fraunhofer IESE, Hasso-Plattner-Institut, Juni 2005.

  • Frank Puhlmann, Arnd Schnieders, Jens Weiland, Mathias Weske. Variability Mechanisms for Process Models. PESOA-Report No. 17/2005, DaimlerChrysler Research and Technology, Hasso-Plattner-Institut, Juni 2005. Download

  • Joachim Bayer, Michael Eisenbarth, Theresa Lehner, Frank Puhlmann, Ernst Richter, Arnd Schnieders, Jens Weiland. Domain Engineering Techniques and Process Modeling. PESOA-Report No. 09/2004, DaimlerChrysler Research and Technology, Fraunhofer IESE, Hasso-Plattner-Institut, Oktober 2004. Download

  • Frank Puhlmann. Modeling Workflows in the E-Business Domain. PESOA-Report No. 08/2004, Hasso-Plattner-Institut, Oktober 2004. Download

  • Arnd Schnieders, Frank Puhlmann, Mathias Weske. Process Modeling Techniques. PESOA Report No. 01/2004, Hasso-Plattner-Institut, Februar 2004. Download

Discussion Papers