kierberg.com

Zeitschriftenartikel (begutachtet)

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl. Challenges in a service-oriented world. ERCIM News, (70):28–29, July 2007.

Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng., 64(1):38-54, January 2008.

Konferenzbeiträge (begutachtet)

Niels Lohmann. Correcting deadlocking service choreographies using a simulation-based graph edit distance. In Marlon Dumas, Manfred Reichert, and Ming-Chien Shan, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1–4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 132–147. Springer-Verlag, September 2008.

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the compatibility notion for abstract WS-BPEL processes. In Wei-Ying Ma, Andrew Tomkins, and Xiaodong Zhang, editors, Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21–25, 2008, pages 785-794, ACM, April 2008.

Niels Lohmann and Jens Kleine. Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In Thomas Kühne, Wolfgang Reisig, and Friedrich Steimann, editors, Modellierung 2008, 12.–14. März 2008, Berlin, Proceedings, volume P-127 of Lecture Notes in Informatics (LNI), pages 57–72. GI, March 2008.

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral constraints for services. In Gustavo Alonso, Peter Dadam, and Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24–28, 2007, Proceedings, volume 4714 of Lecture Notes in Computer Science, pages 271–287, Springer-Verlag, 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 Bjørner 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. Springer-Verlag, September 2007.

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating guidelines for finite-state services. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 321–341. Springer-Verlag, June 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 Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus, 15–19 November 2006. IEEE Computer Society, 2006. In press.

Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing interacting BPEL processes. In Schahram Dustdar, José Luiz Fiadeiro, and Amit Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5–7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17–32. Springer-Verlag, September 2006.

Beiträge auf Workshops (begutachtet)

Niels Lohmann. Why does my service have no partners? In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4–5, 2008, Proceedings, Lecture Notes in Computer Science. Springer-Verlag, September 2008.

Niels Lohmann. Fixing deadlocking service choreographies using a simulation-based graph edit distance. In Monika Solanki, Barry Norton, and Stephan Reiff-Marganiec, editors, 3rd Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008), pages 13-20, June 2008.

Kathrin Kaschner and Niels Lohmann. Automatic test case generation for services. In Monika Solanki, Barry Norton, and Stephan Reiff-Marganiec, editors, 3rd Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008), pages 21-26, June 2008.

Niels Lohmann, Oliver Kopp, Frank Leymann, and Wolfgang Reisig. Analyzing BPEL4Chor: Verification and participant synthesis. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 46-60. Springer-Verlag, 2008.

Niels Lohmann. A feature-complete Petri net semantics for WS-BPEL 2.0. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 , Brisbane, Australia, September 28–29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 77–91. Springer-Verlag, 2008.

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. From public views to private views – correctness-by-design for services. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 139–153. Springer-Verlag, 2008.

Beiträge auf Workshops (unbegutachtet)

Niels Lohmann. Decompositional calculation of operating guidelines using free choice conflicts. In Niels Lohmann and Karsten Wolf, editors, 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26–27, 2008, Proceedings, volume 380 of CEUR Worksho Proceedings, pages 48–53. CEUR-WS.org, September 2008.

Niels Lohmann and Oliver Kopp. Tools4BPEL4Chor. In Monika Solanki, Barry Norton, and Stephan Reiff-Marganiec, editors, 3rd Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008), pages 74-75, June 2008.

Niels Lohmann. A feature-complete Petri net semantics for WS-BPEL 2.0. 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 21–35. University of Polandaise, June 2007.

Oliver Kopp, Carsten Frenkler, and Niels Lohmann. Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL. In Forschungsoffensive “Software Engineering 2006″, Statuskonferenz, 26.–28. Juni 2006. Bundesministerium für Bildung und Forschung (BMBF), July 2006.

Niels Lohmann. A local cut-off criterion for unfoldings of safe Petri nets. In Jörg Desel, editor, Proceedings of the Doctoral Consortium ACSD & Petri Nets 2006, June 2006. Åbo Akademi.

Technische Berichte (unbegutachtet)

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the compatibility notion for abstract WS-BPEL processes. Preprint CS-02-07, Universität Rostock, Rostock, Germany, November 2007.

Niels Lohmann, H.M.W. Verbeek, Chun Ouyang, Christian Stahl, and Wil M. P. van der Aalst. Comparing and evaluating Petri net semantics for BPEL. Computer Science Report 07/23, Eindhoven University of Technology, Eindhoven, The Netherlands, August 2007.

Niels Lohmann. A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN. Informatik-Berichte 212, Humboldt-Universität zu Berlin, August 2007.

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral constraints for services. Informatik-Berichte 214, Humboldt-Universität zu Berlin, May 2007.

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating guidelines for finite-state services. Informatik-Berichte 210, Humboldt-Universität zu Berlin, December 2006.

Pflichtarbeiten

Niels Lohmann. Formale Fundierung und effizientere Algorithmen für die schrittbasierte TLDA-Interleavingsemantik. Diplomarbeit, Humboldt-Universität zu Berlin, Berlin, Germany, September 2005.

Niels Lohmann. Implementierung einer schrittbasierten Interleavingsemantik für die Temporal Logic of Distributed Actions (TLDA). Studienarbeit, Humboldt-Universität zu Berlin, Berlin, Germany, June 2005.