November / November 2008

3 Zeitschriftenartikel akzeptiert/ 3 Journal papers accepted

The Article "Comparing and evaluating Petri net semantics for BPEL" by Niels Lohmann, Eric Verbeek (TU Eindhoven), Chun Ouyang (Queensland UT), and Christian Stahl (HU Berlin) was accepted for the Int. J. Business Inegration Management. The article "Petri Net Transformations for Business Processes - A Survey" by Niels Lohmann, Eric Verbeek, and Remco Dijkman was accepted for the Journal Subseries ToPNoC (Transactions on Petri Nets and other Models of Concurrency) of Springer's "Lecture Notes in Computer Science". The article "Multiparty Contracts: Agreeing and Implementing Interorganizational Processes" by Wil van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf was accepted for The Computer Journal.

Konferenzbeitrag akzeptiert/ Conference paper accepted

The paper "Automatic Test Case Generation for Interacting Services" by K. Kaschner and N. Lohmann has been accepted for the ""4th International Workshop on Engineering Service Oriented Applications" in December 2008 in Sidney.

September / September 2008

Auszeichnung für Konferenzartikel/ Award for conference paper

The paper "Covering Places and Transitions in Open Nets" by C. Stahl (HUmboldt-Uni zu Berlin) and K. Wolf, presented at the Int. Conference on Business Process Management, was awarded with a "IBM Best Student Paper Travel Award" to its co-author C. Stahl.

Konferenzartikel akzeptiert/ Conference paper accepted

The paper "Non-desynchronizable Service Choreographies" by G. Decker (HPI Potsdam), A. Barros (SAP Research Brisbane), F.M. Kraft (SAP AG), and N. Lohmann has been accepted for the "Int. Conf. Service Oriented Computing (ICSOC)" in December 2008 in Sidney.

Workshop in Rostock/ Workshop in Rostock

The 15th German Workshop "Algorithms and Tools for Petri Nets" shall take place Sep 26-27 in Rostock. Organizers are N. Lohmann and K. Wolf.

Workshop in Mailand/ Workshop in Milan

The 5th Int. Workshop "Web Services and Formal Methods"co-located with the conference BPM, shall take place in Milan. R. Bruni (Univ. Pisa) and K. Wolf are organizers and PC chairs.

Juli / July 2008

2 Zeitschriftenartikel akzeptiert / 2 journal papers accepted

The article "Can I find a Partner? Undecidablity of Partner Existence for Open Nets" by Peter Massuthe (Humboldt-Universität zu Berlin), Alexander Serebrenik, Natalia Sidorova, (both TU Eindhoven), and Karsten Wolf was accepted for publication in "Information Processing Letters". The article "Does my service have partners?" by K. Wolf was accepted for the Special Issue on Concurrency in process-aware information systems in the journal series ToPNoC within LNCS.

2 Migliedschaften in Programmkomitess / 2 Program committee memberships

K. Wolf was selected as a member of the program committee of the "Int. Conf. Application of Concurrency to System Design" to be held in July 2009 in Augsburg as well as of the "Int. Workshop on Abstractions for Petri Nets and Other Models of Concurrency" to be held in June 2009 in Paris.

Juni / June 2008

Konferenzartikel akzeptiert/ Conference paper accepted

The paper "Why does my service have no partners?" by N. Lohmann has been accepted for the workshop "Web Services and Formal Methods" to be held in September 2008 in Milan.

Mai / May 2008

2 Konferenzartikel akzeptiert/ 2 conference papers accepted

The international conference BPM 2008 accepted the following submissions co-authored by group members: "Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance" by N. Lohmann and "Covering Places and Transitions in Open Nets" by C. Stahl (HU Berlin) and K. Wolf.

April / April 2008

3 Workshop-Beiträge akzeptiert/ 3 contributions to workshop accepted

The international workshop YR-SOC accepted 2 submissions and invited a tool Demo by members of our group: "Automatic Test Case Generation for Services" by N. Lohmann and K. Kaschner, "Fixing Deadlocking Service Choreographies Using a Simulation-based Graph Edit Distance" by N. Lohmann and the demo "Tools4BPEL4Chor " by N. Lohmann and O. Kopp (Uni Stuttgart).

Konferenz in Peking/ Conference in Beijing

The conference "WWW 2008" takes place Apr. 21-25 in Beijing. The program includes the presentation "Extending the Compatibility Notion for Abstract WS-BPEL Processes" by D. König (IBM), N. Lohmann, S. Moser (IBM), C. Stahl (HU Berlin), and K. Wolf.

Workshop in Bad Saarow/ Workshop in Bad Saarow

The workshop "Luhme XIV" takes place from Apr. 10 to Apr. 13 in Bad Saarow. Its purpose is the further cooperation with the Theory of Programming group at Humboldt-Universität zu Berlin and our joint partners at TU Eindhoven and IBM Zurich.

März / March 2008

Konferenzbeitrag ausgezeichnet/ Best Paper Award

The conference "Modellierung 2008" awarded the contribution "Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes" by N. Lohmann and J. Kleine (HU Berlin) as "Best Paper Based on a Student's Thesis".

Konferenz in Berlin/ Conference in Berlin

The conference "Modellierung 2008" takes place from March 12 to March 14 in Berlin. The program includes the contribution "Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes" by N. Lohmann and J. Kleine (HU Berlin).

Januar / January 2008

Konferenzbeitrag akzeptiert/ Conference paper accepted

The paper "Extending the Compatibility Notion for Abstract WS-BPEL Processes", authored by D. König (IBM), N. Lohmann , S. Moser (IBM), C. Stahl (HU Berlin), and K. Wolf, is accepted for the conference "WWW 2008" to take place in April in Beijing.

Konferenzbeitrag akzeptiert/ Conference paper accepted

The paper "Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes", authored by N. Lohmann and J. Kleine (HU Berlin), is accepted for the conference "Modellierung" to take place in March 2008 in Berlin.

Dezember / December 2007

DFG-Projekt bewilligt/ Funding granted by DFG

The German research funding organisation DFG (German Research Foundation) has granted funding for two years for the project Synthesis of Behavioral Adapters Between Services. The project is executed in cooperation with the Theory of Programming group at Humboldt-Universität zu Berlin.

November / November 2007

GI-Fachgruppenleitung/ Chair of GI special interest group

In the annual meeting of the board of GI special interest group Petrin Nets and Related System Models, K. Wolf was elected chair of the group for the next two years.

Oktober / October 2007

Programmkommittee-Mitgliedschaft/ Program committee membership

K. Kaschner, N. Lohmann, and K. Wolf were selected as members of the Workshop on Domain-Specific Modeling Languages to take place as a satellite event of the conference Modellierung in March 2008 in Berlin.

September / September 2007

Workshop in Rostock / Workshop in Rostock

The next issue of the workshop "Algorithms and Tools for Petri Nets", under the auspices of GI working group Petri nets and Related System Models, shall take place in fall 2008 in Rostock. Karsten Wolf is going to be the organiser. The workshop is devoted to bringing together young researchers in the field.

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member of the international workshop Concurrency Methods: Issues and Applications. The workshop is co-located with the conference Application and Theory of Petri Nets and Other Models of Concurrency and takes place in June 2008 in Xian.

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member of the international workshop Petri Net Tools and Applications. The workshop is co-located with the conference Simulation Tools and takes place in March 2008 in Marseille.

August / August 2007

Programmkommittee-Vorsitz/ Program committee chair

K. Wolf was selected as co-chair of the International Conference Application and Theory of Petri Nets to take place 2009 in Paris.

Juli / July 2007

Konferenzbeitrag akzeptiert/ Conference paper accepted

The Article "From Public Views to Private Views - Correctness-by-Design for Services" authored by W.M.P. van der Aalst , N. Lohmann , P. Massuthe , and C. Stahl , and K. Wolf , is accepted for the 4th Workshop Web Services and Formal Methods (September 2007 in Brisbane, Australia).

Sommerschule 2010 in Rostock/ Summer school 2010 in Rostock

The steering committee of the Int. Conf. Theory and Application of Petri nets and other models of concurrency decided to hold an Advanced Course on Petri Nets in fall 2010 in Rostock. K. Wolf was installed as course director and organiser of the course.

Juni / June 2007

DFG-Projekt bewilligt/ Funding granted by DFG

The German research funding organisation DFG (German Research Foundation) has granted funding for two years to the project "Automated generation of operating guidelines for services".

Konferenz in Siedlce (Polen)/ Conference in Siedlce (Poland)

The "28th Int. Conference on Application and Theory of Petri nets and other Models of Concurrency" takes place from June 25 - June 29 in Siedlce (Poland). statt. K. Wolf is member of the program committee, invited and regular speaker, and co-organiser of a satellite workshop.

Mai / May 2007

Konferenzbeitrag akzeptiert / Conference paper accepted

The Article "Behavioural constraints for services" authored by N. Lohmann , P. Massuthe , and K. Wolf , is accepted for the 5th International Conference on Business Process Management (September 2007 in Brisbane, Australia).

Zeitschriftenartikel akzeptiert / Journal paper accepted

The article "An algorithm for matching nondeterministic services with operating guidelines" authored by P. Massuthe and K. Wolf is accepted for the journal "Int. J. Business Process Integration Management (IJBPIM)".

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member for the "29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency" to take place in June 2008 in Xian, China.

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member for the "International Workshop on Coloured Petri Nets and the CPN Tools" to take place in October 2007 in Aarhus, Danmark.

April / April 2007

Tagung in Gut Gnewlikow / Workshop in Gut Gnewlikow

The workshop LUHME XIII takes place from April 12-April 15 in Gut Gnewlikow. The program includes talks by K. Wolf and K. Kaschner .

März / March 2007

Konferenzbeitrag akzeptiert / Conference paper accepted

The Article "Operating guidelines for services" authored by N. Lohmann , P. Massuthe , and K. Wolf , is accepted for the 28th International Conference on Application and Theory of Petri nets and Other Models of Concurrency (June 25-29 2007 in Siedlce, Poland).

Februar / February 2007

Dagstuhl-Seminar / Dagstuhl-Seminar

The seminar Autonomous and adaptive web services takes places from 4.-9.2. in Schloss Dagstuhl. K. Wolf is among the participants.

Dezember / December 2006

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member of the international workshop Web Services and Formal Methods. The workshop is co-located with the conference Business Process Management and takes place in September 2007 in Brisbane.

Kolloquium in Berlin / Colloquium in Berlin

The colloquium B.E.S.T. meets METRIK takes place from Dec. 18.-19. in Berlin. It joins activities in the programm B.E.S.T. with the graduation school METRIK at Humboldt-Universität zu Berlin. Among the participants: K. Wolf (as a director of B.E.S.T.) and K. Kaschner.

Oktober / October 2006

Workshop in Aarhus / Workshop in Aarhus

The workshop CPN06 (Practical Use of Coloured nets and the CPN Tools) takes place from Oct. 24 - Oct 26 in Aarhus. The program includes an invited talk given by K. Wolf: "Inside LoLA - Experiences from building a state space tool for place transition nets".

September / September 2006

Kooperation mit Berlin und Eindhoven / Cooperation with Berlin and Eindhoven

• das Tutorial über Geschätsprozesse und Web Services im Juni 2006 in Turku
• Die Ko-Organisation des Dagstuhl-Seminars "The Role of Business Processes in Service Oriented Architectures"
• Der B.E.S.T.-Workshop im August/September 2006 in Eindhoven
• Der Workshop zu Geschäftsprozessen und Services im Juni 2007 in Siedlce (Polen)

The group "Theory of Programming and Programming languages" participates in the Berlin-Eindhoven Service Technology Program (B.E.S.T.) . This Program was initiated in 2005 by Prof. Wil van der Aalst , Prof. Kees van Hee (both from TU Eindhoven), Prof. Wolfgang Reisig (from Humboldt-Universität zu Berlin), and Prof. Karsten Wolf (at that time affiliated with Humboldt-Universität zu Berlin, too). The Program aims at 1. bundeling the research activities of the involved groups in the area of Service Technologies, and 2. the creation of an international research environment for the PhD students of the participating groups. Under the roof of the program, common research topics shall be investigated, double PhD degrees are about to be issued, and a number of activities are organized. So far, these activities include

• the tutorial on Business Processes and Web Services in June 2006 in Turku
• Co-organisation of the Dagstuhl Seminar "The Role of Business Processes in Service Oriented Architectures"
• The B.E.S.T.-Workshop in August/September 2006 in Eindhoven
• The workshop on business processes and services in June 2007 in Siedlce (Poland)

Workshop in Hamburg / Workshop in Hamburg

The workshop AWPN 2006 (Algorithms and Tools for Petri nets) takes place from Sept. 25-Sept. 26 in Hamburg. The program includes a talk by K. Kaschner: "Symbolische Repräsentation von Bedienungsanleitungen für Services".

August / August 2006

Einladung zum Vortrag / Invitation as speaker

K. Wolf has been invited as speaker for the Workshop CPN 06 (Practical Use of Coloured Petri nets and the CPN Tools) to take place in Oktober 2006 in Aarhus (Danmark).

Workshopvorhaben bestätigt / Workshop proposal approved

The Steering Committee of the Petri net conference has approved the workshop "Business processes and web services" as part of the satellite program of its 2007 conference . The workshop is orgamized be Kees van Hee, Wolfgang Reisig , and Karsten Wolf.

Einladung zum Vortrag / Invitation as speaker

K. Wolf has been invited as speaker for the "28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency" in June 2007 in Siedlce, Poland.

B.E.S.T. Kolloquium in Eindhoven/ B.E.S.T. Colloquium in Eindhoven

From August 30 - September 1, a colloquium on service technology takes place in Eindhoven. The program includes the talks "Symbolic representation of operating guidelines" by K. Kaschner and "Operating guidelines for services with cycles" by K. Wolf.

Juli / July 2006

Kooperation mit Projekt Tools4BPEL implementiert / Cooperation with Project Tools4BPEL implemented

K. Wolf has been installed as an external collaborator of the project Tools4BPEL (Correctness and reliability of composed web services modeled in BPEL). The project is funded by the German Federal Ministry of Education and Research and is conducted by Humboldt-Universität zu Berlin ( Theory of Programming group ), Universität Stuttgart ( Institut für Architektur von Anwendungssystemen ) and the company Gedilan Technoligies . Our group does not receive direct funding from the project but has free access to all achievements of the project.

Dagstuhl-Seminar / Dagstuhl Seminar

The seminar "The Role of Business Processes in Service Oriented Architectures" takes place from July 16 till July 21, in Schloss Dagstuhl, Germany. The program includes the talk "Controllability: A soundness criterion for services" authored by K. Wolf .

Juni / June 2006

Konferenz in Turku / Conference in Turku

A The 27th International Conference on Application and Theory of Petri nets and Other Models of Concurrency takes place from June 28 till June 30, 2006 in Turku, Finland. The program includes the talk "On the step explosion problem" authored by S. Roch and K. Wolf . Karsten Wolf shall also contribute to an Advanced Tutorial on Petri Net Modeling of Business Processes, a sattelite event to the conference.

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member for the "28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency" to take place in June 2007 in Siedlce, Poland.

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member for the workshop open.BPM2006 to take place on October 16 in Hamburg.

April / April 2006

Mitgliedschaft in Programmkommittee / Program committee membership

K. Wolf was nominated as a program committee member for the "International Workshop on Coloured Petri Nets and the CPN Tools" to take place in October 2006 in Aarhus, Danmark.

Tagung in Flecken Zechlin / Workshop in Flecken Zechlin

The workshop LUHME XII takes place from April 20-April 23 in Flecken Zechlin. The program includes the talk "Dies und Jenes zu Bedienungsanleitungen" authored by K. Wolf and "BDD-basiertes Matching von Services" authored by K. Kaschner

Vorlesungsabsage

Zeitschriftenartikel akzeptiert / Journal paper accepted

The article "Question-guided stubborn set methods for state properties" authored by L.M. Kristensen , K. Schmidt und A. Valmari , is accepted for the journal "Formal Methods in System Design".

März / March 2006

Konferenz in Innsbruck / Conference in Innsbruck

The conference Modellierung 2006 takes place from March 22-March 24 in Innsbruck. The program includes the poster "Automatic Transformation and Enlargement of Similarity Models for Case Based Reasoning" authored by M. Minor and K. Schmidt ,

Konferenzbeitrag akzeptiert / Conference paper accepted

The Article "On the step explosion problem" authored by S. Roch and K. Schmidt , is accepted for the 27th International Conference on Application and Theory of Petri nets and Other Models of Concurrency (June 28-30 2006 in Turku, Finland).

Februar / February 2006

Zeitschriftenartikel akzeptiert / Journal paper accepted

The article "An Operating guideline approach to the SOA" authored by P. Massuthe , W. Reisig and K. Schmidt , is accepted for Annals of Mathematics, Computing, and Teleinformatics 1 (3), 2005, pp. 35-43.

Poster akzeptiert / Poster accepted

The contribution "Automatic Transformation and Enlargement of Similarity Models for Case Based Reasoning" authored by M. Minor and K. Schmidt , is accepted as poster in the conference Modellierung 2006 .

Januar / January 2006

Neuer Lehrstuhlinhaber / New Chair

On Jan 1, 2006, Prof. Karsten Schmidt started his appointment as Professor and head of the group. He came from the institute of computer science at Humboldt-Universität zu Berlin, where he had been researcher and lecturer. The position is seen as the succession of Prof. Hantzschmann . Though Prof. Hantzschmann did not retire so far, he focuses fully on his duties as Prorektor.

Liebe Studierende,

ich möchte Ihnen meine Vorhaben in Forschung und Lehre kurz vorstellen. Ich bin seit dem 1.1.2006 im Institut für Informatik der Uni Rostock als Professor tätig. Das Thema Theorie der Programmiersprachen und Programmierung ist an der Nahtstelle zwischen theoretischer und praktischer Informatik angesiedelt: Theoretisch fundierte Techniken werden eingesetzt, um praktisch relevante Probleme zu lösen.

Das älteste Gebiet, auf dem es eine durchgehende Linie zwischen Theorie und Praxis gibt (seit Ende der 1950er Jahre), ist der Compilerbau. Hier haben, zunächst bei der Verarbeitung der Syntax, inzwischen auch bei der Verarbeitung der Semantik, theoretisch fundierte Werkzeuge zu stabileren, korrekteren Compilern sowie zur weitgehenden Automatisierung ihrer Generierung geführt. Ich freue mich deshalb schon darauf, ab 2008 diese Veranstaltung von Prof. Riedewald zu übernehmen.

Ein jüngeres Gebiet, auf dem theoretisch fundierte Resultate sich ganz klar an praktischen Notwendigkeiten messen, ist die computergestützte Verifikation, mein bisheriges zentrales Forschungsthema. Und schließlich arbeite ich seit kurzem an theoretisch fundierten Lösungen für Probleme, die durch aktuelle Entwicklungen hin zum Paradigma der Services und der service-orientierten Architekturen auftreten. Den Stand der Forschungen zu diesen Themen werde ich in Lehrveranstaltungen des Hauptstudiums an Sie weitergeben.

In der Grundausbildung wird mein Schwerpunkt in den Veranstaltungen der Theoretischen Informatik liegen. Mein Forschungsgebiet wird mir dort helfen, Ihnen die praktische Relevanz der vermittelten Themen anzudeuten.

Ich lade Sie ein, sich in Form von Studien- und Diplomarbeiten an den Forschungen der von mir geleiteten Gruppe zu beteiligen. Die Arbeiten werden typischerweise eine Mischung aus theoretischen Inhalten (Entwicklung einer algorithmischen Lösung für ein offenes Problem und Begründung ihrer Korrektheit) und softwaretechnischen Aspekten (prototypische Implementierung) sein. Das Gewicht beider Komponenten ist variierbar. Zu konkreten Themen sowie weiteren Informationen über das Gebiet Theorie der Programmiersprachen und Programmierung verweise ich Sie auf die übrigen Seiten der Gruppe.

Weitere Informationen über den Lehrstuhl bieten wir Ihnen auf unseren Webseiten.

Ich freue mich auf die gemeinsame Arbeit

Karsten Schmidt

zurück zum Seitenanfang