From GRK-Wiki

Dipl.-Inf. Dirk Fahland

Research Fellow of the Graduiertenkolleg METRIK

Contact

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

Thesis Subject

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 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 (Berlin Rostock Eindhoven Service Technology Program)
research associate in the Theory of Programming group

Resume

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

Research Interests

Wireless Sensor Networks
Workflows
SOA
Modeling
Verification
Formal Methods

Publications

Conferences and Workshops

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, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. Declarative vs. Imperative Process Modeling Languages: The Issue of Maintainability. In Bela Mutschler, Roel Wieringa, and Jan Recker, editors, 1st International Workshop on Empirical Research in Business Process Management (ER-BPM'09), Ulm, Germany, pages 65-76, September 2009. (LNBIP to appear).

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. A scenario is a behavioral view – Orchestrating services by scenario integration. Services and their Composition, Proceedings of the 1st Central-European Workshop on, (ZEUS 2009), Stuttgart, 2.-3. March 2009, volume 438 of CEUR Workshop Proceedings, 2008. CEUR-WS.org.

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, Rostock, Germany, September 26–27, 2008.

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.

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. 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. 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

Dirk Fahland. Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. 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. Informatik-Berichte 169, Humboldt-Universität zu Berlin, July 2004.

Compulsory Publications

Dirk Fahland. Unfoldings for Timed Automata. 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. Studienarbeit, Humboldt-Universität zu Berlin, August 2004.

Conferences, Workshops, Summer Schools

1st Central-European Workshop on Services and their Composition (ZEUS 2009), Universität Stuttgart, Germany, 03/2009.
15. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Universität Rostock, Germany, 09/2008.
6th International Conference on Business Process Management (BPM'08) and 1st International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS), Politecnico di Milano, Italy, 09/2008.
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), Universität Koblenz-Landau Campus Koblenz, Germany, 09/2007
Summerschool Formal Logical Methods for System Security and Correctness 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, satellite event of the 8th International Conference on Application and Theory of Petri Nets and other Models of Concurrency (ATPN 2007), Siedlce, Poland, 06/2007
Gemeinsamer Workshop der Graduiertenkollegs 2007, 07232, IBFI Schloss Dagstuhl, 06/2007
4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Delft, the Netherlands, 05/2007
Dagstuhl Seminar 07061 Autonomous and Adaptive Web Services, IBFI Schloss Dagstuhl, 02/2007
Dagstuhl Seminar 06411 Specification, Verification and Test of Open Systems, IBFI Schloss Dagstuhl, 10/2006
ASM 2005, International Workshop on Abstract State Machines, Paris, France
ASM 2004, International Workshop on Abstract State Machines, Halle-Wittenberg, Germany
4th Advanced Course on Petri Nets, ACPN 2003, Eichstätt, Germany
ASM 2003, International Workshop on Abstract State Machines, Taormina, Italy

Teaching

current (winter 2009/2010)

seminar Model-Checking

past teaching

winter 2006/2007: Supervisor in the tutorial to the lecture Information Integration (Prof. Leser)

Person:Fahland