From GRK-Wiki

Dipl.-Inf. Dirk Fahland

Research Fellow of the Graduiertenkolleg METRIK

personal homepage

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

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

• PhD research in METRIK
• research assistant in the Theory of Programming group
• B.E.S.T program (Berlin Rostock Eindhoven Service Technology Program)

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

• Jakob Pinggera, Stefan Zugal, Barbara Weber, Dirk Fahland, Matthias Weidlich, Jan Mendling, and Hajo Reijers. How the Structuring of Domain Knowledge Can Help Casual Process Modelers Accepted for ER 2010.

• Matthias Weidlich, Stefan Zugal, Jakob Pinggera, Dirk Fahland, Barbara Weber, Hajo Reijers, and Jan Mendling. The Impact of Sequential and Circumstantial Changes on Process Models. Proc In Bela Mutschler, Jan Recker, and Roel Wieringa (Eds.) Proc. of ER-POIS 2010, held in conjunction with CAiSE 2010, Vol. 603 of CEUR-WS.org, pages 43-54, 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, 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. Translating UML2 Activity Diagrams Petri Nets for analyzing IBM WebSphere Business Modeler process models. Informatik-Berichte 226, Humboldt-Universität zu Berlin, 2008.

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

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

Teaching

• see personal homepage