Dipl.-Inf. Dirk Fahland

Research Fellow of the Graduiertenkolleg METRIK

personal homepage (http://www.gk-metrik.de/fahland)

Contact

Humboldt-Universität zu Berlin
Institut für Informatik
Rudower Chaussee 25, 12489 Berlin
room: IV.415
tel: +49 (0)30 2093 3907
email: fahland@gk-metrik.de (mailto:fahland@informatik.hu-berlin.de)
website: gk-metrik.de/fahland (http://www.gk-metrik.de/fahland)

Thesis Subject

Declarative Modelling and Verification of Workflows, supervised by Prof. W. Reisig (http://www.informatik.hu-berlin.de/top/mitarbeiter/reisig/index.php?language=EN)

• characteristics of workflows in disaster management, and in self-stabilizing/ self-organizing systems
• suitable models 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 formal workflow models in real scenarios

Ongoing Work

• PhD research in METRIK
• B.E.S.T program (http://www.informatik.hu-berlin.de/top/best/) (Berlin Rostock Eindhoven Service Technology Program)
• Research and Organizational Matters in the Theory of Programming (http://www.informatik.hu-berlin.de/top/) group

Resume

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

Research

Research Interests

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

Publications

Conferences and Workshops

• Dirk Fahland. Oclets - Scenario-Based Modeling with Petri Nets. In N. Lohmann and K. Wolf (eds.) Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008 (http://wwwteo.informatik.uni-rostock.de/ls_tpp/awpn2008/), Rostock, Germany, September 26–27, 2008.

• Dirk Fahland and Heiko Woith. Towards Process Models for Disaster Response. In M. de Leoni, S. Dustdar, A.t. Hofstede (eds.) Proceedings of the First International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS (http://pm4hdps.deleoni.it/)), co-located with 6th International Conference on Business Process Management (BPM'08 (http://bpm08.polimi.it/)). 1-4 September 2008, Milan, Italy. Accepted, Springer publication to appear.

• Dirk Fahland. Oclets - a formal approach to adaptive systems using scenario-based concepts. Informatik-Berichte 223, Humboldt-Universität zu Berlin, 2008.

• Dirk Fahland, Daniel Sadilek, Markus Scheidgen, and Stephan Weissleder, editors. Proceedings of the Workshop on Domain-Specific Modeling Languages (DSML'08), Berlin, Germany, March 14, volume 324 of CEUR Workshop Proceedings, 2008. CEUR-WS.org.

• Dirk Fahland: Synthesizing Petri nets from LTL specifications – An engineering approach. In Stephan Philippi and Alexander Pinl, editors, Proceedings 14.Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Arbeitsbericht aus dem Fach Informatik, Nr. 25/2007, Universität Koblenz-Landau, D, pages 69--74, September 2007.

• Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl. Services as a Paradigm of Computation. (http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2007.complete.php#ReisigBFLMS_2007_festschrift) 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, A Formal Approach to Adaptive Processes using Scenario-based Concepts. In Kees van Hee, Wolfgang Reisig, and Karsten Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), pages 71-85, June 2007. University of Podlasie.

• Fahland, D., Gläßer, T. M., Quilitz, B., Weißleder, S. and Leser, U.: HUODINI - Flexible Information Integration for Disaster Management, 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Delft, NL (revised version submitted to Special Issue of IEEE DSonline).

• 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. (http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2006.complete.php#ReisigFLMSWWK2006_atfsm) 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. (http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2005.complete.php#fahlandr2005_asm) 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

• Dirk Fahland. Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. (http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2005.complete.php#fahland2005_hub_tr190) Informatik-Berichte 190, Humboldt-Universität zu Berlin, September 2005.

• Axel Martens, Christian Stahl, Daniela Weinberg, Dirk Fahland, and Thomas Heidinger. Business Process Execution Language for Web services - Semantik, Analyse und Visualisierung. (http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2004.complete.php#martensswfh2004_hub_tr169) Informatik-Berichte 169, Humboldt-Universität zu Berlin, July 2004.

Compulsory Publications

• Dirk Fahland. Unfoldings for Timed Automata. (http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2006.complete.php#fahland2006_da) Diplomarbeit, Humboldt-Universität zu Berlin, July 2006.

• Dirk Fahland. Ein Ansatz einer formalen Semantik der Business Process Execution Language for Web Services mit Abstract State Machines. (http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2004.complete.php#fahland2004_sa) Studienarbeit, Humboldt-Universität zu Berlin, August 2004.

Conferences, Workshops, Summer Schools

• Workshop on Domain-specific Modeling Languages (DSML'08), Humboldt-Universität zu Berlin, Germany, 03/2008
• 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN) (http://www.uni-koblenz.de/~ag-pn/html/awpn2007/), Universität Koblenz-Landau Campus Koblenz, Germany, 09/2007
• Summerschool Formal Logical Methods for System Security and Correctness (http://asimod.in.tum.de/2007/lecturer.shtml) des NATO Security Through Science Committee und des Institut für Informatik, Technische Universität München in Marktoberdorf, Germany, 08/2007
• International Workshop on Formal Approaches to Business Processes and Web Services (http://wwwteo.informatik.uni-rostock.de/ls_tpp/workshop07/), satellite event of the 8th International Conference on Application and Theory of Petri Nets and other Models of Concurrency (ATPN 2007 (http://atpn2007.ap.siedlce.pl/)), Siedlce, Poland, 06/2007
• Gemeinsamer Workshop der Graduiertenkollegs 2007 (http://www.dagstuhl.de/en/program/calendar/evhp/?semnr=2007232), 07232, IBFI Schloss Dagstuhl, 06/2007
• 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM (http://www.iscram.org/)), Delft, the Netherlands, 05/2007
• Dagstuhl Seminar 07061 Autonomous and Adaptive Web Services (http://www.dagstuhl.de/en/program/calendar/semhp/?semid=30823), IBFI Schloss Dagstuhl, 02/2007
• Dagstuhl Seminar 06411 Specification, Verification and Test of Open Systems (http://www.dagstuhl.de/en/program/calendar/semhp/?semid=28524), IBFI Schloss Dagstuhl, 10/2006
• ASM 2005 (http://www.univ-paris12.fr/lacl/Asm05), International Workshop on Abstract State Machines, Paris, France
• ASM 2004 (http://www.informatik.uni-halle.de/swt/ASM2004), International Workshop on Abstract State Machines, Halle-Wittenberg, Germany
• 4th Advanced Course on Petri Nets, ACPN 2003, Eichstätt, Germany
• ASM 2003 (http://www.dmi.unict.it/asm2003/), International Workshop on Abstract State Machines, Taormina, Italy

Teaching

past teaching

• winter 2006/2007: Supervisor in the tutorial (http://zope.informatik.hu-berlin.de/forschung/gebiete/wbi/teaching/archive/ws0607/pr_informationsintegration/index_html?set_language=en&cl=en) to the lecture Information Integration (http://www.informatik.hu-berlin.de/forschung/gebiete/wbi/teaching/archive/ws0607/hk_informationsintegration/index_html?set_language=en&cl=en) (Prof. Leser)