Liste auf DBLP / List on DBLP

Bücher und Tagungsbände / Books and Proceedings

Oliver Kopp and Niels Lohmann, editors. Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009, volume 438 of CEUR Workshop Proceedings, March 2009. CEUR-WS.org. [WWW] [PDF] [BibTeX]

Niels Lohmann and Karsten Wolf, editors. Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26-27, 2008, volume 380 of CEUR Workshop Proceedings, September 2008. CEUR-WS.org. [WWW] [PDF] [BibTeX]

Zeitschriftenartikel / Journal Articles

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J., 53(1):90-106, January 2010. [PDF] [DOI] [Abstract] [BibTeX]

Niels Lohmann and Karsten Wolf. Petrifying Operating Guidelines for Services. Fundam. Inform., 2010. (Accepted for publication in January 2010). [BibTeX]

Niels Lohmann, H.M.W. Verbeek, and Remco Dijkman. Petri Net Transformations for Business Processes - A Survey. LNCS ToPNoC, II(5460):46-63, March 2009. Special Issue on Concurrency in Process-Aware Information Systems. [PDF] [DOI] [Abstract] [BibTeX]

Niels Lohmann, H.M.W. Verbeek, Chun Ouyang, and Christian Stahl. Comparing and Evaluating Petri Net Semantics for BPEL. Int. J. Business Process Integration and Management, 4(1):60-73, 2009. [PDF] [DOI] [Abstract] [BibTeX]

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. [PDF] [DOI] [Abstract] [BibTeX]

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. [WWW] [Abstract] [BibTeX]

Konferenzbeiträge / Conference Papers

Ahmed Awad, Gero Decker, and Niels Lohmann. Diagnosing and Repairing Data Anomalies in Process Models. In Hajo Reijers, Selma Limam Mansar, and Michael Rosemann, editors, Business Process Design (BPD 2009), 5th International Workshop, Proceedings, Lecture Notes in Business Information Processing, September 2009. Springer-Verlag. [PDF] [Abstract] [BibTeX]

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 A. 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. [PDF] [DOI] [Abstract] [BibTeX]

Kathrin Kaschner and Niels Lohmann. Automatic Test Case Generation for Interacting Services. In George Feuerlicht and Winfried Lamersdorf, editors, Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers, volume 5472 of Lecture Notes in Computer Science, pages 66-78, April 2009. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Kathrin Kaschner and Niels Lohmann. Does my service have unspecified behavior?. In Oliver Kopp and Niels Lohmann, editors, Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009, volume 438 of CEUR Workshop Proceedings, pages 22-28, March 2009. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

Nannette Liske, Niels Lohmann, Christian Stahl, and Karsten Wolf. Another Approach to Service Instance Migration. In Luciano Baresi, Chi-Hung Chi, and Jun Suzuki, editors, Service-Oriented Computing - ICSOC 2009, 7th International Conference, Stockholm, Sweden, November 24-27, 2009. Proceedings, volume 5900 of Lecture Notes in Computer Science, pages 607-621, November 2009. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Niels Lohmann. Why does my service have no partners?. In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, volume 5387 of Lecture Notes in Computer Science, pages 191-206, April 2009. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Niels Lohmann and Karsten Wolf. Petrifying Operating Guidelines for Services. In Ninth International Conference on Application of Concurrency to System Design (ACSD 2009), 1-3 July 2009, Augsburg, Germany, pages 80-88, June 2009. IEEE Computer Society. [PDF] [DOI] [Abstract] [BibTeX]

Niels Lohmann and Karsten Wolf. Realizability is Controllability. In Oliver Kopp and Niels Lohmann, editors, Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009, volume 438 of CEUR Workshop Proceedings, pages 61-67, March 2009. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

Niels Lohmann and Karsten Wolf. Realizability is Controllability. In Cosimo Laneve and Jianwen Su, editors, Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers, Lecture Notes in Computer Science, September 2009. Springer-Verlag. (in press). [PDF] [Abstract] [BibTeX]

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, April 2008. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Gero Decker, Alistair Barros, Frank Michael Kraft, and Niels Lohmann. Non-desynchronizable Service Choreographies. In Athman Bouguettaya, Ingolf Krüger, and Tiziana Margaria, editors, Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, volume 5364 of Lecture Notes in Computer Science, pages 331-346, December 2008. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

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, London, UK, 12-13 June 2008, Proceedings, London, UK, pages 21-26, June 2008. Imperial College. [PDF] [Abstract] [BibTeX]

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, April 2008. ACM. [PDF] [DOI] [Abstract] [BibTeX]

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, April 2008. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

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, September 2008. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

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 Workshop Proceedings, pages 63-68, September 2008. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

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, London, UK, 12-13 June 2008, Proceedings, pages 13-20, June 2008. [PDF] [Abstract] [BibTeX]

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, March 2008. GI. [PDF] [Abstract] [BibTeX]

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, London, UK, 12-13 June 2008, Proceedings, pages 74-75, June 2008. [PDF] [BibTeX]

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, April 2008. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

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), Siedlce, Poland, pages 21-35, June 2007. University of Podlasie. [PDF] [Abstract] [BibTeX]

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, September 2007. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

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, June 2007. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

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. [PDF] [DOI] [Abstract] [BibTeX]

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, July 2006. Bundesministerium für Bildung und Forschung (BMBF). [PDF] [Abstract] [BibTeX]

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, Turku, Finland, June 2006. Åbo Academy. [PDF] [Abstract] [BibTeX]

Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In Schahram Dustdar, José Luiz Fiadeiro, and Amit P. 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, September 2006. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models. In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus, pages 11-17, November 2006. IEEE Computer Society. [PDF] [DOI] [Abstract] [BibTeX]

Technische Berichte / Technical Reports

Ahmed Awad, Gero Decker, and Niels Lohmann. Diagnosing and Repairing Data Anomalies in Process Models. BPT Technical Report 03-2009, Hasso-Plattner-Institute, Potsdam, Germany, March 2009. [PDF] [Abstract] [BibTeX]

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. [PDF] [Abstract] [BibTeX]

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, Berlin, Germany, August 2007. [PDF] [Abstract] [BibTeX]

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral Constraints for Services. Informatik-Berichte 214, Humboldt-Universität zu Berlin, Berlin, Germany, May 2007. [PDF] [Abstract] [BibTeX]

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. [PDF] [Abstract] [BibTeX]

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. Informatik-Berichte 210, Humboldt-Universität zu Berlin, Berlin, Germany, December 2006. [PDF] [Abstract] [BibTeX]

Abschlüsse / Theses

Niels Lohmann. Formale Fundierung und effizientere Algorithmen für die schrittbasierte TLDA-Interleavingsemantik. Diplomarbeit, Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany, September 2005. [PDF] [Abstract] [BibTeX]

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