Ehemaliger Mitarbeiter (04/2004 - 08/2009)

Lebenslauf

Lehrveranstaltungen

• Blockseminar "Analyse von Petrinetz-Modellen" (WS 2008/2009)
• Übungen zur Vorlesung "Praktische Informatik 2" (SS 2008)
• Seminar "Analyse von Petrinetz-Modellen" (WS 2007/2008)
• Seminar "Geschäftsprozessmodellierung" (SS 2007)
• Seminar "Geschäftsprozessmodellierung" (WS 2006/2007)
• Übungen zur Vorlesung "Praktische Informatik I" (WS 2006/2007)
• Übungen zur Vorlesung "Praktische Informatik II" (SS 2006)
• Seminar "Statische Programmanalyse" (WS 2005/2006)
• Übungen zur Vorlesung "Computergestützte Verifikation" (WS 2005/2006)
• Übungen zur Vorlesung "Praktische Informatik I" (WS 2005/2006)
• Seminar "Spezifikation und Verifikation verteilter Systeme" (WS 2004/2005)
• Übungen zur Vorlesung "Praktische Informatik I" (WS 2004/2005)
• Übungen zur Vorlesung "Praktische Informatik II" (SS 2004)

Forschungsschwerpunkte

• Bedienungsanleitungen (Operating Guidelines)
• Temporale Logik
• Projekt Tools4BPEL

Betreuung von Studien- und Diplomarbeiten

• Nanette Liske, Diplomarbeit "Laufzeitersetzung offener Workflownetze" (07/2008)
• Christian Gierds, Diplomarbeit "Strukturelle Reduktion von Bedienungsanleitungen" (01/2008)
• Patrick Köhnen, Diplomarbeit "Synthese offener Workflownetze aus Serviceautomaten" (01/2008)
• Jan Bretschneider, Diplomarbeit "Produktbedienungsanleitungen zur Charakterisierung austauschbarer Services" (03/2007)
• Andreas Kerlin, Diplomarbeit "Bedienbarkeit unter Kausalität" (01/2007)
• Kathrin Kaschner, Diplomarbeit "BDD-basiertes Matching von Services" (03/2006)
• Niels Lohmann, Diplomarbeit "Formale Fundierung und effizientere Algorithmen für die schrittbasierte TLDA-Interleavingsemantik" (09/2005)

• Christian Gierds, Studienarbeit "Ein schärferes Kriterium für die Wahl von Endzuständen in Bedienungsanleitungen, Liberalsten Partnern und Public Views" (10/2007)
• Alexander Schulz, Studienarbeit "Zielgerichtete Strategien" (07/2007)
• Manja Wolf, Studienarbeit "Synchrone und asynchrone Kommunikation in offenen Workflownetzen" (05/2007)
• Nanette Liske, Studienarbeit "Laufzeitersetzbarkeit von Services" (04/2007)
• Kathrin Kaschner, Studienarbeit "Repräsentation von Bedienungsanleitungen durch BDDs" (01/2006)
• Niels Lohmann, Studienarbeit "Implementierung einer schrittbasierten Interleavingsemantik für die Temporal Logic of Distributed Actions (TLDA)" (06/2005)

Publikationen von Peter Massuthe

2010

• Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal, 53(1): 90-106, 2010.

2009

• Peter Massuthe. Operating Guidelines for Services. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II; Eindhoven University of Technology, April 2009. Note: ISBN 978-90-386-1702-2.

2008

• Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, 2(5460): 172-191, March 2009.

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

• Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf. Can I find a Partner? Undecidablity of Partner Existence for Open Nets. Information Processing Letters, 108(6): 374--378, November 2008.

• Peter Massuthe and Daniela Weinberg. Fiona: A Tool to Analyze Interacting Open Nets. In 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, pages 99-104, September 2008. CEUR-WS.org.

• Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf. Can I find a Partner?. Preprint CS-01-08, Universität Rostock, Rostock, Germany, March 2008.

• Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Informatik-Berichte 222, Humboldt-Universität zu Berlin, April 2008.

2007

• Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolic Representation of Operating Guidelines for Services. Petri Net Newsletter, 72: 21-28, April 2007.

• Peter Massuthe and Karsten Wolf. An Algorithm for Matching Non-deterministic Services with Operating Guidelines. International Journal of Business Process Integration and Management (IJBPIM), 2(2): 81-90, 2007.

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

• 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, 2008. Springer-Verlag.

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

• 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, 2007. Springer-Verlag.

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

• Wil M. P. van der Aalst, Peter Massuthe, Arjan J. Mooij, Christian Stahl, and Karsten Wolf. Erratum -- Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, June 2007.

• Wil M. P. van der Aalst, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, June 2007. Note: There is an erratum.

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

2006

• Peter Massuthe and Karsten Wolf. Operating Guidelines for Services. Petri Net Newsletter, 70: 9-14, April 2006.

• Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolische Repräsentation von Bedienungsanleitungen für Services. In Daniel Moldt, editor, 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2006), Proceedings, pages 54-61, September 2006. Universität Hamburg. Note: In German.

• 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, September 2006. Springer-Verlag.

• Peter Massuthe and Karsten Wolf. An Algorithm for Matching Nondeterministic Services with Operating Guidelines. In Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 of Dagstuhl Seminar Proceedings, 2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.

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

• Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. Informatik-Berichte 210, Humboldt-Universität zu Berlin, December 2006.

• Peter Massuthe and Karsten Wolf. An Algorithm for Matching Nondeterministic Services with Operating Guidelines. Informatik-Berichte 202, Humboldt-Universität zu Berlin, 2006.

2005

• Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics, 1(3): 35-43, 2005.

• Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. In 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), Ohrid, Republic of Macedonia, 2005.

• Peter Massuthe and Karsten Schmidt. Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. In Kai-Yuan Cai, Atsushi Ohnishi, and M.F. Lau, editors, Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pages 452-457, September 2005. IEEE Computer Society.

• Peter Massuthe and Karsten Schmidt. Operating Guidelines for Services. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), Proceedings, pages 78-83, September 2005. Humboldt-Universität zu Berlin.

• Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Informatik-Berichte 191, Humboldt-Universität zu Berlin, 2005.

• Peter Massuthe and Karsten Schmidt. Matching Nondeterministic Services with Operating Guidelines. Informatik-Berichte 193, Humboldt-Universität zu Berlin, June 2005.

• Peter Massuthe and Karsten Schmidt. Operating Guidelines - an Alternative to Public View. Informatik-Berichte 189, Humboldt-Universität zu Berlin, 2005.

2004

• Peter Massuthe. Verfeinerungstechniken der Temporal Logic of Distributed Actions TLDA. Diplomarbeit, Humboldt-Universität zu Berlin, March 2004.

2003

• Peter Massuthe. Parallele Komposition in TLA. Studienarbeit, Humboldt-Universität zu Berlin, September 2003.