Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Person:Fahland – GRK-Wiki


Aus GRK-Wiki

Wechseln zu: Navigation, Suche


Dipl.-Inf. Dirk Fahland

Research Fellow of the Graduiertenkolleg METRIK

personal homepage


Humboldt-Universität zu Berlin
Institut für Informatik
Rudower Chaussee 25, 12489 Berlin
room: IV.412
tel: +49 (0)30 2093 3083
email: fahland@gk-metrik.de
website: gk-metrik.de/fahland

Research Topics in METRIK

Declarative Modelling and Verification of Workflows, supervised by Prof. W. Reisig

  • characteristics of workflows in disaster management, and in self-stabilizing/ self-organizing systems
  • suitable modeling techniques for adaptive and flexible workflows
  • expressiveness of models for adaptive and flexible workflows
  • identifying and analyzing relevant properties of adaptive and flexible workflows
  • feasibility of techniques in practical settings

The submitted version of my PhD thesis From Scenarios To Components is available as .pdf

Ongoing Work


10/2001 - 07/2006 Informatik (Diplom), Institut für Informatik, Humboldt-Universität zu Berlin
08/2005 - 05/2006 Exchange year at the National University of Singapore, visiting Prof. P.S. Thiagarajan
funded by German Academic Exchange Service
05/2003 - 07/2006 scholarship by the Studienstiftung des Deutschen Volkes
04/2002 - 07/2005 student research assistant in the Theory of Programming group


Research Interests

  • Wireless Sensor Networks
  • Workflows
  • SOA
  • Modeling
  • Verification
  • Formal Methods


Conferences and Workshops

  • Dirk Fahland and Matthias Weidlich. Scenario-based process modeling with Greta. In Marcello La Rosa, editor, Proc. of BPM Demonstration Track 2010, Hoboken, USA, September 14-16, 2010, volume 615 of CEUR-WS.org, Hoboken, USA, September 2010.
  • Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf. Instantaneous Soundness Checking of Industrial Business Process Models. In Umeshwar Dayal, Johann Eder, Jana Koehler, and Hajo Reijers, editors, Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009, Proceedings, volume 5701 of Lecture Notes in Computer Science, pages 278-293, September 2009. Springer-Verlag.
  • Dirk Fahland, Daniel Lübke, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. In John Krogstie, Terry Halpin, and Erik Proper, editors, Proceedings of the 14th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD'09), Lecture Notes in Business Information Processing, Amsterdam, The Netherlands, June 2009. Springer-Verlag. (to appear)
  • Dirk Fahland. Oclets - scenario-based modeling with Petri nets. In Giuliana Franceschinis and Karsten Wolf, editors, Proceedings of the 30th International Conference on Petri Nets and Other Models Of Concurrency, 22-26 May 2009, Volume 5606 of Lecture Notes in Computer Science, pages 223-242, Paris, France, June 2009. Springer-Verlag.
  • Dirk Fahland and Heiko Woith. Towards Process Models for Disaster Response. In Business Process Management Workshops, International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS), co-located with 6th International Conference on Business Process Management (BPM'08), volume 17 of Lecture Notes in Business Information Processing, Milan, Italy, pages 254-265, September 2008. Springer.
  • Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl. Services as a Paradigm of Computation. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700 of Lecture Notes in Computer Science, pages 521-538, September 2007. Springer-Verlag.
  • Dirk Fahland. Towards Analyzing Declarative Workflows, In Autonomous and Adaptive Web Services, Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
  • Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models. In 2nd International Workshop on Automated Specification and Verification of Web Systems Cyprus (ISoLA 2006), November 2006. IEEE to appear.
  • Dirk Fahland and Wolfgang Reisig. ASM-based semantics for BPEL: The negative Control Flow. In Danièle Beauquier, Egon Börger, and Anatol Slissenko, editors, Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05), pages 131-151, March 2005. Paris XII.

Technical Reports

Compulsory Publications


Persönliche Werkzeuge